通用内部类构造函数接受不同的类型参数设置什么？

Question

为这个令人费解的问题道歉，但我想不出一个更简单的方法来问这个问题。我目前正在尝试使用泛型，但遇到了一些我无法理解的问题。我有一个带有类型参数T 的泛型类，它有一个带有类型参数E 的泛型内部类。但是，内部类的构造函数需要T。

如果我用Outer<String> 实例化外部类并用<Integer> 实例化内部类，并使用整数调用其构造函数，则没有问题。这对我来说没有任何意义，因为在这种情况下，构造函数只能与 String 一起使用，正如在 Outer 类型参数中设置的那样。为什么会这样？

如果我在内部类中创建一个需要T 的方法，那么The method method(T) in the type Outer<T>.InnerGeneric<Integer> is not applicable for the arguments (int) 对我来说确实有意义。构造函数方法怎么不会出现这种情况？

这是我的代码的 sn-p：

public class Outer<T> { 
    class InnerGeneric<E> { 
        InnerGeneric(T t) {
            //do something
        }

        void method(T t) {
            //do something
        }
    }

    class Inner {
    }

    Outer(T t) {
        InnerGeneric<T> inner1 = new InnerGeneric<>(t); 
        InnerGeneric<Integer> inner2 = new InnerGeneric<>(1); //i do not get any error here, 
                                                                and the code can run just                                                                 
                                                                fine with this, why???

        inner2.method(t);   
        inner2.method(1); //get a compilation error here, this makes sense to me   
    }

    public static void main(String[] args) {
        Outer<String> outer = new Outer<>("Any string");        
    }
}

编辑：我正在使用 Eclipse，不确定这对于 javac 的版本意味着什么，因为我对这一切还很陌生

Answer 1

我使用 javac 1.8.0_25 进行了尝试，它给出了编译错误，正如您所期望的那样，而 Eclipse 确实没有。 （我从您引用的错误消息中假设您正在使用的是 Eclipse。）

这似乎是 Eclipse 编译器中的一个错误，特别是在处理菱形运算符时。如果您将该行替换为InnerGeneric<Integer> inner2 = new InnerGeneric<Integer>(1);，那么 Eclipse 也会拒绝它。

（虽然我的搜索能力不是很好，但据我所知，它还没有被记录为 Eclipse 错误，所以你应该报告它。）