另一个Java泛型“不兼容类型”编译错误

Question

我在写一些代码，遇到incompatible types编译错误。这就是我所拥有的：

public interface Expression<T> {
    int getArity();
    T evaluate();
}

public abstract class Value<T> implements Expression<T> {
    @Override
    public final int getArity() { return 0; }
}

public final class Constant<T> extends Value<T> {
    private final T value;

    /** Parameter constructor of objects of class Constant. */
    public Constant(T val) {
        value = val;
    }

    /** Copy constructor of objects of class Constant. */
    private Constant(Constant instance) {
        value = instance.evaluate();    // Error here.
    }

    @Override
    public T evaluate() { return value; }
}

我以为使用继承时没有正确声明泛型，所以我检查了Oracle的教程，他们在其中编写

interface PayloadList<E,P> extends List<E>

上面的声明使用相同的泛型类型E，这是我在示例中要完成的工作。似乎假设Tfrom 与from
Constant<T>有所不同Value<T>。否则，它应该能够 将 两者 合并T并看到相同的类型。如何正确实现我要实现的目标？

（ 即，某物的常量是某物的值，这是同一物的表达 ）

Answer 1

您的instance变量定义为Constant instance;

如果您未在变量中指定通用名称，则通用类型将自动为Object，并且类型Object与不同T。

你必须用

private Constant(Constant<T> instance)

代替

private Constant(Constant instance)

因为这将与 private Constant(Constant<Object> instance)