Java中的泛型使用详解_Java

泛型类

语法

class 泛型类名称<类型形参列表> {
        // 这里可以使用类型参数
}
class classname<t1, t2, ..., tn> {
}
class 泛型类名称<类型形参列表> extends 继承类/* 这里可以使用类型参数 */ {
        // 这里可以使用类型参数
}
class classname<t1, t2, ..., tn> extends parentclass<t1> {
        // 可以只使用部分类型参数
}

使用

泛型类<类型实参> 变量名; // 定义一个泛型类引用
new 泛型类<类型实参>(构造方法实参); // 实例化一个泛型类对象

class myarray<t> {
    public object[] array = new object[10];
    public void set(int pos,t val) {
        array[pos] = val;
    }
    public t get(int pos) {
        return (t)array[pos];
    }
    public object[] getarray() {
        return array;
    }
}
public class test {
    public static void main(string[] args) {
        myarray<string> myarray = new myarray<>();
    }
}

泛型上界

在定义泛型类时，有时需要对传入的类型变量做一定的约束，可以通过类型边界来约束。

定义

class 泛型类名称<类型形参 extends 类型边界> {
        ...
}

使用

class myarray<t extends number> {
    public object[] array = new object[10];
    public void set(int pos,t val) {
        array[pos] = val;
    }
    public t get(int pos) {
        return (t)array[pos];
    }
    public object[] getarray() {
        return array;
    }
}
public class test {
    public static void main(string[] args) {
          // 编译错误，因为 string 不是 number 的子类型
//        myarray<string> myarray1 = new myarray<>();
        // 正常，因为 integer 是 number 的子类型
        myarray<integer> myarray = new myarray<>();
    }
}

class alg<t extends comparable<t>> {
    public t findmax(t[] array) {
        t max = array[0];
        for (int i = 1; i < array.length; i++) {
            if(array[i].compareto(max) > 0) {
                max = array[i];
            }
        }
        return max;
    }
}

类型擦除

java中的泛型擦除是java泛型实现的一个关键特性，它允许java在编译时检查类型安全，但在运行时忽略泛型信息。这意味着，尽管你可以在编译时指定泛型类型，但在运行时，jvm看到的只是原始类型，并不保留任何关于泛型参数的信息。

class myarray<e> {
    // e 会被擦除为 object
}
class myarray<e extends comparable<e>> {
    // e 被擦除为 comprable
}

示例

class alg<t extends comparable<t>> {
    public t findmax(t[] array) {
        t max = array[0];
        for (int i = 1; i < array.length; i++) {
            if(array[i].compareto(max) > 0) {
                max = array[i];
            }
        }
        return max;
    }
}

针对上面的代码，编译结果如下：

编译器在类型擦除阶段做什么？

一、擦除泛型类型信息
移除类型参数：编译器会移除所有与泛型相关的类型参数信息。这意味着在编译后的字节码中，将不再包含任何泛型类型参数的信息。
替换为原始类型：泛型类型参数会被替换为其上界（如果指定了上界的话，比如t extends comparable<t>中的t会被替换为comparable<t>；如果没有指定上界，则默认为object）。例如，list<string>和list<integer>在编译后的字节码中都表现为list。
二、调整类型信息
方法参数、局部变量和字段的类型调整：除了泛型类型本身被擦除外，编译器还会相应地调整方法参数、局部变量和字段的类型，以确保它们在运行时的一致性。
三、插入类型转换
类型强制转换：由于类型信息在运行时不可用，编译器会在需要的地方插入必要的类型转换。例如，从list<string>中获取元素时，虽然运行时这个列表只是普通的list，但编译器会在幕后添加一个从object到string的显式类型转换。
四、确保类型安全
编译时类型检查：在编译阶段，编译器会利用泛型类型信息进行类型检查，确保类型安全。例如，编译器会阻止向list<string>中添加整数或其他非字符串对象，或者尝试将list<integer>赋值给list<double>等不兼容的操作。
五、桥接方法的生成
向后兼容性：为了保持与未使用泛型的旧代码的兼容性，编译器可能会为泛型类生成桥接方法。这些桥接方法允许泛型类的方法与原生类型的方法共存，并且可以相互调用。
总的来说，编译器在类型擦除阶段的主要目标是确保泛型代码在运行时能够安全、正确地执行，同时尽量减少对现有代码的影响。通过移除泛型类型信息并插入必要的类型转换，编译器使得泛型代码能够与非泛型代码无缝对接，从而保证了java平台的整体一致性和稳定性。

通配符

？用于在泛型的使用，即为通配符。

class message<t> {
    private t message;
    public t getmessage() {
        return message;
    }
    public void setmessage(t message) {
        this.message = message;
    }
}
public class test{
    //可以传入任意类型的message
    public static void fun(message<?> temp){
        system.out.println(temp.getmessage());
    }
    public static void main(string[] args) {
        message<string> message = new message<>();
        message.setmessage("你好！");
        fun(message);
        message<integer> message2 = new message<>();
        message2.setmessage(199);
        fun(message2);
    }
}

通配符上界

<? extends 上界>

上界通配符用于指定一个类型的上界，即泛型参数必须是该类型或其子类。这种通配符主要用于读取操作，因为它允许你安全地读取数据，但不允许你写入数据（除了null，因为null可以被视为任何类型的实例）。

特点：

