Optional.of方法是否会进行类型转换？泛型赋值差异解惑

问题场景 #

以下代码中，直接强制转换Optional<Y>到Optional<X>会触发编译报错：

class Test {
    public static void main(String[] args) {
        Optional<Y> opY = Optional.of( new Y() ) ;
        // 编译报错提示：Optional<Y> 无法转换为 Optional<X>
        Optional<X> opX = (Optional<X>) opY ;
    }
}
class X {}
class Y extends X {}

但下面的代码却能正常运行：

Optional<X> opX = Optional.of( new Y() ) ;

同时需要明确：Optional.of方法是否会执行类型转换？

1. 强制转换报错的原因 #

Java泛型默认是不变型的。简单来说：哪怕Y是X的子类，Optional<Y>和Optional<X>也不属于同一个继承体系，它们是完全独立的两种类型。就像你不能把ArrayList<Y>强转成ArrayList<X>一样，编译器会直接判定这种跨类型的强制转换不合法，抛出编译错误。

2. 直接赋值正常运行的原因 #

看Optional.of的核心方法签名：

public static <T> Optional<T> of(T value)

这是一个泛型静态方法，编译器会根据赋值目标自动推断泛型参数T的类型。当你把返回值赋值给Optional<X>时，编译器会把T推断为X。而new Y()作为X的子类实例，可以自动完成向上转型（Java基础特性），所以of方法实际接收的是X类型的参数，返回的就是Optional<X>，完全匹配赋值类型，自然能正常运行。

3. Optional.of是否执行类型转换？ #

不执行。类型转换是Java编译阶段的自动行为（子类实例向上转型为父类），Optional.of只是接收一个指定类型的参数，把它包装成Optional对象返回，内部没有任何类型转换逻辑。

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