带通配符与不带通配符的泛型变量声明对比及适用场景

interface Shape { }
class Circle implements Shape { }

class ShapeContainer<T extends Shape> {
    T sh;
    public ShapeContainer(T newInstance) {
        sh = newInstance;
    }
    // 省略其他方法
}
class Main {
    public static void main(String[] a) {
        ShapeContainer<Shape> A = new ShapeContainer(new Circle());
        ShapeContainer<? extends Shape> B = new ShapeContainer(new Circle());
    }
}

一、ShapeContainer<Shape> A的优缺点 #

优点 #

• 支持写入操作：可以直接给A.sh赋值任何实现Shape接口的对象（比如new Square()），编译器完全认可这种操作。
• 类型清晰：代码可读性高，其他开发者能直接明确该容器持有的是Shape类型实例，无需额外猜测。
• 方法调用更顺畅：调用容器中依赖泛型T的方法时，无需类型转换，编译器可直接推断出具体类型。

缺点 #

• 灵活性受限：只能接收ShapeContainer<Shape>类型的实例，无法兼容ShapeContainer<Circle>、ShapeContainer<Square>这类子类泛型容器。比如ShapeContainer<Circle> c = new ShapeContainer<>(new Circle());不能赋值给A。
• 无法利用泛型协变：限制了子类泛型实例的复用场景。

二、ShapeContainer<? extends Shape> B的优缺点 #

优点 #

• 兼容性极强：可以接收任何ShapeContainer<T>实例，只要T是Shape的子类（包括Shape本身），完美支持泛型协变。
• 只读场景更安全：如果仅需读取容器内的Shape实例，这种声明能通过编译器限制写入操作（除了null），避免意外的赋值错误。

缺点 #

• 禁止写入操作：编译器无法确定通配符?代表的具体子类，因此不能给B.sh赋值任何Shape子类实例，比如B.sh = new Circle()会直接编译报错。
• 方法调用受限：调用依赖泛型T的方法时，编译器只能推断到Shape类型，若需要子类特有的方法，必须进行类型转换，增加代码复杂度。

三、优先选择的场景 #

优先用ShapeContainer<Shape>的情况 #

• 需要对容器进行写入操作：比如后续要替换容器内的实例为其他Shape子类对象。
• 明确容器的类型范围：希望代码语义清晰，让其他开发者快速理解容器的用途。
• 依赖泛型T的具体类型：容器需要调用的方法返回T类型，且你需要直接使用该类型而无需转换。

优先用ShapeContainer<? extends Shape>的情况 #

• 仅需读取容器数据：不需要修改容器内的实例，只调用Shape接口定义的方法。
• 需要兼容多种子类泛型容器：比如方法参数要接收任意Shape子类的容器，用通配符可避免编写多个重载方法。
• 想表达只读语义：通过编译器限制写入操作，从语法层面避免误修改容器内容。

内容的提问来源于stack exchange，提问作者Bhuvan