泛型Java类中的泛型类型推断

在Java中，泛型类型推断允许编译器根据上下文自动推断出泛型类型。这可以使代码更简洁，减少冗余的类型声明。泛型类型推断主要依赖于类型边界和限定符来实现。

1. 类型边界：类型边界是一个约束，它限制了泛型类型参数可以接受的实际类型。类型边界使用extends关键字定义。

public class GenericBox<T extends Number> {
    private T value;

    public void setValue(T value) {
        this.value = value;
    }

    public T getValue() {
        return value;
    }
}

在这个例子中，GenericBox类接受一个类型参数T，它必须是Number类或其子类。这样，GenericBox可以用于任何Number类型，如Integer、Double等，但不能用于非Number类型。

2. 限定符：限定符是用于进一步限制泛型类型参数的约束。Java中的限定符有extends、super和?。

• extends：用于限制泛型类型参数必须是某个类的子类或实现某个接口。
• super：用于限制泛型类型参数必须是某个类的父类或实现某个接口。
• ?：表示通配符，用于表示未知类型。通配符可以用extends和super关键字进行约束。

下面是一些使用限定符的示例：

// 使用extends限定符限制泛型类型参数必须是Number或其子类
public class NumericRange<T extends Number> {
    private T start;
    private T end;

    public NumericRange(T start, T end) {
        this.start = start;
        this.end = end;
    }

    // ...
}

// 使用super限定符限制泛型类型参数必须是Number或其父类
public class ReverseNumericRange<T super Number> {
    private T start;
    private T end;

    public ReverseNumericRange(T start, T end) {
        this.start = start;
        this.end = end;
    }

    // ...
}

// 使用通配符表示未知类型
public class GenericList<T> {
    private List<T> items;

    public void add(T item) {
        items.add(item);
    }

    public T get(int index) {
        return items.get(index);
    }
}

在这些示例中，我们使用了extends和super限定符来限制泛型类型参数T，使其满足特定的类型要求。这使得代码更简洁，同时保持了类型安全。