天天看点

运行时和编译时元编程—运行时元编程(二)

groovy有一个特殊的metaclass类叫做expandometaclass。它的特别之处在于支持动态添加或修改方法,构造函数,属性,甚至通过使用一个闭包语法来添加或修改静态方法。

在groovy里,每一个java.lang.class类都有一个特殊的metaclass属性,可以通过它拿到一个expandometacalss实例。这个实例可以被用于添加方法或修改一个已经存在的方法的行为。

默认expandometacalss是不能被继承的,如果你需要这样做必须在你的应用启动前或servlet启动类前调用expandometaclass#enableglobally()

下面的小节将详细说明如何在各种场景使用expandometacalss。

methods

一旦expandometaclass通过metaclass属性被调用,就可以使用<<或 = 操作符来添加方法。

注意 << 是用来添加新方法,如果一个方法已经存在使用它会抛出异常。如果你想替换一个方法可以使用 = 操作符。

对于一个不存在的metaclass属性通过传入一个闭包代码块实例来实现

<code>1</code>

<code>class book {</code>

<code>2</code>

<code>   </code><code>string title</code>

<code>3</code>

<code>}</code>

<code>4</code>

<code>5</code>

<code>book.metaclass.titleinuppercase &amp;amp;amp;amp;amp;lt;&amp;amp;amp;amp;amp;lt; {-&amp;amp;amp;amp;amp;gt; title.touppercase() }</code>

<code>6</code>

<code>7</code>

<code>def b = new book(title:"the stand")</code>

<code>8</code>

<code>9</code>

<code>assert "the stand" == b.titleinuppercase()</code>

上面的示例演示了如何通过metaclass属性使用 &lt;&lt; 或 = 操作符赋值到一个闭包代码块将一个新方法添加到一个类。闭包参数将作为方法参数被拦截。不确定的方法参数可以使用{→ …} 语法。

properties

expandometaclass支持两种添加或重载属性的机制。

第一种,支持通过赋值到一个metacalss属性来声明一个可变属性。

<code>book.metaclass.author = "stephen king"</code>

<code>def b = new book()</code>

<code>assert "stephen king" == b.author</code>

第二种使用标准机制来添加getter或 setter方法:

<code>  </code><code>string title</code>

<code>book.metaclass.getauthor &amp;amp;amp;amp;amp;lt;&amp;amp;amp;amp;amp;lt; {-&amp;amp;amp;amp;amp;gt; "stephen king" }</code>

上面的示例代码中,闭包里的属性是一个制度属性。当然添加一个类似的setter方法也是可行的,但是属性值需要被存储起来。具体可以看下面的示例:

<code>01</code>

<code>02</code>

<code>03</code>

<code>04</code>

<code>05</code>

<code>def properties = collections.synchronizedmap([:])</code>

<code>06</code>

<code>07</code>

