java泛型

June 20, 2022

Java 泛型的实现是 type erasure（类型擦拭），也就是运行时做 cast （转型）

Java 常用泛型参数有

E - Element （集合元素）
T - Type（类）
K - Key（键）
V - Value（值）
N - Number（数值类型）
? - 表示不确定的 java 类型

java

public class Main {
    public static void main(String[] args) {
        System.out.println(Pair.makePair("Hello", "World"));
    }
}

class Pair<T, U> {
    public T first;
    public U second;

    public Pair(T first, U second) {
        this.first = first;
        this.second = second;
    }

    public static <T, U> Pair<T, U> makePair(T first, U second) {
        return new Pair<T, U>(first, second);
    }

    @Override
    public String toString() {
        return "(" + first + ", " + second + ")";
    }
}

擦拭法意味着实际只存在 Pair 这一个类，而不存在 Pair<String, String>
注意这与 C++ 模板不同

java

var cls1 = Pair.class;
// 错误： var cls2 = Pair<String, String>.class;

可以看作是泛型参数都视作 Object，用实参替换时编译器自动做了安全的转型

java

var pair = Pair.makePair("Hello", "World");

var what = pair.second;
//  隐式转型
var what = (String) pair.second;

我们发现，泛型参数只能是对象，不能为原始类型
此时 Java 也不会为原始类型做自动装箱操作，这可能是出于对兼容性的考虑
无法实例化泛型参数new T()，因为参数将变为 Object，结果变为实例化 Object 对象

通配符

Producer Extends, Consumer Super
extends 只读（以父类形式读取，仅能写入 null），super 只写（以子类形式写入，仅能以 Object 形式获取）

java

<T>
// 表示指定类型 T

<?>
// 表示任意类型，是所有 <T> 类型的父类

<? extends Number>
// 表示 Number 及其子类

<? super Integer>
// 表示 Integer 及其父类

←Back to home