在我的代码中,当类型是数组时,在实现泛型方法时使用varargs似乎很方便:
public interface Codec<D,E> {
E encode(D decoded);
D decode(E encoded);
}
public class MyCodec implements Codec<byte[], char[]> {
@Override char[] encode(byte... decoded) {...}
@Override byte[] decode(char... encoded) {...}
}
当我写这篇文章时,Eclipse会显示一条警告:
Varargs方法只应覆盖或被其他变量覆盖
方法不同于MyCodec.encode(byte ...)和
Codec.encode(字节[])
我应该忽略这个警告,还是会导致一些无法预料的问题?
这是特定于Eclipse的警告。它与泛型无关,可以使用此示例进行复制:
class A {
m(int[] ints) { }
}
class B extends A {
@Override
m(int... ints) { }
}
正如其他答案所指出的那样,varargs纯粹是一个编译时功能,在运行时没有区别。我试图寻找警告背后的具体原因,但无法改变任何事情。可能在varargs和非varargs之间替换方法覆盖被认为是不好的做法,因为它令人困惑和随意。但这是 一般来说 - 只要呼叫者总是使用静态类型,您的用例似乎更合理 MyCodec
而不是编码与a接口 Codec<byte[], char[]>
。
不幸的是,没有办法压制这个警告 - 甚至 @SuppressWarnings("all")
不会让它屈服。考虑到警告是多么模糊,这是不幸的。这是关于同一问题的古老对话: http://echelog.com/logs/browse/eclipse/1196982000 (滚动到20:45:02) - 在你之前证明它有点人。看起来像是一个无法抑制的Eclipse bug。
我写了两个测试文件。这是第一个:
public class Test {
public static void main(String... args) {
System.out.println(java.util.Arrays.toString(args));
}
}
这是第二个:
public class Test {
public static void main(String[] args) {
System.out.println(java.util.Arrays.toString(args));
}
}
(这两个文件之间的唯一区别是 String[] args
VS String... args
。)
然后,我跑了 javap -c
在每个文件上查看反汇编。的内容 main
方法是相同的:
Code:
0: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream;
3: aload_0
4: invokestatic #3 // Method java/util/Arrays.toString:([Ljava/lang/Object;)Ljava/lang/String;
7: invokevirtual #4 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
10: return
唯一的区别是方法头,它只是每个方法的方法签名:
public static void main(java.lang.String[]);
public static void main(java.lang.String...);
考虑到这一点,我会说这是一个安全的假设,没有什么不好的事情会发生。
根据 字节码, 没问题。
public byte[] encode(char...);
flags: ACC_PUBLIC, ACC_VARARGS
LineNumberTable:
line 4: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this LMyEncoder;
0 2 1 args [C // char[]
Code:
stack=1, locals=2, args_size=2
0: aconst_null
1: areturn // return null;
LineNumberTable:
line 4: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this LMyEncoder;
0 2 1 args [C
public java.lang.Object encode(java.lang.Object);
flags: ACC_PUBLIC, ACC_BRIDGE, ACC_VARARGS, ACC_SYNTHETIC
LineNumberTable:
line 1: 0
LocalVariableTable:
Start Length Slot Name Signature
Code:
stack=2, locals=2, args_size=2
0: aload_0
1: aload_1
2: checkcast #27 // class "[C" -> char[]
5: invokevirtual #28 // Method encode:([C)[B -> return byte[]
8: areturn
LineNumberTable:
line 1: 0
LocalVariableTable:
Start Length Slot Name Signature
如果使用接口的一个引用进行调用,则使用带有标志的方法 ACC_BRIDGE
检查(checkcast
)如果参数的类型与type参数中定义的相同(java.lang.ClassCastException
否则,但如果你总是提供,那将永远不会发生 类型参数),然后运行方法实现。
另一方面,如果使用javac编译它,则不会显示任何警告。