Java中的泛型

泛型

泛型概述

泛型：是JDK5中引入的特性，它提供了编译时类型安全检测机制，该机制允许在编译时检测到非法的类型。它的本质是参数化类型，所做操作的数据类型被指定为一个参数。

泛型定义格式：

• <类型>：指定一种类型的格式，这里的类型可以看成是形参
• <类型1，类型2…>：指定多种类型的格式，多种类型之间用逗号隔开，这里的类型可以看成是形参
• 将来具体调用时候给定的类型可以看成是实参，并且实参的类型只能是引用数据类型

泛型的好处：

• 把运行时期的问题提前到了编译期间
• 避免了强制类型转换

泛型类

泛型类的定义格式：

• 格式：修饰符class类名<类型>{ }

• 范例：public class Generic { }

  ​ 此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型

创建一个泛型类：

public class Generic <T>{
    private T t;

    public T getT() {
        return t;
    }

    public void setT(T t) {
        this.t = t;
    }
}

类型T作为一个参数，传入的类型是什么，t的类型就是什么。

测试泛型类：

public class GenericDemo {
    public static void main(String[] args) {
        Generic<String> g1 = new Generic<String>();
        g1.setT("张三");
        System.out.println(g1.getT()); //张三

        Generic<Integer> g2 = new Generic<Integer>();
        g2.setT(33);
        System.out.println(g2.getT()); //33

        Generic<Boolean> g3 = new Generic<Boolean>();
        g3.setT(true);
        System.out.println(g3.getT()); //true
    }
}

泛型方法

泛型方法的定义格式：

• 格式：修饰符 <类型> 返回值类型 方法名(类型 变量名){ }
• 范例：public void show(T t) { }

泛型类使用实例：

public class Generic <T>{
    public void show(T t) {
        System.out.println(t);
    }
}

Generic<String> g1 = new Generic<String>();
g1.show("张三"); //张三
Generic<Integer> g2 = new Generic<Integer>();
g2.show(30); //30
Generic<Boolean> g3 = new Generic<Boolean>();
g3.show(true); //true
Generic<Double> g4 = new Generic<Double>();
g4.show(12.34); //12.34

泛型方法使用实例：

public class Generic {
    public <T> void show(T t) {
        System.out.println(t);
    }
}

Generic g = new Generic();
g.show("张三"); //张三
g.show(30); //30
g.show(false); //false
g.show(12.55); //12.55

泛型接口

泛型接口的定义格式：

• 格式：修饰符 interface 接口名 <类型> { }
• 范例：public interface Generic { }

泛型接口的定义：

//泛型接口
public interface Generic <T>{
    void show(T t);
}

实现类：

public class GenericImpl<T> implements Generic<T> {
    @Override
    public void show(T t) {
        System.out.println(t);
    }
}

泛型接口的使用：

public class GenericDemo {
    public static void main(String[] args) {
        Generic<String> g1 = new GenericImpl<String>();
        g1.show("张三");

        Generic<Integer> g2 = new GenericImpl<Integer>();
        g2.show(22);
    }
}

类型通配符

为了表示各种泛型List的父类，可以使用类型通配符

• 类型通配符：<?>
• List<?>：表示元素类型位置的List，它的元素可以匹配任何的类型
• 这种带通配符的List仅表示它是各种泛型List的父类，并不能把元素添加到其中

如果说我们不希望List是任何泛型List的父类，只希望它代表某一类泛型List的父类，可以使用类型通配符的上限

• 类型通配符上限：<?extends 类型>
• List<? extends Number>：它表示的类型是Number或者其子类型

除了可以指定类型通配符的上限，我们也可以指定类型通配符的下限

• 类型通配符下限：<? super 类型>
• List<? super Number>: 它表示的是类型Number或者其父类型

可变参数

可变参数又称为参数个数可变，用作方法的形参出现，那么方法参数个数就是可变的了

• 格式：修饰符 返回值类型 方法名(数据类型… 变量名){ }
• 范例：public static int sum(int… a) { }

可变参数注意事项

• 这里的变量其实是一个数组
• 如果一个方法有多个参数，包含可变参数，可变参数要放在最后

实例：使用可变参数求多个数的和

public static void main(String[] args) {
    System.out.println(sum(10, 20)); //30
    System.out.println(sum(10, 20, 30)); //60
    System.out.println(sum(10, 20, 30, 40)); //100
    System.out.println(sum(10, 20, 30, 40, 60, 70)); //230
}
public static int sum(int b, int... args) {
    int res = 0;
    for (int arg : args) {
        res += arg;
    }
    return res;
}

可变参数的使用

Arrays工具类中有一个静态方法:

• public static list asList(T… a): 返回由指定数组支持的固定大小的列表
• 返回的集合不能做增删操作，可以做修改操作

List接口中有一个静态方法：

• public static List of(E… elements): 返回包含任意数量元素的不可变列表
• 返回的集合不能做增删改操作

Set接口中有一个静态方法：

• public static Set of(E… elements): 返回一个包含任意数量元素的不可变集合
• 在给元素的时候，不能给重复的元素
• 返回的集合不能做增删操作，没有修改的方法