Scala中如何让类型参数处于不变位置的Trait实现逆变？

首先，我们先明确原问题的核心矛盾：你想让Preferences的类型参数A支持逆变，但Scala标准库的Ordering是类型不变的。如果直接写def ordering: Ordering[A]，当Preferences[-A]是逆变时（比如Dog <: Animal），Preferences[Animal]应该是Preferences[Dog]的超类型——但Preferences[Dog]的ordering返回Ordering[Dog]，而Preferences[Animal]的ordering需要返回Ordering[Animal]，由于Ordering不变，Ordering[Dog]并不是Ordering[Animal]的子类型，这就导致类型不兼容，原代码无法满足逆变的要求。

接下来分析你提出的两种方案，以及它们的权衡：

方案一：泛型方法加类型上限 #

trait Preferences[-A] { def ordering[B <: A]: Ordering[B] }

这个方案通过给方法ordering添加泛型参数B，并约束B是A的子类型，绕开了Ordering不变的限制。它的特点是：

• 灵活性拉满：调用时可以显式指定B，也能让编译器自动推断合适的子类型，完全不依赖隐式环境。
• 无额外依赖：不需要隐式参数，代码逻辑直接清晰，对Java调用者也更友好（Java不支持Scala的隐式参数机制）。
• 小缺点：复杂场景下可能需要显式指定B的类型，不过大多数时候编译器能自动搞定。

方案二：隐式证据约束 #

先修正你代码里的小问题——B需要作为泛型参数声明，否则无法编译：

trait Preferences[-A] { def ordering[B](implicit ev: B <:< A): Ordering[B] }

这个方案利用Scala的<:<隐式证据来约束B是A的子类型。它的特点是：

• 调用更简洁：多数场景下编译器会自动生成<:<实例，调用时不用显式传证据，代码看起来更干净。
• 小缺点：依赖隐式解析机制，对不熟悉隐式的开发者来说可读性稍差；在Java环境或缺少隐式上下文的场景中，需要手动传入证据，使用起来比较麻烦。

哪个方案更通用？ #

方案一的泛型方法方案更通用，原因有三：

1. 不依赖任何隐式环境，在所有Scala环境甚至Java环境中都能直接使用；
2. 显式的类型约束比隐式证据更直观，降低了代码的理解成本；
3. 调用灵活性更高，既可以让编译器推断B，也能手动指定，完全不受隐式解析的限制。

第三种更合适的方案？ #

可以考虑使用存在类型来定义ordering的返回值，不用额外泛型参数或隐式：

trait Preferences[-A] { def ordering: Ordering[_ <: A] }

这个方案的核心是返回“某个A的子类型的Ordering”，完全符合逆变要求：当Preferences[Dog]被当作Preferences[Animal]使用时，它的ordering返回Ordering[_ <: Dog]，而Ordering[_ <: Dog]可以安全赋值给Ordering[_ <: Animal]（因为任何Dog的子类型都是Animal的子类型）。

不过这个方案的缺点也很明显：返回的存在类型Ordering[_ <: A]使用时不够直观——你无法直接知道具体是哪个子类型的Ordering，如果需要对具体类型操作，可能需要模式匹配或类型转换，灵活性不如前两个方案。如果你的场景只需要一个能处理A子类型的Ordering、且不关心具体类型，那这个方案会更简洁；否则前两个方案依然是更好的选择。

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