scala - `contains[BB >: B](e: BB): Boolean` 而不是 `contains(e: Any): Boolean` 的好处

Question

将 contains 定义为 contains[BB >: B](e: BB): Boolean 而不是 contains(e: Any) 有什么好处: Scala 中的 bool 值。

Either.contains在 Scala 标准库中使用第一个签名，我不清楚这种签名相对于第二个签名的好处。

Answer 1

在这种情况下，无:两个签名是等价的。但它提供了与其他成员签名的一致性，例如

 getOrElse[BB >: B](or: ⇒ BB): BB

对他们来说，这是有区别的，因为 BB 是返回类型的一部分，所以如果我们传递一个 B，我们得到 B返回，我们不会使用 getOrElse(or: => Any): Any。

What boggles me is why you would ever want to pass something that's not a B to that function

你不会。但是 contains(e: B) 不允许 Either 协变。试试吧，编译器会以B出现在逆变位置为由拒绝它。协方差意味着例如Either[A, SubtypeOfFoo] 是 Either[A, Foo] 的子类型。所以任何对 Either[A, Foo] 合法的调用也必须对 Either[A, SubtypeOfFoo] 合法，这包括 contains(Foo).