Scala中如何避免类型约束重复？编译器推断问题及解决方案咨询

这是个很典型的Scala类型系统细节问题，我来一步步给你拆解原因和解决办法：

为什么Bar[_]无法编译？ #

当你写def doSth(bar: Bar[_])时，这个_代表的是存在类型（等价于Bar[T] forSome { type T }）。虽然Bar的定义已经限定了T <: Foo，但Scala编译器在处理方法参数的通配符时，不会自动把这个约束“传递”到方法体的类型检查中——它只知道bar是某个Bar实例，但不会主动推断出这个匿名的T必然是Foo的子类型，因此无法确认bar.t拥有foo方法（尤其是你的foo返回的是字面量类型"String"，编译器需要更明确的类型信息才能通过检查）。

简单说：Bar[_]在方法签名里被视为“任意Bar实例”，但编译器不会自动利用Bar类本身的类型约束来推导成员的合法性。

解决办法 #

这里有几个简洁的方案，你可以根据场景选择：

1. 显式指定通配符的上界 #

直接在通配符后加上<: Foo，明确告诉编译器这个未知类型的范围：

def doSth(bar: Bar[_ <: Foo]) = bar.t.foo

这样编译器就清楚知道bar.t的类型是Foo的子类型，自然能正常访问foo方法。

2. 保留泛型方法定义（推荐） #

你原来写的def doSth[T <: Foo](bar: Bar[T])其实是Scala中最符合惯用写法的方案——它的可读性更高，而且能保留完整的类型信息（比如如果后续需要用到T的其他特性，这个写法更灵活）。虽然看起来多了个泛型参数，但这是Scala类型系统保证类型安全的常规方式。

3. 利用类型向上转型（简化场景） #

如果你完全不需要保留T的具体子类型信息，还可以直接把参数类型指定为Bar[Foo]：

def doSth(bar: Bar[Foo]) = bar.t.foo

这个写法会把bar.t的类型向上转型为Foo，适合只需要访问Foo特质成员的简单场景。

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