[java基础] 什么是泛型、泛型使用场景

什么是泛型

泛型类：具有一个或多个类型变量的类，称为泛型类。
泛型方法：具有一个或多个类型变量的方法，称之为泛型方法。

• 泛型是一种未知的类，将未知的类声明在集合、对象上，泛型默认为Object。
• 使用泛型可以在传参的时候不固定传入什么类型，即可通用类型。
• 使用泛型后，集合或对象上只能放入指定的数据类型，可以保证对象或集合的安全性，减少类型的转换操作。

类型安全：

• 泛型的主要目标是提高Java程序的类型安全
• 编译时期就可以检查出因Java类型不正确导致的ClassCastException异常
• 符合越早出错代价越小原则。
  消除强制类型转换：
• 泛型的一个附带好处是，使用时之恶杰得到目标类型，消除许多强制类型转换。
• 所得即所需，这使得代码更加可读，并且减少了出错机会。
• 由于泛型的实现方式，支持泛型（几乎）不需要 JVM 或类文件更改
• 所有工作都在编译器中完成
• 编译器生成的代码跟不使用泛型（和强制类型转换）时所写的代码几乎一致，只是更能确保类型安全而已

泛型使用场景

泛型类、泛型方法、泛型接口、泛型通配符。
泛型类：
指定类内部成员变量的数据类型。

/**
 * 声明在类上时，写在类名后边
 * @param <E>
 */
class Animal <E> {
    /**
     * 作为属性声明时，必须在类上声明泛型
     */
    E pet;

    /**
     * 作为参数或者返回值时，如果在类上没有声明，必须在访问修饰符和返回值之间
     * @param pet
     */
    public  void setPet(E pet){
        this.pet = pet;
    }

    public E getPet(){
        return pet;
    }

    public <T> void call(T t){
        System.out.println( t.toString() );

    }

}

泛型接口：

/**
 * 作用在接口上，如果实现该接口时指定实现类型
 * @param <T>
 */
public interface Animals<T>{
    void call(T t);
}
/**
 * 拉布拉多犬
 */

/**
 * 使用泛型实现时，实现类必须使用对应的泛型类。
 * 实现类声明泛型跟接口指定泛型可以同时使用。
 *如下代码：
 */
 class LaBuLaDuo<T> implements Animals<String> {

    public void call(String s) {
        System.out.println( s );
    }

}

泛型占位符

/**
 * 小狗狗
 */
 class Dog extends  Animal {
    public String name;
    public Integer age;

}


/**
 * 泛型占位符  ?  的使用
 * 泛型的上限 < ? extends E>  即传入参数必须为E 的子类
 * 泛型的下限 < ? super E>
 */
public class ErHa <E>  {

    //当参数传递时可以设置上下限 比如下面的是  传入类型必须是 Dog 的子类，上限为Dog
    public  void call(Animal< ? extends E> s){
        System.out.println(s.pet);
    }

    //传入类型必须是 Dog 的父类，下限为Dog
    public  void jump(Animal< ? super E> s){
        System.out.println(s.pet);
    }

    // ? 占位符单独使用时，相当于 < ? extends Object >
    public  void smile(Animal<?> s){
        System.out.println(s.pet);
    }


    public static void main(String[] args) {
        new ErHa<Dog>().call(new Dog());
    }
}