将参数化的Class实例传递给构造函数

Question

我迷失在通用丛林中，请帮助我:)我有这样的事情：

public class BaseClass<TYPE> {
    public BaseClass(Class<TYPE> clazz) {};
}

public class FirstLevelClass<REFRESHABLE 
    extends RefreshableInterface> extends BaseClass<REFRESHABLE> {

    public FirstLevelClass(Class<REFRESHABLE> clazz) {
        super(clazz);
    };
}

public class Argument<T extends AnyOtherClass> 
    implements RefreshableInterface {

    public refresh() {}
}

pulbic class ProblematicClass 
    extends FirstLevelClass<Argument<AnyOtherClassDescendant>> {

    public ProblematicClass() {
        //Compiler error: Constructor 
        //FirstLevelClass<Argument<AnyOtherClassDescendant>>(Class<Argument>) is undefined
        super(Argument.class); 
    }
}

据我认为，编译器应该Argument实现，因为它实现了RefreshableInterface。

• 为什么会出现此错误？
• 我该如何ProblematicClass工作？

ps：如果您对此有更好的标题，请进行更改。我无法弥补。

Answer 1

问题是，您的构造函数需要一个Class<T>，并且T在您的代码中将其推断为Argument<AnyOtherClassDescendant>。

因此，您应该通过Class<Argument<AnyOtherClassDescendant>>，然后通过Class<Argument>。但是您不能像那样Class直接传递该实例Argument<AnyOtherClassDescendant>.class。

但是，您可以通过将类强制转换为所需实例来解决此问题：

public ProblematicClass() {
    super((Class<Argument<AnyOtherClassDescendant>>)(Class<?>)Argument.class); 
}

请注意，如何首先将转换Class<Argument>为Class<?>，然后将最终的类型转换为Class<Argument<AnyOtherClassDescendant>>。没有简单的方法可以做到这一点。

其背后的原因是，Class与类本身相关联的泛型类型的所有参数化实例只有一个实例。通用类型的单个编译单元仅编译为单个类文件。我想这与C
++实施模板的方式不同。在那里，您将获得用于不同实例化的不同机器代码。

因此，如果执行以下代码，则将得到true输出：

List<String> strList = new ArrayList<String>();
List<Integer> intList = new ArrayList<Integer>();

boolean isSameClassInstance = strList.getClass() == intList.getClass();
System.out.println(isSameClassInstance);