scala - 在 Scala 中进行模式匹配时类型推断不正确

Question

在下面的 ADT 中，为什么 Foo 被错误地推断为它的类型参数 S？

sealed trait Sum[-S, +A]

case class Foo[S]() extends Sum[S, S]

def execute[S, A](mqtt: Sum[S, A], s: S): A =
  mqtt match {
    // S and A should be the same for Foo
    case Foo() => s // should compile but returns an error.
  }  

scastie 上的链接 https://scastie.scala-lang.org/xD4RqwKYRW20dy4K0GHEDg

Answer 1

您正在调用方法 execute有两个不同的类型参数 S和 A并且编译器没有证据表明它们相同。

因此，当您尝试返回 S 类型的对象时当方法签名需要 A 时你得到一个错误。这与 ADT 无关。

如果你给编译器一些关于类型参数的更多细节，你就可以让它工作。比如这个def execute[A, S<:A]