为什么在泛型类（Java）的构造函数中提供类型参数是错误的？

我刚刚从一本教科书中学习 Java 中的泛型，其中讨论了一个类GenericStack<E>实施与ArrayList<E>.

因为为了创建字符串堆栈，您使用

GenericStack<String> = new GenericStack<String>()

or

GenericStack<String> new GenericStack<>()

因此不应该的构造函数GenericStack被定义为public GenericStack<E>(), or public GenericStack<>()？答案是不。它应该被定义为public GenericStack().

为什么是这样？显然，构造函数可以轻松地从类声明中推断出类型，但考虑到 Java 的冗长，我有点困惑为什么<E>或者简单地<>形式主义在这里彻底破除了。

这有两个部分：

1. 为类定义给出的泛型类型参数在类本身中可用。

2. 您可以拥有特定于各个方法（包括构造函数）的泛型类型。

看下面的例子：

package snippet;

import java.util.ArrayList;

public class Y<E> extends ArrayList<E> {

    public <T> Y(T t) {
    }
}

作为类型E可供全班同学使用，类型T仅在构造函数内有效。