java基础学习——泛型

1.泛型概述：

        泛型：时JDK5中引入的特性，它提供了编译时类型安全检测机制，该机制允许在编译时检测到非法的类型

        它的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数

        一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？

        顾名思义，就是将类型由原来的具体的类型参数化，然后在使用/调用时传入具体的类型        

        这种参数类型可以用在类、方法和接口中，分别被称为泛型类、泛型方法、泛型接口

2.泛型定义格式：     

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

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

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

代码演示：

package com.aynu29;

//需求：Collection集合存储字符串并遍历

import java.util.ArrayList;
import java.util.Collection;
import java.util.Iterator;

public class GenericDemo {
    public static void main(String[] args) {
        //创建集合对象
//        Collection c=new ArrayList<>();
        Collection c=new ArrayList();

        //添加元素
        c.add("hello");
        c.add("world");
        c.add("java");
//        c.add(100);

        //编辑集合
//        Iterator it = c.iterator();
        Iterator it = c.iterator();
        while (it.hasNext()){
//            Object obj = it.next();
//            System.out.println(obj);
//            String s=(String) it.next();    //ClassCastException
            String s = it.next();
            System.out.println(s);
        }
    }
}

hello
world
java

泛型的好处：

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

        避免了强制类型转换

3.泛型类：

        泛型类的定义格式：

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

                范例：public class Generic{ }

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

4.泛型方法：

        泛型方法的格式：

                格式：修饰符<类型>返回值类型 方法名（类型，变量名）{ }

                范例：public void show(T t){ }

package com.aynu31;

//测试类

public class GenericDemo {
    public static void main(String[] args) {
//        Generic g=new Generic();
//        g.show("郭帅龙");
//        g.show(30);
//        g.show(true);
//        g.show(13.14);

//        Generic g1=new Generic();
//        g1.show("郭帅龙");
//
//        Generic g2=new Generic();
//        g2.show(30);
//
//        Generic g3=new Generic();
//        g3.show(true);

        Generic g=new Generic();
        g.show("郭帅龙");
        g.show(30);
        g.show(true);
        g.show(13.14);
    }
}

package com.aynu31;

/*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{
//        public void show(T t){
//            System.out.println(t);
//        }
//}

//泛型方法改进
public class Generic {
    public  void show(T t){
        System.out.println(t);
    }
}

        郭帅龙
        30
        true
        13.14
 

5.泛型接口： 

 泛型接口的定义格式：

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

        范例：public interface Generic { }

代码演示：

package com.aynu31;

//测试类

public class GenericDemo2 {
    public static void main(String[] args) {
        Generic1 g1=new Generic1Impl();
        g1.show("郭帅龙");

        Generic1 g2=new Generic1Impl();
        g2.show(30);
    }
}

package com.aynu31;

public class Generic1Impl implements Generic1 {
    @Override
    public void show(T t) {
        System.out.println(t);
    }
}

package com.aynu31;

public interface Generic1 {
    void show(T t);
}

        郭帅龙
        30

 6.类型通配符：

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

        类型通配符：

        List：表示元素类型未知的List,它的元素可以匹配任何的类型

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

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

        类型通配符上限：

        List：它表示的类型是Number或者其子类型

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

        类型通配符下限

        List：它表示的类型是Number或者其父类型

package com.aynu32;

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

// 类型通配符上限：
//List：它表示的类型是Number或者其子类型

// 类型通配符下限
//List：它表示的类型是Number或者其父类型

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

public class GenericDemo {
    public static void main(String[] args) {
        // 类型通配符：
        List list1 = new ArrayList