Java的类型参数

类型参数的定义和使用
类型参数是Java泛型编程的核心概念。泛型是一种编程技术，允许程序员在类、接口或方法中定义一组参数化的类型，这些类型在实际使用时才确定。这提供了代码的重用性和类型安全性。
类型参数在类、接口或方法的声明中定义，通常使用单个大写字母表示。例如，我们可以定义一个泛型类Box<T>，其中T是一个类型参数：
java
public class Box<T> {
    private T t;

    public void set(T t) {
        this.t = t;
    }

    public T get() {
        return t;
    }
}

在这个例子中，T是一个类型参数，代表某种未知的类型。在创建Box对象时，我们可以为T指定具体的类型：
java
Box<Integer> integerBox = new Box<>();
integerBox.set(new Integer(10));
Integer someInteger = integerBox.get();

在这个例子中，我们创建了一个Box<Integer>对象，这意味着T的类型是Integer。因此，set方法接受一个Integer对象，get方法返回一个Integer对象。
类型参数提供了一种灵活的方式来操作多种数据类型，同时保持类型安全性和重用性。通过使用类型参数，我们可以编写出更加通用和可重用的代码，同时避免了类型转换的麻烦和运行时类型错误的风险。

常见的类型参数
在Java泛型编程中，有一些常见的类型参数约定：
E - 元素，常用于集合（如List<E>, Set<E>等）
K - 键，常用于Map（如Map<K, V>）
V - 值，常用于Map（如Map<K, V>）
N - 数字，常用于数值型的集合、列表、向量等
T - 类型，常用于类和方法
S,U,V等 - 第二、第三和第四类型，常用于多个参数的情况
这些约定并不是强制的，但是遵循这些约定可以使代码更易于理解。
例如，我们可以定义一个泛型类Pair<T, U>，其中T和U是类型参数：
java
public class Pair<T, U> {
    private T first;
    private U second;

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

    public T getFirst() {
        return first;
    }

    public U getSecond() {
        return second;
    }
}

在这个例子中，Pair类有两个类型参数T和U，代表一对值的类型。我们可以创建一个Pair<Integer, String>对象，表示一个包含整数和字符串的对：
java
Pair<Integer, String> pair = new Pair<>(1, "apple");
Integer number = pair.getFirst();  // 1
String fruit = pair.getSecond();  // "apple"

这个例子展示了如何使用多个类型参数来创建更灵活的泛型类。

类型参数的限制和边界
虽然类型参数可以代表任何类型，但有一些限制：
不能用基本类型实例化类型参数：类型参数必须由类类型实例化。例如，List<int>是非法的，应该使用包装类Integer，如List<Integer>。
运行时类型查询只适用于原始类型：由于类型擦除，instanceof操作符不能用于泛型类型参数。例如，如果box是一个Box<Integer>对象，那么box instanceof Box<Integer>是非法的。
不能创建参数化类型的数组：例如，new List<Integer>是非法的。这是因为数组在Java中是协变的，而泛型则是不变的，这可能导致类型不安全。
类型参数不能被实例化：因为在运行时，类型参数的具体类型是未知的，所以不能使用new T()这样的语句。如果需要实例化类型参数，可以通过提供工厂对象或使用反射API。
此外，可以为类型参数设置边界，以限制可以用于实例化类型参数的类型。例如，以下代码定义了一个泛型类Box<T>，其中T必须实现Comparable<T>接口：
java
public class Box<T extends Comparable<T>> {
    // ...
}

这意味着，只有实现了Comparable<T>接口的类型才能用于实例化Box<T>。这样可以确保Box内部的元素可以进行比较。
类型参数的限制和边界是Java泛型系统的重要组成部分，它们确保了类型安全性，同时提供了足够的灵活性来处理各种复杂的编程场景。