• Java泛型


    一、泛型概念

    泛型是一种类型的参数化,也就是说所操作的数据类型被指定为一个参数。一般运用在集合类中比较多,就是一个集合在没有泛型规定的时候,他是可以放置任何类型的,如果规定好了泛型就只能放置该类了。他为了解决这样一个问题,就是在没有类型规定的前提下,这个集合类可以防止任何类型,这样在编译期他是没问题的,但是在运行期他可能报错,这样就不符合提早暴露问题的原则。

    泛型提供了编译时类型安全检测机制,该机制允许程序员在编译时检测到非法的类型。

    二、泛型原理

    在编译的时候进行泛型擦除,在运行时不会有类型化参数。

    使用泛型时指定的类型只在编译期生效,在编译后会将所有的类型参数擦除到它的第一个边界,未指定边界的情况下擦除为 Object

    三、泛型的语法和示例

    泛型可以用来修饰方法、类、接口;

    • 泛型方法

    可以单独为方法声明泛型,而这个类不必是泛型类。定义泛型方法,只需要将泛型参数列表置于返回值之前。

    泛型方法的模板:

    /**
     * 泛型方法的基本介绍
     * @param tClass 传入的泛型实参
     * @return T 返回值为T类型
     * 说明:
     *     1)public 与 返回值中间非常重要,可以理解为声明此方法为泛型方法。
     *     2)只有声明了的方法才是泛型方法,泛型类中的使用了泛型的成员方法并不是泛型方法。
     *     3)表明该方法将使用泛型类型T,此时才可以在方法中使用泛型类型T。
     *     4)与泛型类的定义一样,此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型。
     */
    public  T genericMethod(Class tClass)throws InstantiationException ,
      IllegalAccessException{
            T instance = tClass.newInstance();
            return instance;
    }
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14

    泛型方法的代码示例:

    public class GenericMethod {
        public   T getParam(T parameter) {
            System.out.println("parameter = " + parameter);
            return parameter;
        }
    
        public static void main(String[] args) {
            GenericMethod generic = new GenericMethod();
            generic.getParam("aaa");
        }
    }
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10

    静态方法也可以使用泛型,但是需要注意的是泛型方法中无法访问泛型类中泛型,其语法为:

    public  T getParam(T parameter) {
        System.out.println("parameter = " + parameter);
        return parameter;
    }
    • 1
    • 2
    • 3
    • 泛型类

    在类名之后使用尖括号声明类型参数,声明的类型参数可以像普通类型一样用在类型声明处使用,到使用时再决定其具体类型,然后编译器会帮我们处理一些类型类型转换的细节。

     public class GenericClass {
       T t;
     }
    • 1
    • 2

    泛型类示例:

    public class GenericClass {
        public T value;
    
        public GenericClass(T value) {
            this.value = value;
        }
    
        public T getValue() {
            return value;
        }
    
        public void setValue(T value) {
            this.value = value;
        }
    
        public static void main(String[] args) {
            GenericClass c = new GenericClass("aaa");
            String value = c.getValue();
            System.out.println(value);
    
            GenericClass c1 = new GenericClass(111);
            Integer value1 = c1.getValue();
            System.out.println(value1);
        }
    }
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24

    另外,可以通过 extends 显示的声明泛型类中类型参数的上界,若没有声明那么上界就是 Object。声明类上界后,在使用该泛型类时指定的类型只能为上界或其子类。

    public class GenericClass2 {
        T value;
    
        public GenericClass2(T value) {
            this.value = value;
        }
    
        public T getValue() {
            return value;
        }
    
        public void setValue(T value) {
            this.value = value;
        }
    
        public static void main(String[] args) {
    
            GenericClass2 g = new GenericClass2(111);
    
            System.out.println("g = " + g.getValue());
        }
    }
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 泛型接口

    接口也可以声明为泛型,声明方式同泛型类一样。

    泛型接口语法模板:

    public interface IGenericTest {
        T getValue();
    }
    • 1
    • 2

    泛型接口示例:

    public class IGenericTestImpl implements IGenericTest {
        @Override
        public String getValue() {
            return "aaa";
        }
    
    
        public static void main(String[] args) {
            IGenericTestImpl impl = new IGenericTestImpl();
            String value = impl.getValue();
            System.out.println("value = " + value);
        }
    }
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12

    四、泛型的通配符

    在使用泛型的时候,我们还可以为传入的泛型参数进行上下边界的限制,如:类型参数只准传入某种类型的父类或某种类型的子类。

    表示泛型的上限,为泛型添加上边界,即传入的类型实参必须是指定类型或其子类型。 使用了 声明的实例变量只能调用没有参数的方法,即只能读取。 ```java GenericClass integerGenericClass = new GenericClass<>(111); Integer value = integerGenericClass.getValue(); System.out.println("value = " + integerGenericClass.value); ``` 表示泛型的下限,为泛型添加下边界,即传入的类型实参必须是指定类型或其父类型 使用了 声明的实例变量必须调用有参数的方法,即只能写入。 ```java GenericClass integerGenericClass = new GenericClass<>(111); integerGenericClass.setValue(222); System.out.println("value = " + integerGenericClass.value); ```

    表示只能传入一种确定类型。

    五、常见问题

    静态的属性、静态方法、和静态内部类是无法使用类的泛型参数的。如果要使用static方法具有泛型能力,可以使用泛型方法。

    public class Calculate {
        // 静态方法时无法使用T的,编译时就会报错
        public static T add(T a, T b) {
            T c = a + b;
        }
    }
    • 1
    • 2
    • 3
    • 4
    • 5

    参考资料

    1. Java 泛型最全指南:https://juejin.cn/post/6943770419820396580#heading-13
    2. Java 泛型:https://www.runoob.com/java/java-generics.html
    3. java 泛型详解-绝对是对泛型方法讲解最详细的,没有之一:https://www.cnblogs.com/coprince/p/8603492.html
    4. Java泛型详解——绝对是对泛型方法讲解最详细的,没有之一!:https://cloud.tencent.com/developer/article/1172844

      本文由博客一文多发平台 OpenWrite 发布!

  • 相关阅读:
    Nodejs -- Express 路由原理及设置模块化路由
    【DRAM存储器七】SDRAM介绍-part1
    offsetof宏的模拟实现
    如何写一个中间件的springboot的starter?
    谁能拒绝一个会动的皮卡丘挂件
    有序单链表的插入删除操作
    接口和抽象类/方法学习 demo
    公司产品太多了,怎么实现一次登录产品互通?
    Vue3+typescript项目使用script-setup写法时,模版中的变量和方法编辑器检测都为Unresolved variable或者Element is not exported,如何解决
    14.8 Socket 一收一发通信
  • 原文地址:https://blog.csdn.net/ynkimage/article/details/132724623