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

Question

我只是从一本教科书中学习 Java 中的泛型，它谈到了一个用 ArrayList<E> 实现的类 GenericStack<E>。

因为为了创建一个字符串栈，你使用

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

或

GenericStack<String> new GenericStack<>()

因此不应该构造函数 GenericStack 定义为public GenericStack<E>()，还是public GenericStack<>()？答案是不。应该定义为public GenericStack()。

这是为什么？显然构造函数可以很容易地从类声明中推断出类型，但是考虑到 Java 的冗长，我有点困惑为什么 <E> 或简单的 <> 形式在这里完全摆脱了。

Answer 1

这有两个部分：

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

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

看下面的例子：

package snippet;

import java.util.ArrayList;

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

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

由于E 类型对整个类都可用，T 类型仅在构造函数中有效。

Answer 2

类和构造函数都可以自己是泛型的，即每个都有自己的类型参数。例如

class A<T>
{
    <S>A(S s){}
}

使用所有显式类型参数调用构造函数

new <String>A<Integer>("abc");  // T=Integer, S=String

这样想，A<Integer> 是具体的类，<String>A 是具体的构造函数。

由于类型推断，我们可以省略构造函数的类型参数

new A<Integer>("abc");  // S=String is inferred

类的类型参数也可以通过“菱形”(<>) 语法省略和推断

A<Integer> a = new A<>("abc");  // T=Integer is inferred, as well as S=String

我就这个主题写了一篇（长）帖子 - https://stackoverflow.com/a/32292707/2158288

Answer 3

您将方法的声明与其调用站点（即您使用它的位置）混淆了。如果您想使用在类上声明的泛型，只需在调用站点提供<E> 或<> - 而不是 声明。在这方面，构造函数的声明与任何其他方法一样：

public GenericStack<E> {
    public E get() { ...            // correct
    public <E> put(E element) { ... // bad (see below)
    public GenericStack() { ...     // correct, like the get()

重新声明泛型（如上面的put 案例）实际上是遮蔽它； put(E) 中的 E 实际上与 GenericStack<E> 中的 E 不同，尽管名称相同。这很令人困惑，您应该避免这样做。