如何将通配符类型Row<?,?>转换为参数化类型Row<R,K>？

首先，咱们来拆解你遇到的编译问题和最后那段代码能运行的原因，再给你一个更简洁的解决方案。

为什么前两种调用会失败？ #

你的核心问题在于Row<?,?>的两个通配符是独立的未知类型，而copyRow要求的参数是R extends Row<R, K>——这是一个带递归约束的泛型类型：R必须是Row的实现，且它的第二个类型参数是K（同时K要满足Key<K>）。

1. copyRow(wr.row)编译失败：
   wr是Wrapper<?,?>，所以wr.row是Row<?,?>。编译器无法确认是否存在某个R和K，使得这个Row<?,?>恰好是Row<R,K>（因为两个?可能是完全不相关的类型，不符合Row的递归约束），所以直接调用会报错。

2. copyRow(upcast(wr.row))编译失败：
   你的无参upcast方法声明了<R extends Row<R, K>, K extends Key<K>> R作为返回值，但传入Row<?,?>时，编译器没有足够的信息来推断出满足R extends Row<R,K>的具体R和K——通配符丢失了类型关联关系，所以无法匹配copyRow的泛型要求。

为什么第三种调用能运行？ #

当你传入wr.clazz（Class<R>，虽然R是通配符）到upcast方法时，触发了Java的通配符捕获机制：编译器会临时推断出一个具体的（未知的）类型变量来代表wr.clazz的类型，同时结合你加的assert row.getClass().equals(clazz)，让编译器“相信”这个Row<?,?>确实是R类型，且R满足R extends Row<R,K>的约束。此时upcast返回的R完全符合copyRow的参数要求，所以编译通过。

不过本质上这还是强制类型转换，你的断言只是运行时的安全检查——但因为框架定义的所有Row实例必然符合递归约束，所以这个转换其实是安全的。

更简洁的解决方案 #

你不需要额外的Class参数，只需要一个利用通配符捕获的泛型工具方法：

// 通配符捕获方法，将Row<?,?>转换为符合约束的Row<R,K>
private static <R extends Row<R, K>, K extends Key<K>> R captureRow(Row<?, ?> row) {
    // 强制转换是安全的：框架中所有Row实例都满足R extends Row<R,K>的约束
    return (R) row;
}

然后在main方法中直接调用：

copyRow(captureRow(wr.row)); // 编译通过

这个方法的原理是：当你传入Row<?,?>时，编译器会自动捕获通配符对应的具体类型，推断出满足R extends Row<R,K>的R和K（因为框架的Row实现必然符合这个约束），从而让copyRow接受这个参数。

总结 #

• Row<?,?>的通配符无法直接匹配带递归约束的Row<R,K>，因为两个?没有关联关系。
• 带Class参数的方式通过提供类型信息触发了通配符捕获，但略显繁琐。
• 通配符捕获的泛型方法是最简洁的方案，且因为框架的类型约束，强制转换是安全的。

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