java - 通用类型参数的 T、U、V 约定从何而来？

Question

<分区>

Answer 1

在标准的 Java SE API 中，设计者通常选择一个与类型参数的含义/用途相关的单字母标识符:

• Iterator<T> - javadoc其中 T表示类型。其他例子是 ListIterator<T> , Iterable<T> , Comparable<T> , Comparator<T>和 Class<T> .
• Collection<E> - javadoc其中 E指元素。各种其他集合类和接口(interface)使用 E .
• Map<K,V> - javadoc其中 K表示 key ，V意味着值(value)。
• Enum<E> - javadoc其中 E表示枚举。

这些往往会反驳您关于存在普遍(广泛)T 的断言。 , U , V约定，至少对于 Java。显然，在没有具体指导的情况下，一些个别设计师会采用什么是指导的明显扩展来使用T (见下面的链接)但这似乎是个人选择的结果。 (而且这些团体可能会认为这不值得讨论。)

(如果您想进行详尽搜索，请访问每个 javadocs 索引 A-Z 页面，并在其中搜索所有出现的“<”。)

---

I'm hoping for a link to an old discussion/commit/mailing list where the convention was first discussed.

对于 Java，我怀疑您会发现这一点。讨论和邮件列表本来是私有(private)的，当泛型被添加到语言中时，Java 源代码仍然关闭，以及上面的所有示例。

---

@Lew Bloch 找到了 T 的几个例子(见下文) , U , V在 Java 8 中作为流支持的一部分添加到 Java SE 的 API 中。我断言这并不能证明一个普遍的模式，大量预先存在的类反驳了它。

一般模式或惯例的其他负面证据:

• http://cr.openjdk.java.net/~alundblad/styleguide/index-v6.html#toc-type-variables其中没有提到 U和 V .
• http://docs.oracle.com/javase/tutorial/java/generics/types.html建议使用 S , U和 V作为第二、第三和第四类型参数。 (不是 U , V , W ...)

最后，JLS ( JLS 6.1) 建议:

Type variable names should be pithy (single character if possible) yet evocative, and should not include lower case letters. This makes it easy to distinguish type parameters from ordinary classes and interfaces.

Container types should use the name E for their element type. Maps should use K for the type of their keys and V for the type of their values. The name X should be used for arbitrary exception types. We use T for type, whenever there is not anything more specific about the type to distinguish it. (This is often the case in generic methods.)

If there are multiple type parameters that denote arbitrary types, one should use letters that neighbor T in the alphabet, such as S. Alternately, it is acceptable to use numeric subscripts (e.g., T1, T2) to distinguish among the different type variables. In such cases, all the variables with the same prefix should be subscripted.

简而言之，U和 V JLS 中未明确提及，但其他替代方案是。