Java CRTP和通配符：代码在Eclipse中编译，但不能在`javac`中编译

Question

抱歉，标题含糊。我有这段代码可以在Eclipse Juno（4.2）上编译，但不能在javac（1.7.0_09）上编译：

package test;

public final class Test {
    public static class N<T extends N<T>> {}

    public static class R<T extends N<T>> {
        public T o;
    }

    public <T extends N<T>> void p(final T n) {}

    public void v(final R<?> r) {
        p(r.o);       // <-- javac fails on this line
    }
}

错误是：

Test.java:13：错误：类Test中的方法p无法应用于给定类型；
        p（ro）;
        ^
  要求：T
  找到：N <CAP＃1>
  原因：推断的类型不符合声明的边界
    推断：N <CAP＃1>
    绑定：N <N <CAP＃1 >>
  其中T是类型变量：
    T扩展了方法<T> p（T）中声明的N <T>
  CAP＃1是新鲜的类型变量：
    CAP＃1从捕获？扩展了N <CAP＃1>。
1个错误

所以问题是：

1. 这是javacBug还是Eclipse错误？

2. 有什么办法可以在javac不更改v方法签名的情况下进行编译（即保留通配符）？

我知道将其更改为<T extends N<T>> void v(final R<T> r)确实可以使其编译，但是我想知道是否有办法首先避免这种情况。另外，由于内容的类型需要严格的约束，p因此无法将方法更改为。<T extendsN<?>> void p(final T n)``T extends N<T>

Answer 1

通配符的局限性在于它们会破坏T extends X<T>类型参数允许的递归表达式。基于以下几点，我们知道您要执行的操作是安全的：

1. r.o是类型T（由声明R），是或扩展N<T>。
2. 该方法p采用类型的参数T（由声明p），该参数也为或扩展N<T>。
3. 因此，即使r键入为R<?>，从p(r.o)理论上讲呼叫也应该合法。

这可能是eclipse编译器的原因（已知它会为javac没有的某些细微差别提供正确的余量）。

假设您想使用javac进行编译并且不能v像您提到的那样更改签名，那么您可以做的最好的事情就是使用原始类型，该类型“选择退出”泛型类型检查：

public void v(final R<?> r) {
    //necessary to placate javac - this is okay because [insert above reasoning]
    @SuppressWarnings("rawtypes")
    N nRaw = r.o;
    p(nRaw);
}