2

通用方法教程有这个有用的例子：

 public <T extends E> boolean addAll(Collection<T> c);

但是，[...] 类型参数 T 仅使用一次。返回类型不依赖于类型参数，也不依赖于方法的任何其他参数（在这种情况下，只有一个参数）。[...] 如果是这种情况，应该使用通配符。

我正在处理的项目的代码库有一些这样的方法：

public <T extends Something> T getThing();

和（不在同一个界面）

public <D> void storeData(int id, D data);

使用方法类型参数而不是直接使用绑定（Something上面，Object下面）有什么意义？

（请注意，在前一种情况下，所有少数实现都带有注释，@SuppressWarnings("unchecked")重点可能是向该方法的用户隐藏此警告，但我不确定这是一个值得称赞的成就。在后一种情况下，一些实现使用反射以不同的方式存储不同类的实例，但我看不出类型参数如何促进这一点。）

4

2 回答 2

4

类型参数有五种不同的情况，只出现一次需要考虑。

1）一旦进入返回类型位置：

1.a) 返回类型是类型变量

public <T extends Something> T getThing();

这应该是一个危险信号：调用者可以任意选择预期的返回类型，而被调用者无法知道选择的类型。换句话说，实现不能保证返回的值将是指定的返回类型，除非它 (a) 永远不会返回，(b) 总是抛出异常或 (c) 总是返回 null。在所有这些情况下，返回类型恰好完全无关。

（如果代码非常“动态”，我个人不介意这样的方法。也就是说，无论如何你都冒着类转换异常的风险，并且方法边界仍然足够早，可以引发异常。一个很好的例子是反序列化。调用该方法的各方都必须知道并理解这一点..）

1.b) 类型变量包含在返回类型中，但不包含返回类型本身

非常普遍和有效。示例是番石榴中的各种工厂方法，例如Lists.newArrayList().

2）一旦进入参数类型位置：

2.a) 简单类型参数

public static <E> void shuffle(List<E> list);

请注意，实现实际上需要类型参数才能对元素进行洗牌。尽管如此，调用者不必为此烦恼。您可以编写一个“捕获”通配符的内部辅助方法：

public static void shuffle(List<?> list) {
  shuffleWithCapture(list);
}

private static <E> void shuffleWithCapture(List<E> list) {
  // implementation
}

2.b) 具有多个边界的类型参数

public static <T extends Foo & Bar> void foo(T);
public static <E extends Foo & Bar> void foo(List<E>);

由于 Java 不允许在除类型参数范围之外的任何地方使用交集类型，因此这是表达这些签名的唯一方法。

2.c) 类型参数绑定包含类型参数变量

public static <T extends Comparable<? super T>> void sort(List<T> list);

为了表示列表的元素必须相互比较，需要为它们的类型命名。没有办法消除此类类型参数。

于 2012-06-13T12:15:02.720 回答
1

第一个 -

public <T extends Something> T getThing();

会将返回类型转换为分配的类型，并且通常不安全（编译器会警告您），因此可能会抛出ClassCastException. 但由于它不带任何参数，我认为它总是会返回SomeThing，并且泛型类型在那里是无用的。

我认为第二个也是没用的，因为它允许任何类型，所以最好Object改用
这样的声明使代码的可读性降低并且也没有提供任何好处，我建议使用 -

public Something getThing();

和

public static void storeData(int id, Object data);
于 2012-06-13T11:21:07.777 回答