Java返回类型逆变：如何实现无需额外转换的Optional<? super V> get方法？

结论：可以实现，核心是用泛型方法替代通配符返回类型，下面详细拆解原因和修正方案。

为什么原代码的getFoo3编译失败？ #

Java中的Optional是不变类型——简单说就是Optional<String>和Optional<Object>之间没有继承关系，哪怕String是Object的子类。你写的getContravariant返回Optional<? super V>，当V为String时，编译器会把这个通配符捕获为一个具体的未知类型CAP#1（它是String的某类超类型，但不确定是CharSequence还是Object）。由于Optional<CAP#1>和Optional<Object>不兼容，直接返回就会触发编译错误。

正确实现方式 #

把getContravariant改成泛型方法，让调用者能根据上下文推导返回的Optional类型参数为任意V的超类型：

import java.util.Map;
import java.util.Optional;

public record MyMap<K, V>(Map<K, V> inner) {
  public Optional<V> getInvariant(K key) {
    return Optional.ofNullable(inner.get(key));
  }

  // 泛型方法：R是V的任意超类型
  public <R super V> Optional<R> getContravariant(K key) {
    // V是R的子类型，可安全向上转型为R
    return Optional.ofNullable(inner.get(key));
  }
}

record MapUser(MyMap<String, String> map) {
  public Optional<Object> getFoo() {
    return map.getInvariant("foo").map(p -> p);
  }

  public Optional<Object> getFoo2() {
    return map.getContravariant("foo").map(p -> p);
  }

  // 现在可正常编译
  public Optional<Object> getFoo3() {
    return map.getContravariant("foo");
  }
}

原理说明 #

泛型方法<R super V> Optional<R>允许编译器根据调用上下文自动推导R的具体类型。比如在getFoo3中，我们需要返回Optional<Object>，编译器会直接推导R=Object，而String作为Object的子类型，能安全转型为Object并封装成Optional<Object>返回，完全不需要额外调用Optional::map做拓宽转换。

你之前尝试的getContravariant2是语法错误，原因是泛型参数约束写错了（应该是R super V而非R super K），修正后就是上面的正确写法。

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