可以調用間接子類/父類的方法。泛型上界 <T extends A> 僅要求 T 是 A 或其**任意層級子類**(直接或間接均可)。
class A { void foo() { System.out.println("A"); } }
class B extends A { void bar() { System.out.println("B"); } }
class C extends B { void baz() { System.out.println("C"); } } // C 是 A 的間接子類
// 上界為 A
void test(List extends A> list) {
for (A a : list) {
a.foo(); // 編譯通過,A 定義的方法
// a.bar(); // 編譯錯誤:靜態類型為 A,不知是否有 bar()
}
}
List cList = new ArrayList<>();
cList.add(new C());
test(cList); // 合法:C 是 A 的子類(間接)
A,只能調用 A 中聲明的方法(含繼承自 Object)。C,若強轉 ((C)a).baz() 可調用子類特有方法(需 instanceof 守衛)。<T super A> 同理要求 T 是 A 或其**任意層級父類**(直到 Object)。可向其中添加 A 及其任意子類實例。