问题 用varargs实现泛型方法


在我的代码中,当类型是数组时,在实现泛型方法时使用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(字节[])

我应该忽略这个警告,还是会导致一些无法预料的问题?


7934
2018-06-06 23:19


起源

什么是Eclipse的快速修复?有没有 SuppressWarnings("varargs") 或者类似的? (只是好奇) - wchargin
可能是警告是在某些情况下,方法签名被认为不等同?奇... - Tim Bender


答案:


这是特定于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。


5
2018-06-07 04:20





我写了两个测试文件。这是第一个:

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...);

考虑到这一点,我会说这是一个安全的假设,没有什么不好的事情会发生。


4
2018-06-07 00:55



Downvoter,请解释一下? - wchargin
我不是downvoter,只是因为两个例子编译成相同的字节码并不意味着警告毫无意义。例如,通用和非通用代码编译成相同的字节代码。 - Paul Bellora


根据 字节码, 没问题。

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编译它,则不会显示任何警告。


1
2018-06-07 01:00