当性状的类型参数出现在不变位置时,如何使其变位?

当您试图绕过您所遇到的问题(方法或函数的返回类型是一个逆变参数)时,第一个解决方案被认为是最佳实践。

第二个解决方案称为 广义类型约束 当您希望在没有编译器“适合它们”的情况下推断正确的类型时,它非常有用。例如,如果你

def foo[A, B <: A](a: A, b: B): Whatever = ???

你试图把它称为

foo(42, "something")

编译器会推断 A 成为 Any 因为这样整件事就适合了;打字 B ,这是一个 String ,实际上是 . 使用GTC:

def foo[A, B](a: A, b: B)(implicit ev: B <:< A)

编译器将从您的参数推断它们为 Int 和 弦 分别。只有在检查完GTC之后,才能进行扩展,因为参数类型已经被推断出来了。因此编译将失败,因为字符串不是int的子类型。

只要你明确地定义了你的A和B,并且你总是会这样做(因为没有什么可以推断的),你的第一个解决方案就是好的。不需要牵连。