java通配符随笔

最新推荐文章于 2022-09-02 14:48:32 发布

原创最新推荐文章于 2022-09-02 14:48:32 发布 · 161 阅读

CC 4.0 BY-SA版权

本文深入探讨Java泛型中的通配符使用，解释了原生类型、确切泛型参数、子类型通配符及超类型通配符的概念与应用场景。通过具体示例，阐述了不同类型泛型方法的限制与特性。

public class TongPeiFu {
    static void rawArgs(Holder holder,Object arg){}
    static void unboundedArg(Holder <?> holder ,Object arg){}
    static <T> T exact1(Holder<T> holder){
        return null;
    };
    static <T> T exact2(Holder<T> holder,T arg){
        return arg;
    };
    static <T> T wildSubtype(Holder<? extends  T> holder,T arg){
        return arg;
    };
    static <T> T wildSuptype(Holder<? super   T> holder,T arg){
        return arg;
    };
}


public class Holder<T> {
    T t;

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

    public T getT() {
        return t;
    }
}

最近在看泛型，刚好到了通配符，记录下。

在上面代码rawArgs（）中，编译器知道holder是一个泛型类型，因此即使在这里被表示成原生类型，编译器知道向set传递object是不安全的。（不能set object类型，应该持有具有某种具体类型的同构集合），由于他是原生的，你可以将任何类型的对象传递给set，二这个对象会被向上转型为object（泛型的擦除）。因此无论何时，只要使用原生类型，都会放弃编译期检查。对get方法调用说明相同的问题：没有任何T类型对象，因此结果只能是object。

Holder与Holder<?>是大致相同的事物。但现实说明它们是不同的，因为原生的Holder将持有任何类型的组合，二Holder<?>将持有具有某种具体类型的同构集合，因此不能只是向其中传递object。

exact1和exact2中，使用了确切的泛型参数---无通配符。这俩方法具有不同的限制，因为它必须有额外的参数。

在wildsubtype中，在holder类型上的限制被放松为包括持有任何扩展自T的对象的holder。这还是意味着如果T是fruit，那么holder可以是holder<apple>，这是合法的。为了防止将orange放置到holder<apple>中，对set的调用都是不允许的。但你至少知道是fruit类型，因此get可以返回fruit。

wildsupertype展示了超类型通配符，这个方法与wildsubtype相反的行为：holder可以持有任何T类型的容器，因此set可以接受t，但是尝试调用get是没用的。因为有holder持有的类型可以说任何超类，因此唯一安全的类型就是object。