Question

假设我有几个特定的类都扩展了一个抽象类，如下所示：

public abstract AbstractClass {
  // abstract stuff here
}

public FirstSpecificClass extends AbstractClass {
  // specific stuff here
}

public SecondSpecificClass extends AbstractClass {
  // specific stuff here
}

我需要在其他地方创建一个enum，其中每个条目与一个特定类连接（关联？）;为此，我将特定的类作为构造函数参数传递并将其作为私有字段存储在枚举中（我还为该字段提供了一个getter方法）。我还需要创建一个静态方法，该方法将一个特定类的实例作为参数，并返回相应的枚举元素（或null）。我将通过循环每个枚举条目并将instanceof与前面提到的私有字段的getter结合使用来完成此操作。这是我的尝试：

public enum Types {
  FIRST(FirstSpecificClass.class),   // line 2
  SECOND(SecondSpecificClass.class); // line 3

  private Class<AbstractClass> classType;

  private Types(Class<AbstractClass> classType) {
    this.classType = classType;
  }

  public Class<AbstractClass> getClassType() {
    return this.classType;
  }

  public static Types fromTypeInstance(AbstractClass instance) {
    for(Types t : Types.values())
      if(instance instanceof t.getClassType()) return t; // line 17
    return null;
  }
}

我似乎误解了如何将类类型存储为字段，以便稍后可以在instanceof检查中返回并使用它。此代码产生了几个编译时错误：

（枚举的第2行）：构造函数Types(Class<FirstSpecificClass>)未定义
（枚举的第3行）：构造函数Types(Class<SecondSpecificClass>)未定义
（枚举的第17行）：不兼容的操作数类型boolean和Class<AbstractClass>

我通常不是Java程序员，我对泛型和instanceof的理解充其量是模糊的，尽管我对OOP的概念有着非常牢固的把握。如何解决这些错误并达到预期效果？

Answer 1

在Java中，泛型是不变的。这意味着Class<FirstSpecificClass>不是Class<AbstractClass>，即使FirstSpecificClass是AbstractClass。

您可以通过明确允许具有上限通配符的子类型来解决此问题。在需要的? extends类型参数之前添加AbstractClass。

private Class<? extends AbstractClass> classType;

private Types(Class<? extends AbstractClass> classType) {
   this.classType = classType;
}

public Class<? extends AbstractClass> getClassType() {
   return this.classType;
}

此外，您必须直接在instanceof运算符的源代码中指定类型，因此不会编译：

if(instance instanceof t.getClassType())

您可以使用Class object's isInstance method代替运行时解决方案：

if(t.getClassType().isInstance(instance))

使用与类关联的条目创建枚举

1 个答案: