Java 17泛型方法问题：如何仅允许子类作为泛型参数

我在Java 17环境下实现了一个泛型方法，意图是当参数t的运行时类型是O（或其子类）时，通过传入的Function执行转换并返回非空Optional：

public static <T, O extends T, V> Optional<V> toOption(T t, Function<? super O, ? extends Optional<V>> f, Class<O> cls){
    Optional<O> opt;
    if(cls.isAssignableFrom(t.getClass())){
        opt = Optional.of((O) t);
    } else
        opt = Optional.empty();
    return opt.flatMap(f);
}

但发现存在编译漏洞：下面的非法调用居然能正常编译——传入Integer类型的123，却指定String.class作为O的类型，而Integer和String并无继承关系：

toOption(123, v -> Optional.of(v), String.class);

原因是编译器会将泛型参数T推断为Object（Integer和String的共同父类），此时O extends T（即String extends Object）的约束是成立的，导致非法调用通过编译。

解决方案 #

要阻止这类非法调用，需要强制编译器将T推断为参数t的实际类型（而非向上兼容的父类），同时限制Class<O>必须是T的子类类型。可以通过以下两种方式实现：

方式一：添加编译时类型检查

在方法内部添加一个未使用的变量，强制Class<O>必须是Class<? extends T>，触发编译器的类型检查：

public static <T, O extends T, V> Optional<V> toOption(T t, Function<? super O, ? extends Optional<V>> f, Class<O> cls) {
    // 编译时约束：cls必须是T的子类类型，非法类型会触发编译错误
    @SuppressWarnings("unused")
    Class<? extends T> typeCheck = cls;

    Optional<O> opt = cls.isInstance(t) ? Optional.of(cls.cast(t)) : Optional.empty();
    return opt.flatMap(f);
}

方式二：直接修改参数类型约束

将第三个参数的类型改为Class<? extends T>，并通过泛型约束确保O是T的子类，同时使用cls.cast()替代强制转换，提升类型安全性：

@SuppressWarnings("unchecked")
public static <T, O extends T, V> Optional<V> toOption(T t, Function<? super O, ? extends Optional<V>> f, Class<? extends T> cls) {
    Class<O> oClass = (Class<O>) cls;
    Optional<O> opt = oClass.isInstance(t) ? Optional.of(oClass.cast(t)) : Optional.empty();
    return opt.flatMap(f);
}

修改后，再调用toOption(123, v -> Optional.of(v), String.class)时，编译器会发现String不是Integer的子类，直接抛出编译错误，达到预期的约束效果。

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