为什么java中的“超级类型令牌”模式需要匿名类

Question

class ReferenceType<T>{}

/* anonymous subclass of "ReferenceType" */
ReferenceType<List<Integer>> referenceType = new ReferenceType<List<Integer>>(){

};
Type superClass = b.getClass().getGenericSuperclass();
System.out.println("super type : " + superClass);
Type genericType = ((ParameterizedType)superClass).getActualTypeArguments()[0];
System.out.println("actual parameterized type : " + genericType);

super type : com.superluli.test.ReferenceType<java.util.List<java.lang.Integer>>
actual parameterized type : java.util.List<java.lang.Integer>

我的问题是，匿名对象“referenceType”有什么魔力让它工作？如果我定义了一个“referenceType”的显式子类，并使用它来代替匿名样式，它就不会像预期的那样。

class ReferenceType<T>{}
class ReferenceTypeSub<T> extends ReferenceType<T>{}

/* explicitly(or, named) defined subclass of "ReferenceType" */
ReferenceType<List<Integer>> b = new ReferenceTypeSub<List<Integer>>();
Type superClass = b.getClass().getGenericSuperclass();
System.out.println("super type : " + superClass);
Type genericType = ((ParameterizedType)superClass).getActualTypeArguments()[0];
System.out.println("actual parameterized type : " + genericType);

结果是：

super type : com.superluli.test.ReferenceType<T>
actual parameterized type : T

Answer 1

ReferenceType<List<Integer>> referenceType = new ReferenceType<List<Integer>>(){

相当于

public class AnonymousReferenceType extends ReferenceType<List<Integer>> {}
...
ReferenceType<List<Integer>> referenceType = new AnonymousReferenceType();

该黑客攻击围绕类#getGenericSuperClass()工作，该类声明

返回类型，该类型表示由该类表示的实体（类、接口、基元类型或void）的直接超类。如果超类是参数化类型，则返回的type对象必须准确地反映源代码中使用的实际类型参数。如果以前没有创建过表示超类的参数化类型，则创建该类型。有关参数化类型创建过程的语义，请参见ParameterizedType的声明。如果此类表示对象类、接口、基元类型或void，则返回null。如果此对象表示数组类，则返回表示object类的classe对象。

class ReferenceType<T>{}
class ReferenceTypeSub<T> extends ReferenceType<T>{}