5

这不编译：

class MyClass[+A] {
  def myMethod(a: A): A = a
}
//error: covariant type A occurs in contravariant position in type A of value a

好吧，够公平的。但这确实编译：

class MyClass[+A]

implicit class MyImplicitClass[A](mc: MyClass[A]) {
  def myMethod(a: A): A = a
}

这让我们可以规避方差检查给我们带来的任何问题：

class MyClass[+A] {
  def myMethod[B >: A](b: B): B = b  //B >: A => B
}

implicit class MyImplicitClass[A](mc: MyClass[A]) {
  def myExtensionMethod(a: A): A = mc.myMethod(a)  //A => A!!
}

val foo = new MyClass[String]
//foo: MyClass[String] = MyClass@4c273e6c

foo.myExtensionMethod("Welp.")
//res0: String = Welp.

foo.myExtensionMethod(new Object())
//error: type mismatch

这感觉像是在作弊。应该避免吗？或者编译器让它滑动有什么正当理由吗？

更新：

考虑一下这个例子：

class CovariantSet[+A] {
  private def contains_[B >: A](b: B): Boolean = ???
}

object CovariantSet {
  implicit class ImpCovSet[A](cs: CovariantSet[A]) {
    def contains(a: A): Boolean = cs.contains_(a)
  }
}

显然我们已经设法实现了不可能的目标：仍然满足A => Boolean. 但如果这是不可能的，编译器不应该禁止它吗？

4

2 回答 2

3

我不认为它比脱糖后的版本更作弊：

val foo: MyClass[String] = ...
new MyImplicitClass(foo).myExtensionMethod("Welp.") // compiles
new MyImplicitClass(foo).myExtensionMethod(new Object()) // doesn't

原因是MyImplicitClass构造函数的类型参数在考虑之前被推断出来myExtensionMethod。

最初我想说它不会让你“规避方差检查给我们带来的任何问题”，因为扩展方法需要用方差合法方法来表达，但这是错误的：它可以在伴随对象并使用私有状态。

我看到的唯一问题是修改代码的人可能会感到困惑（甚至不阅读它，因为那些人​​不会看到非编译代码）。我不认为这会是一个大问题，但是如果没有在实践中尝试，很难确定。

于 2019-04-01T14:22:25.260 回答
2

你没有实现不可能。您只是选择了与标准库中不同的权衡。

你失去了什么

签名

def contains[B >: A](b: B): Boolean

强制您以Set适用于 的方式实现协变Any，因为B它是完全不受约束的。这意味着：

  • No BitSets for Ints only
  • 没有Ordering_
  • 没有自定义散列函数。

这个签名强制你本质上实现一个Set[Any].

你得到了什么

一个容易绕过的门面：

val x: CovariantSet[Int] = ???
(x: CovariantSet[Any]).contains("stuff it cannot possibly contain")

编译就好了。这意味着您的 set x，它被构造为一组整数，因此只能包含整数，将被迫contains在运行时调用该方法以确定它是否包含 a String，尽管它不可​​能包含任何Strings。同样，类型系统不会以任何方式帮助您消除这种无意义的查询，这些查询总是会产生false.

于 2019-04-01T15:18:32.247 回答