java - Java中方法重载中的可变参数

Question

以下代码无法编译。

package varargspkg;

public class Main {

    public static void test(int... i) {
        for (int t = 0; t < i.length; t++) {
            System.out.println(i[t]);
        }

        System.out.println("int");
    }

    public static void test(float... f) {
        for (int t = 0; t < f.length; t++) {
            System.out.println(f[t]);
        }

        System.out.println("float");
    }

    public static void main(String[] args) {
        test(1, 2);  //Compilation error here quoted as follows.
    }
}

发出编译时错误。

reference to test is ambiguous, both method test(int...) in varargspkg.Main and method test(float...) in varargspkg.Main match

似乎很明显，因为方法调用中的参数值 test(1, 2); 可以提升为 int 以及 float

如果任何一个或两个参数都以 F 或 f 为后缀，则编译。

---

但是，如果我们在方法签名中使用相应的包装器类型表示接收参数，如下所示

public static void test(Integer... i) {
    System.out.println("Integer" + Arrays.asList(i));
}

public static void test(Float... f) {
    System.out.println("Float" + Arrays.asList(f));
}

然后对方法 test(1, 2); 的调用不会发出任何编译错误。在这种情况下要调用的方法是接受一个 Integer 可变参数参数(前面代码段中的第一个)的方法。

为什么在这种情况下没有报告第一种情况的错误？似乎自动装箱和自动类型提升都在这里应用。是否先应用自动装箱以便解决错误？

Oracle 文档说，

Generally speaking, you should not overload a varargs method, or it will be difficult for programmers to figure out which overloading gets called.

本 link 中的最后一句话.然而，这是为了更好地理解可变参数。

另外添加下面的代码编译就好了。

public class OverLoading {

    public static void main(String[] args) {
        load(1);
    }

    public static void load(int i) {
        System.out.println("int");
    }

    public static void load(float i) {
        System.out.println("float");
    }
}

---

编辑:

以下是snap shot表示编译错误。我创建了一个新应用程序，因此包名称不同。

我正在使用 JDK 6。

Answer 1

你可以 加宽 或 Box 但你不能同时做这两个，除非你是 boxing 和加宽 到 Object (Int to Integer(Boxing) 然后 Integer to Object(Widening) 是合法的，因为每个类都是 Object 的子类，所以 Integer 可以被传递给Object参数)

int 到 Number 也是合法的(int -> Integer -> Number)由于 Number 是 Integer 的父类(super class)，所以它是可能的。

让我们看看你的例子:

public static void test(Integer...i)

public static void test(Float...f)

在选择要选择哪个重载方法时，在组合 Boxing、Widening 和 Var-args 时，需要遵循一些规则:

1. 原始扩展使用可能的 smallest 方法参数
2. 包装器类型不能扩展到另一个包装器类型
3. 你可以从 int 到 Integer 和加宽到 Object 但不能到 Long
4. 加宽胜过拳击，拳击胜过 Var-args。
5. 你可以Box然后加宽(一个int可以通过Integer变成Object)
6. 你不能先加宽再开箱(int 不能变成 Long)
7. 您不能将 var-args 与加宽或装箱结合使用

所以，根据上面给出的规则:

当您将两个整数传递给上述函数时，

• 根据规则 3，它必须首先是 加宽 然后Boxed 以适应 Long，根据规则 5，这是非法的(不能先加宽然后装箱)。
• 所以，将其装箱存储在 Integer var-args 中。

但在第一种情况下，您有原始类型的 var-args 方法:

public static void test(int...i)
public static void test(float...f)

那么test(1, 2) 可以调用这两个方法(因为它们都不适合rule 1 应用):

• 在第一种情况下，它将是 var-args
• 在第二种情况下，它将是 Widening，然后是 Var-args(这是允许的)

现在，当您的方法只有一个 int 和一个 float 时:

public static void test(int i)
public static void test(float f)

然后在使用 test(1) 调用时，遵循规则 1，并选择尽可能小的扩展(即完全不需要扩展的 int)。所以第一个方法将被调用。

更多信息可以引用JLS - Method Invocation Conversion