Question

此程序未编译 :

public class xx {
    static class Class1<C> {
        void method1(C p) {
        }
    }
    static class Class2<T> extends Class1<Class<? extends T>> {
        T object;
        void method2() {
            this.method1(this.object.getClass());
        }
    }
}

错误是 :

xx.java:10: method1(java.lang.Class<? extends T>) in xx.Class1<java.lang.Class<? extends T>>
cannot be applied to (java.lang.Class<capture#215 of ? extends java.lang.Object>)
        this.method1(this.object.getClass());

为什么发生这种情况?为什么编译者似乎相信 object. getClass () returns Class<? >/code > 延伸对象> 而不是 Class<? 扩展T> ?

Answer 1

Object.getClass () 定义为返回 Class< >? 延伸 >, 其中 T 是静态已知的接收器类型( 对象 getClass () () 调用)。特别注意垂直条, < a href=" http://docs. oracle. com/javase/ specs/ jls/se7/ html/jls-4. html#jls-4.6" rel=“ nofol=Class < > a/ a > 。类型变量的缩略度是其最左边的缩略范围。在您的情况下, 隐含绑定的 Object 。所以您要返回一个 Class<??

为什么?

想象 T = List< Integer> , 您可以不经无节制警告 , 突然执行以下 < strong> :

List<String> myStrings = new ArrayList<>();
List<Integer> myInts = new ArrayList<>();
List<Integer> myIntyStrings = myInts.getClass().cast(myStrings);
myIntyStrings.add(-1);
String myString = myStrings.get(0); // BANG!

但幸好我们确实得到了警告。 ))

Answer 2

您的代码中没有设定 T 的上限, 所以 < code>? 延伸 T 确实等于 < code >? 延伸对象。就在昨天, 我玩了一个类似的例子, 撞上了这个屏障。

static <T> T newInstance(T o) throws Exception {
  final Class<? extends T> c = o.getClass();
  return c.newInstance();
}

并用相同错误进行投诉。考虑一下 : < code> Object. getClass () 的返回类型是 < code> Class<? & gt; 和编译者会想要将 < code >? 捕捉成一个具体类型。但是, 我们不想捕捉 < code >? , 而是要“ 捕捉上捆绑” < code> T -- Java 的通用名称中没有这种内容。

Answer 3

根据 getClass () 上的文档, 返回对象的类型为 < code> Class<?? 延伸 X & gt; , 其中 < code\\ X}/ code > 是该方法所调用实例类型的删除。

因此,在类型 T 返回 Class< > 的物体上调用 getClass ()? 延伸对象 & gt; 。在这个 API 没有关于 T 的受约束信息。

通常使用对通用类的反射的API要求客户将类型 Classs< T> 的额外参数传递给相关的构建者或通用方法。

友情链接