本节书摘来华章计算机《数据结构与抽象：Java语言描述（原书第4版）》一书中的第1章 ，第1.1.1节，［美］弗兰克M.卡拉诺（Frank M. Carrano）　蒂莫西M.亨利（Timothy M. Henry） 著 罗得岛大学　 新英格兰理工学院 辛运帏　饶一梅　译 更多章节内容可以访问云栖社区“华章计算机”公众号查看。

JI1.1.1　接口中的泛型

数学上，有序对是一对值a和b，表示为（a, b）。我们说，（a, b）中的值是有序的，因为（a, b）不等于（b, a），除非a等于b。例如，二维空间中的一个点由它的x坐标和y坐标来表示，即有序对（x, y）。
假定有相同类类型的对象对。可以定义一个接口描述这样的对的行为，在它的定义中使用泛型。例如，程序清单JI1-1定义了接口Pairable，它说明了这些对。Pairable对象含有同一个泛型T的两个对象。
程序清单JI1-1　接口Pairable

实现这个接口的类的开头是下列语句：

这个例子中，在implements子句中传给接口的数据类型是为类声明的泛型T。一般地，可以将实际类的名字传给implements子句中出现的接口。在Java插曲3中会看到这种情况的一个例子。

注：为了在定义接口或类时建立泛型，可以在定义第一行的接口名或类名的后面，写一个用尖括号括起的标识符——例如T。标识符T可以是任何标识符，但通常是单个大写字母。它表示接口或类定义中的一个引用类型——不是基础类型。