Java基础泛型详情

一、泛型

概述：

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

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

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

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

定义格式：

• 1.<类型>：指定一种类型的格式，这里的类型可以看作是形参
• 2.<类型1，类型2....>：指定多种类型的格式，多种类型之间由,隔开，这里的类型可以看作是形参
• 3.将来具体调用时给定的类型可以看作是实参，并且实参的类型只能是引用类型

泛型的优点：

• 1.把运行时期的问题提前到了编译时期，更容易发现并处理
• 2.避免了强制类型转换

二、泛型类

定义格式：

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

范例：public class Gneneric{}

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

当一个类使用泛型后，类中的成员变量就不局限于一种类型了，只要在用的时候声明一下是什么类型的即可

泛型类

public class Generic<T> {
    private T t;
​
    public T getT() {
        return t;
    }
​
    public void setT(T t) {
        this.t = t;
    }
}
​

调用格式：

Generic<String>g=new Generic<String>();
        g.setT("102");

三、泛型方法

格式： 修饰符 <类型>void 方法名(类型 参数){}

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

泛型方法：

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(18);
        g.show(true);
    }
}

四、泛型接口

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

范例：public interface Gneneric{}

实现格式：

泛型接口

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

测试类

public class GenericDemo {
    public static void main(String[] args) {
        GenericImpl<String> g1=new GenericImpl<String>();
        g1.show("张三");
        GenericImpl<Integer>g2=new GenericImpl<Integer>();
        g2.show(12);
        GenericImpl<Boolean>g3=new GenericImpl<Boolean>();
        g3.show(true);
        Generic<Double>g4=new GenericImpl<Double>();
        g4.show(13.15);
​
    }
}
​

五、类型通配符<?>

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

• 1.List<?>:表示元素类型位置的List，它的元素可以匹配任何的类型
• 2.这种带通配符的List仅代表它是各种泛型List的父类，并不能把元素添加到其中

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

• 1.类型通配符的上限：<?extends 类型>
• 2.List<? extends Number>：他表示的类型是Number或者其子类型

同样的我们也可以指定下限

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

六、可变参数

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

格式：修饰符 返回值类型 方法名(数据类型... 变量名){}

范例：public static int sum(int...a){}

注意事项：

• 1.这里的变量是一个数组
• 2.如果一个方法有多个参数，并且包含可变参数，那么可变参数要放在最后

可变参数的使用：

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

public static <T>List<T>asList(T...a):返回由指定数组支持的固定大小的列表

返回的集合不能做增删操作，可以做修改操作

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

public static <E>List<E>of(E...elements):返回包含任意数量元素的不可变列表

返回的集合不能做增删改操作

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

public static <E>Set<E>of(E...elements):返回一个包含任意数量元素的不可变集合

返回的集合不能做增删操作，没有修改方法

再给元素时，不能给重复的元素

到此这篇关于Java基础学习泛型的文章就介绍到这了,更多相关Java 泛型内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！