Java中的泛型

1.概述

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

泛型定义格式：

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

泛型的好处：

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

2.泛型的使用

2.1泛型类

• 定义格式

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

• 示例代码
  
  注意：

   泛型的类型参数只能是类类型，不能是简单类型。
   
   不能对确切的泛型类型使用instanceof操作。如下面的操作是非法的，编译时会出错。
   if(ex_num instanceof Generic<Number>){   
   } 
  

  2.2泛型方法

• 定义格式

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

• 示例代码
  带有泛型方法的类

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);
	 }
}

2.3泛型接口

• 定义格式

修饰符 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);
	 } 
}

• 测试类

package com.itheima_03;

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(30);
    }
}

3.类型通配符

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

• 类型通配符的分类

   1. 类型通配符：<?>
  
    - List<?>：表示元素类型未知的List，它的元素可以匹配任何的类型
    - 这种带通配符的List仅表示它是各种泛型List的父类，并不能把元素添加到其中
   
   2.类型通配符上限：<? extends 类型>
   
     - List<? extends Number>：它表示的类型是Number或者其子类型
  
   3.类型通配符下限：<? super 类型>
   
     - List<? super Number>：它表示的类型是Number或者其父类型
  

类型通配符一般是使用？代替具体的类型实参
注意了，此处’？’是类型实参，而不是类型形参 。
再直白点的意思就是，此处的？和Number、String、Integer一样都是一种实际的类型，可以把？看成所有类型的父类。是一种真实的类型。

可以解决当具体类型不确定的时候，这个通配符就是 ? ；当操作类型时，不需要使用类型的具体功能时，只使用Object类中的功能。那么可以用 ? 通配符来表未知类型。

<? extends T>：子类型的通配符限定，以查询为主，比如消费者集合场景
<? super T>：超类型的通配符限定，以添加为主，比如生产者集合场景

4.类型擦除

类型擦除指的是，你在给类型参数赋值时，编译器会将实参类型擦除为Object

所以这里我们要明白一个东西：虚拟机中没有泛型类型对象的概念，在它眼里所有对象都是普通对象

类型擦除的原理：

Java 编辑器会将泛型代码中的类型完全擦除，使其变成原始类型。

当然，这时的代码类型和我们想要的还有距离，接着 Java 编译器会在这些代码中加入类型转换，将原始类型转换成想要的类型。这些操作都是编译器后台进行，可以保证类型安全

总之泛型就是一个语法糖，它运行时没有存储任何类型信息。

为什么要擦除呢？
这其实不是想不想擦除的问题，而是不得不擦除的问题
因为旧代码是没有泛型概念的，这里的擦除主要是为了兼容旧代码，使得旧代码和新代码可以互相调用

5. 可变参数

5.1可变参数

• 可变参数介绍

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

• 可变参数定义格式

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

• 可变参数的注意事项

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

• 可变参数的基本使用
  

5.2可变参数的使用

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

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

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

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

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

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

示例代码

public class ArgsDemo {
    public static void main(String[] args) {
        /*List<String> list = Arrays.asList("hello", "world", "java");
        list.set(1,"javaee");
        System.out.println(list);*/
       /* List<String> list = List.of("hello", "world", "java");
        list.add("javaee");
        System.out.println(list);*/
        Set<String> set = Set.of("hello", "java");
        set.add("world");
        System.out.println(set);
    }
}