Java泛型學習筆記 - (四)有界類型參數

1. 當我們希望對泛型的類型參數的類型進行限制的時候(好拗口), 我們就應該使用有界類型參數(Bounded Type Parameters). 有界類型參數使用extends關鍵字后面接上邊界類型來表示, 注意: 這里雖然用的是extends關鍵字, 卻不僅限於繼承了父類E的子類, 也可以代指顯現了接口E的類. 仍以Box類為例:

public class Box<T> {

    private T obj;
    
    public Box() {}

    public T getObj() {
        return obj;
    }

    public void setObj(T obj) {
        this.obj = obj;
    }

    public Box(T obj) {
        super();
        this.obj = obj;
    }

    public <Q extends Number> void inspect(Q q) {
        System.out.println(obj.getClass().getName());
        System.out.println(q.getClass().getName());
    }
}

我加入了public <Q extends Number> void inspect(Q q){...}方法, 該方法的泛型只能是Number的子類.

Box<String> b = new Box<>();
b.setObj("Hello");
b.inspect(12);
b.inspect(1.5);
// b.inspect(true); // 編譯出錯

2. 界類型參數除了規定泛型的范圍之外, 還允許我們調用邊界類型所擁有的方法(因為所有類型參數都是邊界類型或邊界類型的子類), 如:

public class NatureNumber<T extends Integer> {

    private T t;
    
    public Box() {}

    public NatureNumber(T t) {
        this.t = t;
    }

    public boolean isEven() {
        return t.intValue() % 2 == 0;
    }
    
    // ...
}

3. 多邊界:

上面的例子展示的是單邊界的泛型, 我們還可以使用多邊界泛型:
　　<T extends A & B & C>
但是多邊界使用時其實只能繼承一個父類, 並且要將他寫在第一個位置上. 其他的都是其實現的接口, 如:

class A { /* ... */ }
interface B { /* ... */ }
interface C { /* ... */ }
class D <T extends A & B & C> { /* ... */ }

如果A不在第一個位置上就會編譯出錯.