12、Java泛型的安全应用与类型特化

Java泛型的安全应用与类型特化

1. 利用检查集合增强安全性

在Java编程中，泛型类型提供的保证仅在没有未检查警告的情况下才有效。这意味着泛型类型在确保他人编写的代码的安全性方面可能无用，因为我们无法知道这些代码在编译时是否产生了未检查警告。

例如，我们有一个定义订单的类 Order ，以及一个定义经过身份验证的订单的子类 AuthenticatedOrder ：

class Order { ... }
class AuthenticatedOrder extends Order { ... }

同时，有两个接口分别指定订单的供应商和处理器：

interface OrderSupplier {
    public void addOrders(List<AuthenticatedOrder> orders);
}
interface OrderProcessor {
    public void processOrders(List<? extends Order> orders);
}

有一个简单的代理类 NaiveBroker ，它尝试确保只有经过身份验证的订单从供应商传递到处理器：

class NaiveBroker {
    public void connect(Orde