为什么我的自绑定泛型类型与方法调用不匹配？

Question

我正在为如下所示的命令外壳编写代码：

interface Context<C extends Context<C>> {}

interface RecursiveContext<C extends RecursiveContext<C>> extends Context<C> {
  Shell<C> getShell();
  default Result execute(Command cmd) { return getShell().execute(cmd, this); }
}

interface Shell<C extends Context<C>> {
  C newContext();
  Result execute(Command cmd, C context);
}

我在默认方法中遇到错误提示

The method execute(Command, C) in the type Shell<C> is not applicable for the arguments (Command, RecursiveContext<C>)

我希望这会起作用，因为Shell<C> getShell() 保证能够在其execute 调用中接受C，并且因为this 实际上保证是相同自绑定类型的子类型C，但编译器似乎不同意我的看法。不匹配在哪里，在默认方法中执行强制转换是否安全？如果这不安全，你能提供一个类型不匹配的反例吗？

我也尝试在 shell <D extends C> execute(Command, D) 中引入一个中间类型，但这似乎没有任何改变。

（大多数建议的问题都涉及原始类型的中间步骤，但我认为我没有错过。）

Answer 1

这里问题的核心是RecursiveContext中的C并不是真正的Self——实现类的类型。 Java 中没有这样的东西，而这个 RecursiveContext<C extends RecursiveContext<C>> 只是解决这个问题的一个技巧，而这就是这个技巧的失败之处。

假设我有A 和B。这是有效的：

class A implements RecursiveContext<B> {

    @Override
    public Shell<B> getShell() {
        return new ShellB();
    }
}
class B implements RecursiveContext<B> {

    @Override
    public Shell<B> getShell() {
        return null;
    }
}

class ShellB implements Shell<B>{
    @Override
    public B newContext() {
        return new B();
    }

    @Override
    public Result execute(Command cmd, B context) {
        return new Result();
    }
}

我可以这样做：

new A().execute(new Command());

现在execute 会将this（A 的一个实例）传递给ShellB.execute！

真的会有人像那样实现RecursiveContext吗？我认为不会！ 人们理解这种RecursiveContext<C extends RecursiveContext<C>> 模式并“接受提示”。编译器没有（因为自界泛型类型在技术上不是一种语言特性），并说C 仍然可能与this 不是同一类型。

Answer 2

我认为是因为

Shell<C> getShell();

不协调 C 到上下文。