Scala中多态函数为何无法接受通配符（存在类型）参数？

我们先明确两个核心定义的类型约束差异：

• funPoly[I, E, O]的入参要求是List[OuterCaseClass[I, E, O]]，这里的I/E/O是作用于整个List的统一泛型参数，要求列表中所有元素的三个类型参数都必须和这三个泛型完全一致。
• outersFromInnersEx的类型是List[OuterCaseClass[_, _, _]]，这里的三个下划线是Scala的存在量化类型，等价于List[OuterCaseClass[?I, ?E, ?O] forSome { type ?I; type ?E; type ?O }]，意思是列表中每个元素的三个类型参数可以各自独立、互不相同，编译器无法推导得到一组全局统一的I/E/O能匹配列表里的所有元素。

你构造的列表里两个元素的类型本身就不统一：第一个OuterCaseClass的类型参数是[Int, String, Float]，第二个是[Float, Int, String]，本身就不存在公共的统一I/E/O类型，自然无法满足funPoly的泛型约束，编译失败。

而funEx的入参类型直接声明为List[OuterCaseClass[_, _, _]]，和outersFromInnersEx的类型完全匹配，因此可以正常调用。

另外补充你注释中提到的outersFromInnersAny编译失败的原因：Scala的case class类型参数默认是不变的，OuterCaseClass[Int, String, Float]并不是OuterCaseClass[Any, Any, Any]的子类型，因此无法直接赋值。

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