Java中Varargs机制理解.docx

Java中Varargs机制的理解 ——动力节点java J2SE 1.5提供了“Varargs”机制。借助这一机制，可以定义能和多个实参相匹配的形参。从而，可以用一种更简单的方式，来传递个数可变的实参。本文介绍这一机制的使用方法，以及这一机制与数组、泛型、重载之间的相互作用时的若干问题。 到J2SE 1.4为止，一直无法在Java程序里定义实参个数可变的方法——因为Java要求实参（Arguments）和形参（Parameters）的数量和类 型都必须逐一匹配，而形参的数目是在定义方法时就已经固定下来了。尽管可以通过重载机制，为同一个方法提供带有不同数量的形参的版本，但是这仍然不能达到 让实参数量任意变化的目的。 然而，有些方法的语义要求它们必须能接受个数可变的实参——例如著名的main方法，就需要能接受所有的命令行参数为实参，而命令行参数的数目，事先根本无法确定下来。 对于这个问题，传统上一般是采用“利用一个数组来包裹要传递的实参”的做法来应付。 用数组包裹实参 “用数组包裹实参”的做法可以分成三步：首先，为这个方法定义一个数组型的参数；然后在调用时，生成一个包含了所有要传递的实参的数组；最后，把这个数组作为一个实参传递过去。 这种做法可以有效的达到“让方法可以接受个数可变的参数”的目的，只是调用时的形式不够简单。 J2SE 1.5中提供了Varargs机制，允许直接定义能和多个实参相匹配的形参。从而，可以用一种更简单的方式，来传递个数可变的实参。 Varargs的含义大体说来，“Varargs”是“variable number of arguments”的意思。有时候也被简单的称为“variable arguments”，不过因为这一种叫法没有说明是什么东西可变，所以意义稍微有点模糊。 定义实参个数可变的方法 只要在一个形参的“类型”与“参数名”之间加上三个连续的“.”（即“…”，英文里的句中省略号），就可以让它和不确定个实参相匹配。而一个带有这样的形参的方法，就是一个实参个数可变的方法。 清单1：一个实参个数可变的方法 private static int sumUp(int... values) { } 注意，只有最后一个形参才能被定义成“能和不确定个实参相匹配”的。因此，一个方法里只能有一个这样的形参。另外，如果这个方法还有其它的形参，要把它们放到前面的位置上。 编译器会在背地里把这最后一个形参转化为一个数组形参，并在编译出的class文件里作上一个记号，表明这是个实参个数可变的方法。 清单2：实参个数可变的方法的秘密形态 private static int sumUp(int[] values) { } 由于存在着这样的转化，所以不能再为这个类定义一个和转化后的方法签名一致的方法。 清单3：会导致编译错误的组合 private static int sumUp(int... values) { } private static int sumUp(int[] values) { } 空白的存亡问题 根据J2SE 1.5的语法，在“…”前面的空白字符是可有可无的。这样就有在“…”前面添加空白字符（形如“Object … args”）和在“…”前面不加空白字符（形如“Object… args”）的两种写法。因为目前和J2SE 1.5相配合的Java Code Conventions还没有正式发布，所以无法知道究竟哪一种写法比较正统。不过，考虑到数组参数也有“Object [] args”和“Object[] args”两种书写方式，而正统的写法是不在“[]”前添加空白字符，似乎采取不加空白的“Object… args”的写法在整体上更协调一些。 调用实参个数可变的方法 只要把要传递的实参逐一写到相应的位置上，就可以调用一个实参个数可变的方法。不需要其它的步骤。 清单4：可以传递若干个实参 sumUp(1, 3, 5, 7); 在背地里，编译器会把这种调用过程转化为用“数组包裹实参”的形式： 清单5：偷偷出现的数组创建 sumUp(new int[]{1, 2, 3, 4}); 另外，这里说的“不确定个”也包括零个，所以这样的调用也是合乎情理的： 清单6：也可以传递零个实参 sumUp(); 这种调用方法被编译器秘密转化之后的效果，则等同于这样： 清单7：零实参对应空数组 sumUp(new int[]{}); 注意这时传递过去的是一个空数组，而不是null。这样就可以采取统一的形式来处理，而不必检测到底属于哪种情况。 4. 处理个数可变的实参 处理个数可变的实参的办法，和处理数组实参的办法基本相同。所有的实参，都被保存到一个和形参同名的数组里。根据实际的需要，把这个数