跨相关Java类型的Java泛型参数

Question

我有一个表示数据元类型的接口类型。该参数指示将用于表示数据的Java类型：

public interface Type<J> {
    boolean isAssignableFrom(@NotNull Type ts);

    /**
     * Gets the Java class of the representation of this type.
     */
    Class<? extends J> getValueType();
}

我还有一个表示该类型实例的值接口：

public interface Value<T extends Type> {
    <E> E get();

    @NotNull
    T getType();
}

public interface Value<J, T extends Type<J>> {
    J get();

    @NotNull
    T getType();
}

所以想象一下numerictype，它是一个简单的类型来表示系统中的数字（还有更复杂的动态类型，除了在运行时不存在，这是元编程的乐趣所在）：

/** A static type representing some kind of number. */
public class NumericType implements Type<BigDecimal>
{
    public static final NumericType NUMERIC_TYPE = new NumericType();


    public boolean isAssignableFrom(@NotNull Type t)
    {
        // logic here
    }

    public Class<BigDecimal> getValueType() {
        return BigDecimal.class;
    }
}

它告诉调用方在系统中用来表示此类型的Java类型。如果声明NumericType的值：

Value<NumericType> foo;

我希望能够具有编译时安全性，使get()始终返回一个BigDecimal:

BigDecimal bar = foo.get();

这样，如果我需要更改给定类型的Java表示形式（例如，我想创建NumericType 而不是NumericType ，那么上面的代码将在编译时失败。但是，我如何编写Value以便其Get()方法声明可以引用Type有界参数的界限呢？Value > 东西读起来真的很麻烦：

Value<BigDecimal, NumericType> foo;

我希望有更好的办法。

Answer 1

我确认。在Java中不可能做到这一点。此外，如果兴趣在于隐藏给定的NumericType使用BigDecimal作为内部表示，那么使用专用对象实现所需操作的完整抽象将会更加简单和健壮。如果仅使用这些操作来操作对象，则可以更改内部表示，以便仅对该类的内部进行更改：

1. 它允许精确定义所需的操作
2. 由于所需操作的减少，它允许很容易地调整内部表示。

这是基本的OOP概念和KISS原则（保持简单，愚蠢）。

class NumericType {
  private int value;
  public NumericType(int initial) {...}
  public NumericType add(NumericType operand) {...}
  ...
}

那么可以这样使用

NumericType bar = new NumeicType(1);
bar = bar.add(new NumericType(1));