1.泛型是什么?
泛型,即“参数化类型”。一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。那么参数化类型怎么理解呢?顾名思义,就是将类型由原来的具体的类型参数化,类似于方法中的变量参数,此时类型也定义成参数形式(可以称之为类型形参),然后在使用/调用时传入具体的类型(类型实参)。泛型的本质是为了参数化类型(在不创建新的类型的情况下,通过泛型指定的不同类型来控制形参具体限制的类型)。也就是说在泛型使用过程中,操作的数据类型被指定为一个参数,这种参数类型可以用在类、接口和方法中,分别被称为泛型类、泛型接口、泛型方法。
2.泛型的作用?
没有泛型的情况下,list接口在定义的时候就只能规定为存储Object类型(为了通用性嘛!)。这样就会出现一种情况,比如你定义一个集合对象list,然后在里面存储了一堆Integer类型对象,并且混进去了一个String类型对象"AbC",你本来是想要对这些元素进行比大小,然后你肯定要将list遍历出来,全部强制转换为Integer,然后进行比大小,但这个String对象肯定会报类转换异常。这时候就体现出了泛型的作用,在引入泛型后,你的list在创建时必须声明类型为Integer,这样在你添加一个非Integer类型对象时,编译代码期间就会报错(现在一般IDE就提示错误了),不会将错误带入到实际使用中去。
3.泛型怎么用?
4.泛型方法
泛型方法是一种在方法中使用泛型类型的机制。它可以在方法签名中使用泛型类型参数,并在方法的参数、返回值或局部变量中使用这些类型参数。
下面是泛型方法的基本语法:
public <T> void methodName(T param) {
// 方法体
}
在上面的语法中,<T>
表示该方法是一个泛型方法,T
是一个类型参数,可以根据实际情况进行替换。方法签名中的T
可以用于参数的类型、返回值的类型或局部变量的类型。
泛型方法有以下特点:
-
方法中的泛型类型参数在方法调用时才确定具体的类型。在方法定义时,只是一个占位符。方法调用时可以指定具体的类型参数。
-
泛型方法可以有多个类型参数,在方法签名中以逗号分隔。
-
泛型方法可以使用任何合法的类型参数,不仅限于类中定义的类型参数。
-
泛型方法可以限制类型参数的范围,使用
extends
关键字指定类型上限或super
关键字指定类型下限。
下面是一个使用泛型方法的示例:
假设我们有一个工具类 Utils
,其中包含一个泛型方法 isEqual
,用于比较两个对象是否相等。代码示例如下:
public class Utils {
public static <T> boolean isEqual(T obj1, T obj2) {
return obj1.equals(obj2);
}
}
在上述代码中,isEqual
方法是一个泛型方法,接受两个参数 obj1
和 obj2
,它们的类型是同一个泛型类型 T
。方法使用了泛型类型 T
,可以适用于比较各种类型的对象,不仅仅限于特定的类。
使用该方法可以比较任意类型的对象,例如:
public class Main {
public static void main(String[] args) {
System.out.println(Utils.isEqual("Hello", "Hello")); // 比较两个字符串
System.out.println(Utils.isEqual(10, 10)); // 比较两个整数
System.out.println(Utils.isEqual(true, false)); // 比较两个布尔值
}
}
在上述的 isEqual
泛型方法中,obj1
和 obj2
的类型都是泛型类型参数 T
,可以调用 equals
方法。当调用 obj1.equals(obj2)
时,实际上是根据 obj1
的运行时类型来调用对应的 equals
方法。
因为 Java 泛型是在编译时进行类型擦除的,所以在编译时并不知道具体的类型参数,但编译器可以推断出相应的方法签名,并生成相应的字节码。
所以,在运行时会根据传入的对象动态调用对应类型的 equals
方法。如果传入的类型没有重写 equals
方法,默认会调用 Object
类的 equals
方法。
这就是泛型方法的强大之处,可以根据实际类型参数的不同,自动调用对应类型的方法,提高代码的灵活性和通用性。