add()方法：不能添加任何元素（除了null），因为编译器无法确定具体的类型，添加其他元素可能会导致类型安全问题。
get()方法：可以安全地读取元素，并且返回的类型是t或t的子类，但通常需要用t或t的父类（如object）来接收，因为编译器无法确定具体的子类类型。

class food {
}
class fruit extends food {
}
class apple extends fruit {
}
class banana extends fruit {
}
class message<t> {
    private t message;
    public t getmessage() {
        return message;
    }
    public void setmessage(t message) {
        this.message = message;
    }
}
public class test1 {
    public static void funextends(message<? extends fruit> temp){
        system.out.println(temp.getmessage());
        //通配符的上界来说 是不可以进行修改元素的
/*        temp.setmessage(new banana());
        temp.setmessage(new apple());*/
        //向上转型
        fruit fruit = temp.getmessage();
    }
    public static void main(string[] args) {
        message<apple> message1 = new message<>();
        message1.setmessage(new apple());
        message<banana> message2 = new message<>();
        message2.setmessage(new banana());
        funextends(message1);
        funextends(message2);
    }
}

通配符下界

<? super 下界>

下界通配符用于指定一个类型的下界，即泛型参数必须是该类型或其父类。这种通配符主要用于写入操作，因为它允许你安全地添加t或t的子类类型的元素，但在读取时只能确保是object类型。

特点：

add()方法：可以添加t或t的子类类型的元素，因为所有这些类型都是下界类型的子类或相同类型。
get()方法：读取元素时，由于类型的不确定性，通常只能用object类型来接收。如果需要具体的类型，则需要进行类型转换。

class food {
}
class fruit extends food {
}
class apple extends fruit {
}
class banana extends fruit {
}
class plate<t> {
    private t plate ;
    public t getplate() {
        return plate;
    }
    public void setplate(t plate) {
        this.plate = plate;
    }
}
public class test1 {
    public static void funsuper(plate<? super fruit> temp){
        // 此时可以修改！！添加的是fruit 或者fruit的子类
        temp.setplate(new apple());//这个是fruit的子类   向上转型
        temp.setplate(new banana());//这个是fruit的本身
//        fruit fruit = temp.getplate(); //不能接收，这里无法确定是哪个父类
        system.out.println(temp.getplate());//只能直接输出
    }
    public static void main(string[] args) {
        plate<fruit> message1 = new plate<>();
        plate<food> message2 = new plate<>();
        funsuper(message1);
        funsuper(message2);
    }
}

泛型方法

语法

方法限定符 <类型形参列表> 返回值类型方法名称(形参列表) { ... }

使用

class alg2 {
    //泛型方法
    public static <t extends comparable<t>> t findmax(t[] array) {
        t max = array[0];
        for (int i = 1; i < array.length; i++) {
            if(array[i].compareto(max) > 0) {
                max = array[i];
            }
        }
        return max;
    }
}
public class test2 {
    public static void main1(string[] args) {
        integer[] array = {1,13,51,71,19};
        integer ret = alg2.<integer>findmax(array);
        system.out.println(ret);
    }
}

泛型的限制

1. 不能使用基本数据类型作为泛型类型参数
java中的泛型只能使用引用数据类型作为类型参数，不能使用基本数据类型（如int、double等）。如果需要使用基本数据类型的泛型，通常需要使用它们对应的包装类（如integer、double等）。

2. 不能创建泛型类型的数组
由于类型擦除的原因，java不允许直接创建泛型类型的数组。例如，list<string>[] listarray = new arraylist<string>[10]; 是不允许的。如果需要类似的功能，可以考虑使用arraylist<list<string>>等集合类来实现。

3. 不能实例化泛型类型的对象（除了使用new操作符的匿名内部类）
java不允许直接实例化泛型类型的对象，如list<string> list = new list<string>(); 是不允许的。应该使用具体的类来实例化泛型，如list<string> list = new arraylist<>();。

4. 运行时类型查询的限制
由于类型擦除，在运行时无法直接查询泛型参数的具体类型。例如，instanceof 运算符和getclass()方法不能用于检查泛型类型参数的具体类型。这意味着，在运行时，所有的泛型类型都会被当作它们的原始类型（即擦除后的类型）来处理。

5. 泛型类型参数不具有继承关系
即使两个类之间存在继承关系，它们的泛型类型参数之间也不具有继承关系。例如，list<a>并不是list<b>的子类，即使a是b的子类。这要求开发者在编写泛型代码时特别注意类型安全。

6. 泛型上界和下界的限制
上界：通过extends关键字，可以限制泛型类型参数必须是某个类型的子类或实现类。这有助于在编译时检查类型兼容性，提高代码的安全性。
下界：通过super关键字，可以限制泛型类型参数必须是某个类型的父类型。这允许在泛型方法或类中灵活处理不同但兼容的类型。
7. 泛型通配符的限制
泛型通配符（如?、<? extends t>、<? super t>）用于表示未知类型或受限类型。然而，它们也带来了一些限制，如在使用上界通配符时不能添加除null以外的元素，而在使用下界通配符时读取的元素类型只能为object等。

8. 反射和泛型
java的反射机制可以在运行时访问类的信息，但由于类型擦除，反射无法直接获取泛型类型参数的具体信息。这要求开发者在使用反射和泛型时需要特别注意类型安全和类型转换的问题。