java - 类型与类型变量不兼容

Question

谁能告诉我为什么下面的代码无法编译？

class A<K> {

    public <K> A() {
    }

    public static <K> A<K> create(Class<K> k) {
        return new A<K>();
    }
}


public class B<K, V> {

    A<K> ak;

    public <K, V> B(Class<K> klass, V v) {
         ak = A.create(klass);
    }
}

它失败了:

[javac] /home/.../src/B.java:17: error: incompatible types
[javac]         ak = A.create(klass);
[javac]                      ^
[javac]   required: A<K#2>
[javac]   found:    A<K#1>
[javac]   where K#1,V,K#2 are type-variables:
[javac]     K#1 extends Object declared in constructor <K#1,V>B(Class<K#1>,V)
[javac]     V extends Object declared in constructor <K#1,V>B(Class<K#1>,V)
[javac]     K#2 extends Object declared in class B
[javac] 1 error

这是一个 SSCCE，所以请不要问我想要完成什么。

Answer 1

• 摆脱<K>在 A 的构造函数中
• 摆脱<K, V>在 B 的构造函数中

构造函数不需要重新定义类的类型参数。如果您这样做，它们将被定义为新类型参数，从而隐藏类中的参数(Eclipse 会对此发出警告)。