Java—泛型

最新推荐文章于 2023-08-30 17:53:09 发布

turbo夏日漱石

最新推荐文章于 2023-08-30 17:53:09 发布

阅读量255

点赞数 1

分类专栏： Java 文章标签： java 泛型

本文链接：https://blog.csdn.net/qq_62799214/article/details/126189441

版权

Java 专栏收录该内容

47 篇文章 0 订阅

订阅专栏

1.泛型

1.1泛型概述

泛型:是JDK5中引入的特性，它提供了编译时类型安全检测机制，该机制允许在编译时检测到非法的类型它的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数
一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢?
顾名思义，就是将类型由原来的具体的类型参数化，然后在使用/调用时传入具体的类型

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

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

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

1.2泛型的好处

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

避免了强制类型

1.3泛型类

泛型类的定义格式:
格式:修饰符class类名<类型>{}范例:publicclassGeneric<T>{}
此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型

？表示不确定的 java 类型
T (type) 表示具体的一个java类型
K V (key value)分别代表java键值中的Key Value
E (element) 代表Element

1.4泛型方法

泛型类，是在实例化类的时候指明泛型的具体类型；

泛型方法，是在调用方法的时候指明泛型的具体类型。

1）public 与返回值中间<T>非常重要，可以理解为声明此方法为泛型方法。
2）只有声明了<T>的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法。
3）<T>表明该方法将使用泛型类型T，此时才可以在方法中使用泛型类型T。
4）与泛型类的定义一样，此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型。

/*
      这是泛型方法。
     首先在public与返回值之间的<T>必不可少，这表明这是一个泛型方法，并且声明了一个泛型T
     这个T可以出现在这个泛型方法的任意位置.
     泛型的数量也可以为任意多个 
*/
    如：public <T,K> K showKeyName(Generic<T> container){
           ...
        }


public class GenericTest {
    //这个类是个泛型类，在上面已经介绍过
    //虽然在方法中使用了泛型，但是这并不是一个泛型方法
   public class Generic<T>{     
        private T key;

        public Generic(T key) {
            this.key = key;
        }

1.5泛型接口

泛型接口定义格式：

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

范例：publiic interface Generic<T>{}

泛型接口定义：

package zyy02;

public interface Generic<T> {
    void show(T t);
}

实现类：

package zyy02;

public class GenericImpl<T> implements Generic<T>{
    @Override
    public void show(T t) {
        System.out.println(t);
    }
}

测试：

package zyy02;

public class Demo {
    public static void main(String[] args) {
        Generic<String> g=new GenericImpl<>();
        g.show("zyy");
        Generic<Integer> g1=new GenericImpl<>();
        g1.show(14);
    }
}

1.6类型通配符

为了表示各种泛型List的父类，可以使用类型通配符
        类型通配符:<?>
        List<?>:表示元素类型未知的List，它的元素可以匹配任何的类型
        这种带通配符的List仅表示它是各种泛型List的父类，并不能把元素添加到其中

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

除了可以指定类型通配符的上限，我们也可以指定类型通配符的下限
        类型通配符下限:<?super类型>
        List<?super Number>:它表示的类型是Number或者其父类型

package zyy02;

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

public class Demo {
    public static void main(String[] args) {
        //类型通配符
        List<?> l1=new ArrayList<Object>();
        List<?> l2=new ArrayList<Number>();
        List<?> l3=new ArrayList<Integer>();
        System.out.println("***************");
        //上限
        List<?extends Number > l4=new ArrayList<Number>();
        List<?extends Number> l5=new ArrayList<Integer>();
        //List<?extends Number> l6=new ArrayList<Object>();
        //下限
        List<?super Number > l7=new ArrayList<Object>();
        List<?super Number > l8=new ArrayList<Number>();
        //List<?super Number > l9=new ArrayList<Integer>();
    }
}

1.7可变参数

可变参数又称参数个数可变，用作方法的形参出现，那么方法参数个数就是可变的了
        格式:修饰符返回值类型方法名(数据类型….变量名){}

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

可变参数注意事项：

        这里的变量其实是一个数组

        如果一个人方法有多个参数，包含可变参数，可变参数要放在最后

package zyy02;


public class Demo {
    public static void main(String[] args) {
        System.out.println(sum(1,2,4));
        System.out.println(sum(8,2,8));
    }
    public static int sum(int... a){
        int sum=0;
        for(int i:a){
            sum+=i;
        }
        return sum;
    }
}

1.8可变参数的使用

Arrays工具类中有一个静态方法:
        public static<T> List<T>asList(T…a):返回由指定数组支持的固定大小的列表

List接口中有一个静态方法:
        publicstatic<E>List<E>of(E…elements):返回包含任意数量元素的不可变列表

Set接口中有一个静态方法:
        public static <E> Set<E>ofE.…elements):一个包含任意数量元素的不可变集合