`class <T extends A> { }` 和使用 A 的 `class { }` 之间的实际区别是什么？

Question

我认为，在大多数情况下，我了解有界类型，以及例如List<? extends MyClass>、List<? super MyClass>和之间的区别List<MyClass>。但是当涉及到类和泛型方法的实现时，我不明白会<T extends MyClass>带来什么。

取自Oracle 中的文档：

[...] 对数字进行操作的方法可能只想接受 Number 或其子类的实例。这就是有界类型参数的用途。

public class Box<T> {

    private T t;          

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

    public T get() {
        return t;
    }

    public <U extends Number> void inspect(U u){
        System.out.println("T: " + t.getClass().getName());
        System.out.println("U: " + u.getClass().getName());
    }

    public static void main(String[] args) {
        Box<Integer> integerBox = new Box<Integer>();
        integerBox.set(new Integer(10));
        integerBox.inspect("some text"); // error: this is still String!
    }
}

这对我来说没有多大意义。如果我从方法中删除了泛型并将参数类型设为Number......

    public void inspect(Number u){
        System.out.println("T: " + t.getClass().getName());
        System.out.println("Second: " + u.getClass().getName());
    }

它仍然可以正常工作。我看不出我在哪里获得或失去了类型安全，尽管这可能不是重点？

同样的事情：

class A { void foo() { } }

class B extends A { void bar() { } }

class Generic<T extends B> {
    void baz(T obj) {
        obj.foo();
        obj.bar();
    }
}

// vs

class NonGeneric {
    void baz(B obj) {
        obj.foo();
        obj.bar();
    }
}

这些有什么区别？

Answer 1

在你的例子中没有实际的区别。

主要的实际区别是当您使用泛型返回类型时。

但即使没有，Generic<T extends B>和NonGeneric也不一样，因为如果我们有class C extends B，那么Generic<C>与 不一样NonGeneric，因为NonGeneric会允许非 C 对象调用baz，这是错误的。