day19_java泛型

泛型

Java 泛型（generics）是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。保证了java的安全性

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

泛型的定义：泛型是一种把类型明确的工作推出到创建对象或调用方法的时候，才去明确特殊类型，参数化类型，把类型当作参数一样进行传递

1、格式：

<数据类型>
    // 数据类型只能是引用类型

2、好处：

• 把运行时报的错误提前到编译时期
• 避免了强制转换
• 优化程序的设计，解决黄色警告线

3、泛型的引用：

1. 类上定义泛型

   class ObjectTool<T>{ // 定义泛型时用<>，一般里写T
   	private T t; // 使用泛型时不加<>，直接写里面的参数
       public void setT(T t){
           this.t = t;
       }
       public T getT(){
           return t;
       }
   }
   public class Demo{
       public static void main(String[] args){
           // 在创建objecttool对象时明确数据类型为string
           ObjectTool<String> tool = new ObjectTool<String>();
           // ObjectTool<String> tool = new ObjectTool<>(); 
           tool.setT("123");
           System.out.println(tool.getT());
       }
   }
   
   // 输出：123
   

2. 在方法上定义泛型

   在方法上定义泛型相当于：可以传递任意类型的参数，在调用方法时明确该数据类型

   public <T> void show(T t){// 泛型定义一般写在修饰符后面，返回值类型前面
       System.out.println(t);
   }
   

3. 在接口上定义泛型

   • 方法1：

     public interface Say<T> {
         //声明了一个带有泛型类型的方法
      T printT(T t);
     }
     

 



### 4、泛型通配符

1. **`<?>`**：任意类型
2. **`<? extends E>`**：向下限定，E及其子类
3. **`<? super E>`**：向上限定，E及其父类