子类化泛型类型，从另一个类中的方法返回子类的实例

Question

这是一个简单，绝妙的主意。 使用Java 5.0枚举类型的功能来编码数据字典的详细信息（属性名称，类型，范围，单位等），并创建用于设置和读取属性值（即属性AAH）的类型安全的系统是简短的，将枚举ACC，并且应仅接受值ACC001，ACC002，ACC003等。

困难在于不同的属性具有不同的类型（整数，浮点数，文本，枚举），并且每种类型的行为都不同。 因此，我创建了一个带有类型参数和一些抽象方法的基类：

public abstract class GsAttributeValueBase<T extends Comparable<T>> {
  protected T m_value;
  ...
  public GsAttributeValueBase(...) {..}
  ...
  public abstract void SetValue(T value) throws IllegalArgumentException;
  public T GetValue() { return m_value; }
  // etc., etc., etc
}

然后，我为每种类型将此子类化（基本上，我试图伪造部分专门化的代码）：

public class GsAttributeValueShort extends GsAttributeValueBase<Short> {...}
public class GsAttributeValueLong  extends GsAttributeValueBase<Long> {...}
public class GsAttributeValueEncoded extends GsAttributeValueBase<GsAttributeEncodedValueEnum> {...}
...

到现在为止还挺好。 现在，我想基本上在属性枚举类型中创建一个工厂方法以返回上述子类型之一的实例（因为每个属性都知道其类型和范围），例如

public GsAttributeValueBase<? extends Comparable<?>> CreateInstance()
{
  switch(m_format)
  {
  case SHORT: return new GsAttributeValueShort(...);
  case LONG: return new GsAttributeValueLong(...);
  case ENCODED: return new GsAttributeValueEncoded(...);
  ...
  }
}

并按以下方式调用方法：

GsAttributeValueShort = GsAttributeEnum.AAH.CreateInstance();

这是我撞砖墙的地方。 我收到一个不兼容的类型错误，顺序为

found   : GsAttributeValueBase<capture of ? extends java.lang.Comparable<?>>
required: GsAttributeValueShort

到目前为止，我已经对CreateInstance（）的声明进行了大约十二种排列（它不能是静态的，因为它依赖于枚举实例的特定信息）。 我现在要把头发扯掉。 我已经浪费了几天的时间在这个兔子洞里，需要今天就使它工作或完全平移。

我真的很想完成这项工作； 我认为这不仅对这个项目而且对将来的其他项目都是有价值的。 但是Java泛型的行为不像C ++模板（在过去的一周里被报复了），我知道我在这里缺少了一些重要的东西，但是我看不到它是什么。

编辑

我无法按照我脑海中所想的方式进行这项工作，我为此花费了太多时间。 感谢您的建议，但我将继续进行下去。

编辑2

哦。 我无法回答自己的问题。 那好吧。

Answer 1

关于什么：

public <T extends Comparable<T>> GsAttributeValueBase<? super T> CreateInstance() {
    ...
}

Answer 2

只需使用地图和我的TypeSafeMap模式即可 。

关于泛型的一些想法：泛型用于使集合类型安全。 它们并不是真正用于复杂的事情，例如在运行时构建类型安全的类。 因此，请注意并使用您的工具，以免它们成为负担。 如果强制转换有效， 并且您不了解泛型构造的工作原理（即使您刚刚编写过），也可以使用强制转换。 试想一下，半年后会回到此代码并必须对其进行修复。