7、泛型和可变参数

泛型

泛型概述和好处

泛型概述

是JDK5中引入的特性，它提供了编译时类型安全检测机制，该机制允许在编译时检测到非法的类型，它的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？顾名思义，就是将类型由原来的具体的类型参数化，然后在使用/调用时传入具体的类型。这种参数类型可以用在类、方法和接口中，分别被称为泛型类、泛型方法、泛型接

泛型定义格式

1. <类型>：指定一种类型的格式。这里的类型可以看成是形参

2. <类型1,类型2…>：指定多种类型的格式，多种类型之间用逗号隔开。这里的类型可以看成是形参

3. 将来具体调用时候给定的类型可以看成是实参，并且实参的类型只能是引用数据类型

泛型的好处

1. 把运行时期的问题提前到了编译期间

2. 避免了强制类型转换

泛型类

定义格式

修饰符 class 类名<类型> { }

示例代码

泛型类

public class Generic <T> {
    private T t;

    public T getT() {
        return t;
    }

    public void setT(T t) {
        this.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(30);
        System.out.println(g2.getT());

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

泛型方法

定义格式

修饰符 <类型> 返回值类型 方法名(类型 变量名) { }

示例代码

带有泛型方法的类

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

测试类

public class GenericDemo {
    public static void main(String[] args) {
        Generic g = new Generic();
        g.show("林青霞");
        g.show(30);
        g.show(true);
        g.show(12.34);
    }
}

泛型接口

定义格式

修饰符 interface 接口名<类型> { }

示例代码

泛型接口

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) {
        GenericImpl<String> g1 = new GenericImpl<String>();
        g1.show("林青霞");

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

类型通配符

类型通配符的作用

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

类型通配符的分类

• 类型通配符：<?>

  • List<?>：表示元素类型未知的List，它的元素可以匹配任何的类型

  • 这种带通配符的List仅表示它是各种泛型List的父类，并不能把元素添加到其中

• 类型通配符上限：<? extends 类型>

  • List<? extends Number>：它表示的类型是Number或者其子类型

• 类型通配符下限：<? super 类型>

  • List<? super Number>：它表示的类型是Number或者其父类型

类型通配符的基本使用

import java.util.ArrayList;
import java.util.List;

public class GenericDemo {
    public static void main(String[] args) {
        //类型通配符：<?>
        List<?> list = new ArrayList<Object>();
        List<?> list1 = new ArrayList<Number>();
        List<?> list2 = new ArrayList<Integer>();

        //类型通配符上限：<? extends 类型>
        // List<? extends Number> list3 = new ArrayList<Object>();
        List<? extends Number> list4 = new ArrayList<Number>();
        List<? extends Number> list5 = new ArrayList<Integer>();

        //类型通配符下限：<? super 类型>
        List<? super Number> list6 = new ArrayList<Object>();
        List<? super Number> list7 = new ArrayList<Number>();
        // List<? super Number> list8 = new ArrayList<Integer>();
    }
}

可变参数

可变参数

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

可变参数定义格式

修饰符 返回值类型 方法名(数据类型… 变量名) { }

可变参数的注意事项

• 这里的变量其实是一个数组

• 如果一个方法有多个参数，包含可变参数，可变参数要放在最后

可变参数的基本使用

public class ArgsDemo01 {
    public static void main(String[] args) {
        System.out.println(sum(10, 20));
        System.out.println(sum(10, 20, 30));
        System.out.println(sum(10, 20, 30, 40));
        System.out.println(sum(10, 20, 30, 40, 50));
        System.out.println(sum(10, 20, 30, 40, 50, 60));
        System.out.println(sum(10, 20, 30, 40, 50, 60, 70));
        System.out.println(sum(10, 20, 30, 40, 50, 60, 70, 80, 90, 100));
    }

    // public static int sum(int b,int... a) {
    //      return 0;
    // }
    
    public static int sum(int... a) {
        //  System.out.println(a); // 这里的变量其实是一个数组
        int sum = 0;
        for (int i : a) {
            sum += i;
        }
        return sum;
    }
}

可变参数的使用

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

• public static List asList(T... a)：返回由指定数组支持的固定大小的列表

• 返回的集合不能做增删操作，可以做修改操作

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

• public static List of(E... elements)：返回包含任意数量元素的不可变列表

• 返回的集合不能做增删改操作

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

• public static Set of(E... elements) ：返回一个包含任意数量元素的不可变集合

• 在给元素的时候，不能给重复的元素

• 返回的集合不能做增删操作，没有修改的方法

示例代码

mport java.util.Arrays;
import java.util.List;
import java.util.Set;

public class ArgsDemo02 {
    public static void main(String[] args) {
        //public static <T> List<T> asList(T... a)：返回由指定数组支持的固定大小的列表
        List<String> list = Arrays.asList("hello", "world", "java");
        //list.add("javaee"); //UnsupportedOperationException
        //list.remove("world"); //UnsupportedOperationException
        list.set(1, "javaee");
        System.out.println(list);

        //public static <E> List<E> of(E... elements)：返回包含任意数量元素的不可变列表
        List<String> list1 = List.of("hello", "world", "java", "world");
        //list.add("javaee");//UnsupportedOperationException
        //list.remove("java");//UnsupportedOperationException
        //list.set(1,"javaee");//UnsupportedOperationException
        System.out.println(list1);

        //public static <E> Set<E> of(E... elements) ：返回一个包含任意数量元素的不可变集合
        // Set<String> set = Set.of("hello", "world", "java", "world"); //IllegalArgumentException
        Set<String> set = Set.of("hello", "world", "java");
        //set.add("javaee");//UnsupportedOperationException
        //set.remove("java");//UnsupportedOperationException
        System.out.println(set);
    }
}