A corresponding type argument specifies at compilation time the data type of one of the elements in the generic type.

• 对应的类型变量在编译时指定泛型类型中某个元素的数据类型。