我们聊聊Java泛型中的 T 是什么?
T 在Java泛型中,被称作类型变量。那么什么又是类型变量?
类型变量在整个类的定义中用于指定方法的返回类型,同时也可以指定字段和局部变量的类型,我们可以用具体的类型来替换类型变量来实例化泛型类型。
如果我们经常看源码,就能看到很多类似于T这种类型变量,简单介绍一下这些类型变量分别代表什么含义。
Ⅰ、T、U、S:表示任意类型
Ⅱ、K:表示键类型
Ⅲ、V:表示值类型
Ⅳ、E:表示集合元素类型
Ⅴ、N:表示数字类型
了解完这些类型变量的含义后,我们回归正传, T 、T、 到底在用法上有什么区别?
样例代码
public class GenericMethod {
public static void main(String[] args) {
Double[] num = {1.11, 2.22, 3.33, 4.44, 5.55, 6.66};
String[] str = {"Hello", "World", "你好", "世界"};
Generic01 generic01 = new Generic01();
generic01.toGeneric01(num);
generic01.toGeneric01(str);
Generic02<Double> doubleGeneric02 = new Generic02<>();
doubleGeneric02.toGeneric02(num);
Generic02<String> doubleGeneric03 = new Generic02<>();
doubleGeneric03.toGeneric02(str);
}
}
class Generic01 {
public <T> T toGeneric01(T[] arr) {
return arr[arr.length - 1];
}
}
class Generic02<T> {
public T toGeneric02(T[] arr) {
return arr[arr.length - 1];
}
}
class Generic03 {
public <T> void toGeneric03(T[] arr) {
T t = arr[arr.length - 1];
}
}
上面的样例测试中,我分别编写了两个类 Generic01 和 Generic02。Generic01类 编写的方法的返回值样式为 T,Generic02类 编写的方法返回值的样式为 T。在编写的时候发现,如果方法的返回值写成 T,那么这个类必须为泛型,简单来说就是 Generic02类 后面必须加上 ,否则会报错!
报错如下
Generic02类加上后,那么我们在通过此类调用方法时,就必须传入类型,比如Integer、Double、String、我们自定义的类等等一些类,而方法返回为 T 的 Generic01类 则无需知道类型,传入即可~
谈论完Generic01和Generic02后,我们来说说Generic03是什么含义?
Generic03方法
public 中的这个 T 是修饰符的功能,代表是个泛型方法,与static修饰静态方法一个意思,但是,这里的并不是返回值类型,而是表示这里传入的参数可以是泛型或者下面定义的变量可以是泛型,在这里的目的是为了确保参数中可以出现T这种数据类型或者方法中定义的变量可以是T这种数据类型。
总结 T、 、 T
T 代表
只能传入 T 类型的数据,也就是说,方法实例化的数据类型,就是 T 的数据类型。( 根据上面的代码理解也就是,如果Generic02,那么就限制 T 为 Double 类型。)
代表
表示修饰符的含义,代表这是一个泛型方法。作用是:可以传入的参数为 T 这种类型变量
T 代表
① 第一个 表示泛型 ② 第二个 T 表示返回的是 T 类型的数据(比如:Integer、Double、String 等等)③ 第三个 T 来限制传入的数据类型(比如:限制为数组、集合 等等)