Unmi 学习 Groovy 之命名参数

Groovy 中提供了一个减少输入的特性叫做命名参数(Named Parameter)。GroovyBean 可以通过在构造器调用中传递冒号隔开的属性名称和值进行构建。如:

1car = new Car(model : "BMW", color : "black");

其实类似的用法早已有之,这有如 C++ 中的初始化成员列表,VB、Python、Transact-SQL 中的命名参数,JavaScript 中的 JSON  写法,Ruby 中提供的 syntax sugar用 hash 模拟所谓的 keyword argument。

我们先详细介绍 Groovy 的命名参数的用法与本质,然而再附上其他一些语言类似用法的实例,纵向贯通以加深印象。

要说从外部表现上好像是先调用了空构造方法,然后是相应的 setter 方法进行设值。因此,我们所直接想像的应该相当于下列 Java 代码
1Car car = new Car();
2car.setModel("BMW");
3car.setColor("black");

不过,假如你把 Groovy  生成的 class 文件反编译一下就会发现 Groovy 为上面那行生成了如下代码:
1Class class1 = Car.class;
2Class class2 = groovy.lang.MetaClass.class;
3Car car = ((Car) (ScriptBytecodeAdapter.invokeNewN(class1, class1, ((Object) (new Object[] {
4    ScriptBytecodeAdapter.createMap(new Object[] {//Groovy 把命名参数转换成一个对象数组
5        "model", "BMW", "color", "black"     //然后放到 Map 中,通过相应的 setter 方法或属性名反射赋值
6    })
7})))));

所以若再加以试验,就会知道那个 Car 必须要有一个空的构造方法,这是必要条件。但它们的属性值如果有相应的 setter 方法就用 setter 方法赋值,如果没有就直接通过反射进行设值。所以并不要求属性有相应的 setter 方法,甚至是私有属性而无相应的 setter 方法也不打紧。即使只有一个光头的 setter 方法,无对应属性也是可以的。--有点啰嗦,觉得有用的话,可尽力去理解。

Groovy 是通过 org.codehaus.groovy.runtime.ScriptBytecodeAdapter 来完成这一过程的,看到 Bytecode 就知道它大概做了一些不光明的事情。

前面看到了,一行代码可以完成多行代码的功能。迫不急切地,我们还是来点有实效性的东西,例如构造一个 JFrame 窗口:
1JFrame frame = new JFrame(
2    title:"Named Parameter",
3    size:[400,300],
4    location:new Point(300,200),
5    defaultCloseOperation:JFrame.EXIT_ON_CLOSE,
6    visible:true);

对上面那样一个过程,我们可以一句话说完,简洁易懂。要领就在于你只要发现可用的属性(不管是私有的还是别的),或是 setXxx() 方法的那个 xxx (符合 JavaBean 规范即可) 就可以拿来作为命名参数的名字。

还应注意的是:在给 size 赋值时 size:[400,300] 使用到了隐式构造(Implicit constructors),size 原本接收的是一个 Dimension,而实质 [400,300] 就是隐式的调用了 new Dimension(400,300)。所以 location 属性也可以写成 [300,200]。隐式构造还常用于 Builder 中,如  SwingBuilder。

命名参数不仅可以应用于构造实例时,还能运用于普通方法调用上,而且这种机制了可以接受 Map 对象作为参数的方法:

例如,前面的那么代码可以写成:
1car = new Car(["model":"BMW","color":"black"])          //小注:在 GroovyEclipse 中最后那个中括号 "]" 的输入有点难度

并且生成的字节码与原来完全一样,总之都是转换成对象数组,然后反射赋值。

再说一个接受 Map 参数的方法,以命名参数形式来调用的例子:
1def desc(dog){
2    println dog.name;
3    println dog.breed;
4}

调用时可用以下两种形式,效果是完全一样的:
1desc(name : "Lina", breed : "Labrador");
2desc(["name" : "Lina", "breed" : "Labrador"]);

为有助于理解,还是反编译出以上两行生成的 Java 代码(都是一样的):
1Class class1 = Car.class;
2Class class2 = groovy.lang.MetaClass.class;
3ScriptBytecodeAdapter.invokeStaticMethodN(class1, class1, "desc", new Object[] {
4    ScriptBytecodeAdapter.createMap(new Object[] {
5        "name", "Lina", "breed", "Labrador"  //不管怎么样,仍然是转换成对象数组,放到 Map 中,再逐个处理
6    })
7});

用 Map 的形式只适用于键是字符串的情况。

前面例子中的属性值都是字符串,其实是可以接受任何的属性类型,例如:
1car = new Car(manufactureDate: new Date(), height: 2);  //假定 Car 有这两个属性

注意:前面的代码以都是在 Groovy 1.5.6 版本中测验过,以及这一版本生成的字节码;可能其他版本生成的字节码略有不同,但执行结果应不会有差异。

附录:(对比其他几个语言的命名参数用法)
这里只是说类似,但是千万要注意 Groovy  的命名参数不能像 VB/Python/Transact-SQL 那样,调用方法时指示哪个参数是什么。Groovy 的命名参数是针对于类的属性(或者是 setter 方法)或 Map 的 Key。

1) C++ 的初始化成员列表:
1Child::Child(char* surname):Parent(surname),name(10),height(20)
2{   //surname 同时传递给父构造方法,并初始化成员变量 name 和 height
3};  //似乎 C++ 的东西总是那么深不可测,这里只见识一下它的这一特性即可

2) VB 的命名参数:
1Sub say(Optional code As String, Optional name As String)
2   MsgBox "Hello " & code
3End Sub
4
5Private Sub Command1_Click()
6  say code:="Unmi"
7End Sub

3) Ruby 的做法:ruby 其实没有所谓的 keyword argument,而是提供一个syntax sugar用 hash 模拟。
1def image(opt={})
2    default_opt = {:height => 25, :width => 10}
3    default_opt.merge! opt
4    #opt中同样key的內容会覆盖default_opt中key的value
5end

4) Transact-SQL 中的命名参数:
1my_proc @second = 2, @first = 1, @third = 3

其他像 Python、JavaScript 等各种语言的命名参数的用法就没必要继续列了。但据此我们能体验到这一特性确有其方便可取之处。

参考:1. 《Java 脚本编程,语言、框架与模式》第 4 章
2. 《Groovy in Action》第 7 章 Dynamic object orientation, Groovy style
3. C++初始化成员列表(member initialization list)
4. Ruby慣寫法
5. Python 使用可选参数和命名参数 永久链接 https://yanbin.blog/unmi-study-groovy-named-paramter/, 来自 隔叶黄莺 Yanbin's Blog
[版权声明] 本文采用 署名-非商业性使用-相同方式共享 4.0 国际 (CC BY-NC-SA 4.0) 进行许可。