<code>book.metaclass.setauthor = { string value -&amp;amp;amp;amp;amp;gt;</code>

<code>08</code>

<code>   </code><code>properties[system.identityhashcode(delegate) + "author"] = value</code>

<code>09</code>

<code>10</code>

<code>book.metaclass.getauthor = {-&amp;amp;amp;amp;amp;gt;</code>

<code>11</code>

<code>   </code><code>properties[system.identityhashcode(delegate) + "author"]</code>

<code>12</code>

当然,这不仅仅是一个技术问题。比如在一个servlet容器里一种存储值得方法是放到当前request中作为request的属性。(grails也是这样做的)

constructors

构造函数可以通过constructor属性来添加,也可以通过闭包代码块使用 &lt;&lt; 或 = 来添加。在运行时闭包参数将变成构造函数参数。

<code>    </code><code>string title</code>

<code>book.metaclass.constructor &amp;amp;amp;amp;amp;lt;&amp;amp;amp;amp;amp;lt; { string title -&amp;amp;amp;amp;amp;gt; new book(title:title) }</code>

<code>def book = new book('groovy in action - 2nd edition')</code>

<code>assert book.title == 'groovy in action - 2nd edition'</code>

添加构造函数的时候需要注意,很容易导致栈溢出问题。

static methods

静态方法可以通过同样的技术来实现,仅仅是比实例方法的方法名字前多一个static修饰符。

<code>book.metaclass.static.create &amp;amp;amp;amp;amp;lt;&amp;amp;amp;amp;amp;lt; { string title -&amp;amp;amp;amp;amp;gt; new book(title:title) }</code>

<code>def b = book.create("the stand")</code>

borrowing methods

使用expandometaclass,可以实现使用groovy方法指针从其他类中借用方法。

<code>class person {</code>

<code>    </code><code>string name</code>

<code>class mortgagelender {</code>

<code>   </code><code>def borrowmoney() {</code>

<code>      </code><code>"buy house"</code>

<code>   </code><code>}</code>

<code>def lender = new mortgagelender()</code>

<code>person.metaclass.buyhouse = lender.&amp;amp;amp;amp;amp;amp;borrowmoney</code>

<code>13</code>

<code>14</code>

<code>def p = new person()</code>

<code>15</code>

<code>16</code>

<code>assert "buy house" == p.buyhouse()</code>

动态方法名(dynamic method names)

因为groovy支持你使用字符串作为属性名同样也支持在运行时动态创建方法和属性。要创建一个动态名字的方法仅仅使用引用属性名作为字符串这一特性即可。

<code>   </code><code>string name = "fred"</code>

<code>def methodname = "bob"</code>

<code>person.metaclass."changenameto${methodname}" = {-&amp;amp;amp;amp;amp;gt; delegate.name = "bob" }</code>

<code>assert "fred" == p.name</code>

<code>p.changenametobob()</code>

<code>assert "bob" == p.name</code>

同样的概念可以用于静态方法和属性。

在grails网络应用程序框架里我们可以找到动态方法名字的实例。“动态编码”这个概念就是动态方法名字的具体实现。

htmlcodec类

<code>class htmlcodec {</code>

<code>    </code><code>static encode = { thetarget -&amp;amp;amp;amp;amp;gt;</code>

<code>        </code><code>htmlutils.htmlescape(thetarget.tostring())</code>

<code>    </code><code>}</code>

<code>    </code><code>static decode = { thetarget -&amp;amp;amp;amp;amp;gt;</code>

<code>        </code><code>htmlutils.htmlunescape(thetarget.tostring())</code>

上面的代码演示了一种编码的实现。grails对于每个类都有很多编码实现可用。在运行时可以配置多个编码类在应用程序classpath里。在应用程序启动框架里添加一个encodexxx和一个decodexxx方法到特定的meta-classes类。xxx是编码类的第一部分(比如encodehtml)。这种机制在groovy预处理代码中如下:

<code>def codecs = classes.findall { it.name.endswith('codec') }</code>

<code>codecs.each { codec -&amp;amp;amp;amp;amp;gt;</code>

<code>    </code><code>object.metaclass."encodeas${codec.name-'codec'}" = { codec.newinstance().encode(delegate) }</code>

<code>    </code><code>object.metaclass."decodefrom${codec.name-'codec'}" = { codec.newinstance().decode(delegate) }</code>

<code>def html = '&amp;amp;amp;amp;amp;lt;html&amp;amp;amp;amp;amp;gt;&amp;amp;amp;amp;amp;lt;body&amp;amp;amp;amp;amp;gt;hello&amp;amp;amp;amp;amp;lt;/body&amp;amp;amp;amp;amp;gt;&amp;amp;amp;amp;amp;lt;/html&amp;amp;amp;amp;amp;gt;'</code>

<code>assert '&amp;amp;amp;amp;amp;lt;html&amp;amp;amp;amp;amp;gt;&amp;amp;amp;amp;amp;lt;body&amp;amp;amp;amp;amp;gt;hello&amp;amp;amp;amp;amp;lt;/body&amp;amp;amp;amp;amp;gt;&amp;amp;amp;amp;amp;lt;/html&amp;amp;amp;amp;amp;gt;' == html.encodeashtml()</code>

runtime discovery

在运行时,当方法被执行的时候如果知道其他方法或属性的存在性是非常有用的。expandometaclass提供了下面的方法来获取:

getmetamethod

hasmetamethod

getmetaproperty

hasmetaproperty

为何不直接使用反射?因为groovy不同于java,java的方法是真正的方法并且只能在运行时存在。groovy是(并不总是)通过metamethods来呈现。metamethods告诉你在运行时哪些方法可用,因此你的代码可以适配。

重载invokemethod,getproperty和setproperty是一种特别的用法。

groovyobject methods

expandometaclass的另外一个特点是支持重载invokemethod,getproperty和setproperty。这些方法可以在groovy.lang.groovyobject类里找到。

下面的代码演示了如何重载invokemethod方法:

<code>class stuff {</code>

<code>   </code><code>def invokeme() { "foo" }</code>

<code>stuff.metaclass.invokemethod = { string name, args -&amp;amp;amp;amp;gt;</code>

<code>   </code><code>def metamethod = stuff.metaclass.getmetamethod(name, args)</code>

<code>   </code><code>def result</code>

<code>   </code><code>if(metamethod) result = metamethod.invoke(delegate,args)</code>

<code>   </code><code>else {</code>

<code>      </code><code>result = "bar"</code>

<code>   </code><code>result</code>

<code>def stf = new stuff()</code>

<code>17</code>

<code>assert "foo" == stf.invokeme()</code>

<code>18</code>

<code>assert "bar" == stf.dostuff()</code>

在闭包代码里,第一步是通过给定的名字和参数查找metamethod。如果一个方法准备就绪就委托执行,否则将返回一个默认值。

metamethod是一个存在于metaclass上的方法,可以在运行时和编译时被添加进来。

同样的逻辑可以用来重载setproperty和getproperty

<code>person.metaclass.getproperty = { string name -&amp;amp;amp;amp;gt;</code>

<code>   </code><code>def metaproperty = person.metaclass.getmetaproperty(name)</code>

<code>   </code><code>if(metaproperty) result = metaproperty.getproperty(delegate)</code>

<code>      </code><code>result = "flintstone"</code>

<code>assert "flintstone" == p.other</code>

这里值得注意的一个重要问题是不是metamethod而是metaproperty实例将会查找。如果一个metaproperty的getproperty方法已经存在,将会直接调用。

重载static invokemethod

expandometaclass甚至允许重载静态方法,通过一个特殊的invokemethod语法

<code>   </code><code>static invokeme() { "foo" }</code>

<code>stuff.metaclass.'static'.invokemethod = { string name, args -&amp;amp;amp;amp;gt;</code>

<code>   </code><code>def metamethod = stuff.metaclass.getstaticmetamethod(name, args)</code>

<code>assert "foo" == stuff.invokeme()</code>

<code>assert "bar" == stuff.dostuff()</code>

重载静态方法的逻辑和前面我们见到的从在实例方法的逻辑一样。唯一的区别在于方位metaclass.static属性需要调用getstaticmethodname作为静态metamehod实例的返回值。

extending interfaces

有时候我们需要在expandometaclass接口里添加方法,为实现这个,必须支持在应用启动前全局支持expandometaclass.enableglobally()方法。

<code>list.metaclass.sizedoubled = {-&amp;amp;amp;amp;gt; delegate.size() * 2 }</code>

<code>def list = []</code>

<code>list &amp;amp;amp;amp;lt;&amp;amp;amp;amp;lt; 1</code>

<code>list &amp;amp;amp;amp;lt;&amp;amp;amp;amp;lt; 2</code>

<code>assert 4 == list.sizedoubled()</code>

拓展模型允许你添加新方法到已经存在的类中。这些类包括预编译类,比如jdk中的类。这些新方法不同于使用metaclass或category,可以全局使用。比如,

标准拓展方法:

<code>def file = new file(...)</code>

<code>def contents = file.gettext('utf-8')</code>

gettext方法不存在于file类里,当然,groovy知道它定义在一个特殊的类里,resourcegroovymethods:

resourcegroovymethods.java

<code>public static string gettext(file file, string charset) throws ioexception {</code>

<code> </code><code>return iogroovymethods.gettext(newreader(file, charset));</code>

你可能已经注意到,这个拓展方法在一个帮助类(定义了各种各样的拓展方法)中使用了static方法来定义。gettext方法的第一个参数和传入值应该一直,额外的参数和拓展方法的参数一致。这里我们就定义了file类的gettext方法。这个方法进接受一个参数(string类型)。

创建一个拓展模型非常简单

写一个像上面类似的拓展类

写一个模块描述文件

下一步你需要使拓展模型对groovy可见,需要将拓展模型类和可用的描述类添加到类路径。这意味着你有以下选择:

要么直接在类路径下提供类文件和模块描述文件

或者将拓展模块打包成jar包以便重用

拓展模块有两种方法添加到一个类中

实例方法(也叫作一个类的实例)

静态方法(也叫作类方法)

要添加一个实例方法到一个已经存在的类,你需要创建一个拓展类。举个例子,你想添加一个maxretries放到到integer类里,它接收一个闭包只要不抛出异常最多执行n次。你需要写下面的代码:

<code>class maxretriesextension {                                     //(1)</code>

<code>    </code><code>static void maxretries(integer self, closure code) {        //(2)</code>

<code>        </code><code>int retries = 0</code>

<code>        </code><code>throwable e</code>

<code>        </code><code>while (retries&amp;amp;amp;lt;self) {</code>

<code>            </code><code>try {</code>

<code>                </code><code>code.call()</code>

<code>                </code><code>break</code>

<code>            </code><code>} catch (throwable err) {</code>

<code>                </code><code>e = err</code>

<code>                </code><code>retries++</code>

<code>            </code><code>}</code>

<code>        </code><code>}</code>

<code>        </code><code>if (retries==0 &amp;amp;amp;amp;&amp;amp;amp;amp; e) {</code>

<code>            </code><code>throw e</code>

(1)拓展类

(2)静态方法的第一个参数和接收的信息一致,也就是拓展实例

<code>int i=0</code>

<code>5.maxretries {</code>

<code>    </code><code>i++</code>

<code>assert i == 1</code>

<code>i=0</code>

<code>try {</code>

<code>    </code><code>5.maxretries {</code>

<code>        </code><code>throw new runtimeexception("oops")</code>

<code>} catch (runtimeexception e) {</code>

<code>    </code><code>assert i == 5</code>

groovy支持添加一个静态方法到一个类里,这种情况静态方法必须定义在自己的文件里。静态和实例拓展方法不能再同一个类里。

<code>class staticstringextension {              //(1)</code>

<code>    </code><code>static string greeting(string self) {  //(2)</code>

<code>        </code><code>'hello, world!'</code>

(1)静态拓展类

(2)静态方法的第一个从那时候和被拓展的保持一致

这个例子,可以直接从string类里调用

<code>assert string.greeting() == 'hello, world!'</code>

groovy允许你加载自己的拓展类,你必须声明你的拓展帮助类。你必须创建一个名为org.codehaus.groovy.runtime.extensionmodule 到meta-inf/services 目录里:

org.codehaus.groovy.runtime.extensionmodule

<code>modulename=test module for specifications</code>

<code>moduleversion=1.0-test</code>

<code>extensionclasses=support.maxretriesextension</code>

<code>staticextensionclasses=support.staticstringextension</code>

模块描述需要4个主键

modulename:你的模块名字

moduleversion:你的模块版本号。注意版本号仅仅用于检验你是否有将两个不同的版本导入同一个模块

extensionclasses:拓展帮助类中实例方法列表,你可以提供好几个类,使用逗号分隔

staticextensionclasses:拓展帮助类中静态方法裂列表,你可以提供好几个类,使用逗号分隔

注意并不要求一个模块既定义静态帮助类又定义实例帮助类,你可以添加好几个类到单个模块,也可以拓展不同类到单个模块。还可以使用不同的类到单个拓展类,但是建议根据特性分组拓展方法。

你不能将一个编译好了的拓展类当成源码一样使用。也就是说使用一个拓展必须在类路径下,而且是一个已经编译好了的类。同城,你不能太拓展类里添加测试类。因为测试类通常和正式源码会分开。

不像categories,拓展模块是编译后的类型检查。如果不能在类路径下找到,当你调用拓展方法时类型检查将会识别出来。对于静态编译也一样。