Java基础学习之泛型（18-3）

1. 泛型

泛型：是JDK5中引入的特性，提供了编译时类型安全检测机制，该机制允许在编辑时检测到非法的类型，它的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。
参数化类型就是将类型由原来的具体的类型参数化，然后在使用/调用时传入具体的类型，这种参数类型可以用在类、方法和接口中，分别被称为泛型类、泛型方法、泛型接口。

泛型定义格式：

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

泛型的好处：

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

1.1 泛型类

泛型类的定义格式：

• 格式：修饰符 class 类名<类型>{ }
• 范例：public class Generic< T >{ }
  此处的T可以随便写为任意表示，常见的如T、E、K、V等形式的参数常用语表示泛型。

泛型类

package Java18.Fan.fanxing1;

public class Generic <T>{
    private T t;

    public T getT() {
        return t;
    }

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

泛型类测试

package Java18.Fan.fanxing1;

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

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

1.2 泛型方法

泛型方法定义格式：

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

泛型类、泛型方法的使用

package Java18.Fan.fanxing2;

/*public class generic {

//方法实现的功能相同，传入的参数不同构成了方法重载
    public void show(String s){
        System.out.println(s);
    }

    public void show(Integer i){
        System.out.println(i);
    }

    public void show(Boolean b){
        System.out.println(b);
    }
}*/

//泛型类改进
/*
public class generic<T> {
    public void show(T t){
        System.out.println(t);
    }
}
*/
//泛型方法改进
public class generic {
    public <T> void show(T t){
        System.out.println(t);
    }
}

package Java18.Fan.fanxing2;

import Java18.Fan.fanxing1.Generic;

public class Demo {
    public static void main(String[] args) {
/*        generic g = new generic();
        g.show("lyy");
        g.show(30);
        g.show(true);*/

//泛型类，需要创建新的对象
/*        generic<String> g1 = new generic<String>();
        g1.show("lyy");

        generic<Integer> g2 = new generic<Integer>();
        g2.show(23);

        generic<Boolean> g3 = new generic<Boolean>();
        g3.show(true);*/

        //泛型方法
        generic g = new generic();
        g.show("lyy");
        g.show(23);
        g.show(true);

    }
}

1.3 泛型接口

泛型接口定义格式：

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

首先定义一个泛型接口：

package Java18.Fan.fanxing4;
//接口无法实例化，需要给出实现类

public interface Generic<T> {
    void show(T t);
}

由于接口无法被实例化，因此需要给出实现类，重写接口中的方法：

package Java18.Fan.fanxing4;

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

最后用测试类进行测试：

package Java18.Fan.fanxing4;


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

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

1.4 类型通配符

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

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

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

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

类型通配符的下限

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

package Java18.Fan.fanxing5;


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

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

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

        类型通配符的下限

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

import sun.awt.util.IdentityArrayList;

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

public class deno {
    public static void main(String[] args) {
        //类型通配符：<?>
        List<?> list1 = new ArrayList<Object>();
        List<?> list2 = new ArrayList<Number>();
        List<?> list3 = new ArrayList<Integer>();
        System.out.println("----------------");

        //类型通配符上限：**<?extends 类型>**
        /*
        List<? extends Number> list4 = new ArrayList<Object>();
        //报错，上限是Number，只能是Number及其子类，而Objetc是Number的父类
        */
        List<? extends Number> list5 = new ArrayList<Number>();
        List<? extends Number> list6 = new ArrayList<Integer>();

        //类型通配符下限：**<?super 类型>**
        List<? super Number> list7 = new ArrayList<Object>();
        List<? super Number> list8 = new ArrayList<Number>();
        /*       
        List<? super Number> list9 = new ArrayList<Integer>();
        //报错，原因是下限为Number,而Integer为Number的子类
        */
        
    }
}

1.5 可变参数

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

格式：修饰符 返回值类型 方法名（数据类型... 变量名）{}
public static int sum(int... a){}

package Java18.Fan.fanxing6;

public class ArgDemo {
    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));
    }
    //可变参数修方法
    public static int sum(int... a){
        /*
        //从此段代码中可以看出a是个数组
        System.out.println(a);
        return 0;
        */
        int sum = 0;
        for(int i:a){
            sum += i;
        }
        return sum;
    }


//    public static int sum(int a,int b){
//        return a+b;
//    }
//    public static int sum(int a,int b,int c){
//        return a+b+c;
//    }
//    public static int sum(int a,int b,int c,int d){
//        return a+b+c+d;
//    }
}

• 一个方法如果有多个参数，包含可变参数的情况下，可变参数要放在最后
• 这个库的变量相当于一个数组

1.6 可变参数的使用

package Java18.Fan.fanxing6;


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

public class ArgDemo1 {
    public static void main(String[] args) {
        List<String> list = Arrays.asList("hello", "world", "java");
        //不能使用添加或删除的方法，因为该方法会改变集合的大小
//        list.add("javaee");//UnsupportedOperationException
//        list.remove("world");//UnsupportedOperationException
        list.set(1,"javaee");
        System.out.println(list);
        
    }
}