Java编译错误：无法推断类型变量——通配符与泛型对比

背景代码与编译错误 #

先看实现的工具类ValidatorUtils，其中的validateAll方法用于批量验证集合元素：

@NoArgsConstructor(access = AccessLevel.PRIVATE)
public class ValidatorUtils {

    private static final Validator VALIDATOR = Validation.buildDefaultValidatorFactory().getValidator();
    
    /**
     * 验证集合中所有元素，若存在无效元素则抛出包含所有违规信息的ConstraintViolationException
     */
    public static <TO_VALIDATE> void validateAll(Collection<TO_VALIDATE> collectionToValidate) {
        Set<ConstraintViolation<TO_VALIDATE>> allViolations = new HashSet<>();
        for (TO_VALIDATE toValidate : collectionToValidate) {
            Set<ConstraintViolation<TO_VALIDATE>> violations = VALIDATOR.validate(toValidate);
            allViolations.addAll(violations);
        }
        if (!allViolations.isEmpty()) {
            throw new ConstraintViolationException(allViolations);
        }
    }
}

最初定义的CollectionValidator接口使用通配符声明集合类型：

public interface CollectionValidator<REQUEST extends Collection<?>> {

    public default void validate(REQUEST request) {
        ValidatorUtils.validateAll(request);
    }
}

编译时触发错误：

[ERROR] Compilation failure
[ERROR] CollectionValidator.java:[11,31] method validateAll in class ValidatorUtils cannot be applied to given types;
[ERROR] required: java.util.Collection<TO_VALIDATE>
[ERROR] found: REQUEST
[ERROR] reason: cannot infer type-variable(s) TO_VALIDATE
[ERROR]         (argument mismatch; REQUEST cannot be converted to java.util.Collection<TO_VALIDATE>)

通过添加明确的泛型参数解决了问题：

public interface CollectionValidator<TYPE_TO_VALIDATE, REQUEST extends Collection<TYPE_TO_VALIDATE>> extends Validator<REQUEST> {

    @Override
    public default void validate(REQUEST request) {
        ValidatorUtils.validateAll(request);
    }
}

核心原因：通配符的不确定性与泛型类型推断限制 #

编译器报错的本质是无法为validateAll的泛型参数TO_VALIDATE推断出确定的类型，具体来说：

1. validateAll的类型要求：这个方法需要的是Collection<TO_VALIDATE>——即元素类型为确定单一类型的集合。因为内部要调用VALIDATOR.validate(toValidate)，而Jakarta Validation的validate方法需要明确的元素类型来匹配对应的校验约束。
2. 通配符?的模糊性：Collection<?>表示元素类型为未知类型的集合，编译器无法确定这个集合里的元素是统一的某一种类型（哪怕实际运行时集合元素是同类型，编译期通配符也会抹除这个信息）。当你把REQUEST（即Collection<?>的子类）传给validateAll时，编译器找不到一个具体的TO_VALIDATE来匹配?，因为?可以代表任何类型，甚至理论上集合里可能混合多种类型（Java集合的编译时类型安全不允许，但通配符让编译器无法确认这一点）。
3. 明确泛型参数的作用：当你添加TYPE_TO_VALIDATE并声明REQUEST extends Collection<TYPE_TO_VALIDATE>时，REQUEST的元素类型被明确为TYPE_TO_VALIDATE，编译器可以直接将validateAll的TO_VALIDATE推断为TYPE_TO_VALIDATE，此时参数类型完全匹配，编译通过。

简单来说：Java泛型的类型推断需要明确的类型边界，通配符带来的不确定性打破了这个要求，导致编译器无法保证validateAll内部操作的类型安全性。

内容的提问来源于stack exchange，提问作者Paul Marcelin Bejan