Java函数的泛型

Java泛型是Java SE 5引入的一种新特性，它的出现本质上是Java编程语言对类型系统的扩展。Java泛型允许程序员编写参数化类和参数化方法，以使数据类型的规范化，提高代码的可重用性、健壮性和安全性。

Java泛型的基本语法

在Java中，代码中的泛型用尖括号<>标识，放在类名、接口名和方法名后面。例如，使用泛型声明一个类：

public class Box<T> {
    private T t;

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

    public T get() {
        return t;
    }
}

在这个例子中，Box是一个参数化类，它接受一个类型参数T。该类型参数在类内部使用，用于指定属性和方法的类型。在实例化Box对象时，需要提供一个具体的类型参数。例如：

Box<Integer> integerBox = new Box<Integer>();

这样就创建了一个Box类型的对象，这个对象的类型参数T被设置为Integer。

Java泛型的协变与逆变

Java泛型的协变和逆变分别是指子类对象可以赋值给父类引用（协变）和父类对象可以赋值给子类引用（逆变）。

Java中的泛型是不支持逆变的，只支持协变。因此，如果要实现逆变，需要使泛型类型实现逆变的接口或继承逆变的类。

Java泛型函数的泛型

Java泛型函数是指具有泛型参数类型的函数。它允许程序员在方法级别上使用泛型，从而使方法的参数类型更加灵活，也允许程序员使用不同的数据类型。

Java泛型函数的定义格式如下：

public <T> void methodName(T t) {
    ...
}

在这个例子中，<T>表示T是一个泛型参数，方法的返回值是void类型。参数t是一个类型为T的变量，它的类型是由方法调用时提供的实际类型决定的。

使用泛型函数时，一般不需要显式指定参数类型，Java编译器会自动推断出参数类型。例如：

methodName(123);
methodName("abc");

在这里， 个方法调用时T被自动推断为Integer类型，第二个方法调用时T被自动推断为String类型。

Java泛型函数的限定

Java泛型函数支持类型参数的限定，这意味着可以对泛型类型参数设置特定的限制。例如：

public <T extends Comparable<T>> void methodName(T t) {
    ...
}

在这个例子中，类型参数T必须是实现了Comparable接口的类型。实际上，Java中使用extends关键字来表示类型参数的限定，它的作用是让类型参数T必须是指定类型的子类或者实现了指定类型的接口。

Java泛型函数的通配符

Java泛型函数使用通配符（也称为通配符类型）来表示未知类型。通配符使用问号（？）表示。例如：

public void methodName(Box<?> box) {
    ...
}

在这个例子中，Box<?>表示Box类的实例，但是其参数化类型是未知的。

使用通配符时，可以实现泛型方法的参数灵活性。例如，可以将类型Box<Integer>、Box<String>等作为参数传递给Box<?>类型的参数，如下所示：

Box<Integer> integerBox = new Box<Integer>();
methodName(integerBox);

Box<String> stringBox = new Box<String>();
methodName(stringBox);

在这里，methodName方法的参数box可以是Box<Integer>类型或Box<String>类型，因为它们都是Box<?>类型的实例。

总结

Java泛型是Java编程语言的一种功能非常强大的特性，它提供了很多有用的工具，让程序员可以更加灵活地编写代码。Java泛型函数是Java泛型的一个重要组成部分，它使得方法的参数类型更加灵活，也使得程序员可以使用不同的数据类型。使用Java泛型函数时，需要注意类型参数的限定和通配符类型的使用。