【JavaSE系列-基础篇6】——有界类型参数

目录

有界类型参数

可能有时候要限制在参数化类型中可以用作类型参数的类型。举个例子来说,一个对数字进行操作的方法可能只希望接受Number或其子类的实例。这是有界类型参数。

声明一个有界类型参数,列出类型参数的名称,并且跟随extends关键字,后面是它的上限,例如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!
    }
}

通过修改我们的泛型方法来包含这个有界类型的参数,将编译失败,因为我们调用检查仍然包含一个String:

Box.java:21: <U>inspect(U) in Box<java.lang.Integer> cannot
  be applied to (java.lang.String)
                        integerBox.inspect("10");
                                  ^
1 error

除了限制可用于实例化通用类型的类型之外,有界类型参数还允许您调用边界中定义的方法:

public class NaturalNumber<T extends Integer> {

    private T n;

    public NaturalNumber(T n)  { this.n = n; }

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

    // ...
}

isEven方法通过n调用Integer类中定义的intValue方法。

多重边界

上述示例说明了使用具有单个绑定的类型参数,但类型参数可以具有多个边界:

<T extends B1 & B2 & B3>

具有多个边界的类型变量是绑定中列出的所有类型的子类型。如果一个边界是一个类,则必须首先指定。例如:

Class A { /* ... */ }
interface B { /* ... */ }
interface C { /* ... */ }

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

如果未先指定绑定A,则会收到编译时错误:

class D <T extends B & A & C> { /* ... */ }  // compile-time error
评论 16
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值