阐明作为参数的函数返回类型的逆变性质是外部协变容器的函数

Question

在选项中我们有

def getOrElse[B >: A](default: => B): B = this match {
        case None => default
        case Some(a) => a
    }

def orElse[B >: A](obj: => Option[B]): Option[B] = this match {
        case None => obj
        case _ => this
    }

我们有：

def flatMap[EE >: E, B](f: A => Either[EE, B]): Either[EE, B]

我了解发生了什么以及为什么，一个相当扩展的示例可能是这样的

OrElse( { Option[B]}).map{....} 如果 B 满足 A :> B，那么如果 Some(a) 你得到 Some(a).map(f:B => ???) 然后 Kaboom

一般来说，我认为我可以接受差异。我没有看到或弄清楚什么，因为这不是协变和逆变的简单示例作为用例解释的内容，并且想在此确认：

作为参数的函数的返回类型检查外部容器的方差位置。

典型的例子是

Container[+A] {
  def outerfunction[B](value: A): B
}

然后我们解释了，不能做，A 的逆变位置。我不会重新解释为什么。假设我们都理解它。

通常不解释的是：

Container[+A] {
      def outerfunction(f: ??? => A): A
    }

它不仅采用 A 类型的参数，而且还采用任何返回该 A 的函数参数。编译器也会仔细检查。我想知道它是否停在这里，或者它是否可以产生 A，作为 Container 函数的参数。

Answer 1

你的理解是完全正确的。老实说，我不确定到底是什么问题，但我会假设它是 - 编译器在以下情况下检查哪些地方：

trait Container[+A] {
  def outerfunction(f: String => A): A
}

答案是 - 全部。

因此，当编译器看到trait Container[+A] 时，它会检查Container 的正文中是否出现A，看看它们是否在：

• 参数位置（带来逆变要求）
• 返回类型位置（协变要求）
• 两者（不变的要求）
• 两者都不是（所谓的phantom variance）。

如果是Container[+A]，则要求所有出现的A都处于协变位置，这意味着String => A会有问题。

就这么简单。不管是“内部函数”还是“外部函数”。