Java泛型方法传参报错：如何正确传递Optional类型参数？

你的代码问题根源在于Java泛型的类型擦除机制：运行时不存在Optional<Integer>这种带泛型参数的具体类型，所有Optional的泛型变体共享同一个Optional.class对象。直接传递Optional.class时，编译器会推断泛型方法g的类型参数T为原始类型Optional，但变量x的类型是Optional<Optional<Integer>>，要求T必须是Optional<Integer>，因此出现类型不兼容错误。而Optional<Integer>.class本身就是非法语法，因为编译器不允许直接获取带泛型参数的Class对象。

你可以通过以下两种方式解决这个问题：

1. 显式指定泛型方法的类型参数 #

直接告诉编译器g方法的T是Optional<Integer>，此时传递Optional.class即可，编译器会接受这个匹配（虽然会产生未检查转换警告）：

private void f() {
    Optional<Optional<Integer>> x;
    // 显式指定泛型类型参数
    x = this.<Optional<Integer>>g(Optional.class);
}

如果想消除警告，可以在方法上添加@SuppressWarnings("unchecked")注解：

@SuppressWarnings("unchecked")
private void f() {
    Optional<Optional<Integer>> x;
    x = this.<Optional<Integer>>g(Optional.class);
}

2. 强制转换Class对象 #

将Optional.class强制转换为Class<Optional<Integer>>，同样能让编译器通过编译（也会产生未检查转换警告）：

private void f() {
    Optional<Optional<Integer>> x;
    x = g((Class<Optional<Integer>>)(Class<?>)Optional.class);
}

原理说明 #

这两种方法本质都是利用Java泛型擦除的特性：运行时Optional<Integer>和原始Optional的Class对象完全相同，所以这种转换在运行时是安全的，只是编译器无法在编译期验证类型安全性，因此会给出警告。

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