scala：<控制台>：28：错误：类型不匹配；

Question

我真的是语言 scala 的新手 我遇到的错误肯定和让你笑的一样简单

scala> sealed trait List[+A]
defined trait List

scala> case object Nil extends List[Nothing]
defined object Nil

scala> case class Cons[+A] (head: A, tail: List[A]) extends List[A]
defined class Cons

scala>

scala> def sum(ints: List[Int]): Int = ints match {
     | case Nil => 0
     | case Cons(x,xs) => x + sum(xs)
     | }
<console>:28: warning: match may not be exhaustive.
It would fail on the following inputs: Cons(_, _), Nil
       def sum(ints: List[Int]): Int = ints match {
                                       ^
sum: (ints: List[Int])Int

scala>

scala>

scala> def test(ints: List[Int]): Int = ints match {
     | case Cons(x, Cons(2, Cons(4, _))) => x
     | case Nil => 42
     | case Cons(x, Cons(y, Cons(3, Cons(4, _)))) => x + y
     | case Cons(h, t) => h + sum(t)
     | case _ => 101
     | }
test: (ints: List[Int])Int

scala>

scala>

scala> val example3 = List(1,2,3,4,5)
example3: List[Int] = List(1, 2, 3, 4, 5)

scala>

scala>

scala> test(example3)
<console>:28: error: type mismatch;
 found   : scala.collection.immutable.scala.collection.immutable.List[Int]
 required: List(in class $iw)[Int]
       test(example3)
            ^

我只想知道为什么类型不匹配？ def 函数测试的输出很好 --> test: (ints: List[Int])Int! 非常感谢您的回复，

Answer 1

这是 Scala 控制台的问题。单独的输入不被视为同一文件的一部分。

因此，仅需要在同一个文件中的内容实际上并不能作为单独的输入。

sealed关键字还指定所有子类必须在同一个文件中。

所以，当你这样做时，

scala> sealed trait List[+A]
trait List

scala> case object Nil extends List[Nothing]
object Nil

scala> case class Cons[+A] (head: A, tail: List[A]) extends List[A]
class Cons

因为您在单独的输入中使用Nil 和Cons 扩展sealed trait，所以您的继承链实际上存在问题（Scala 控制台不会指出，但继承不会按预期工作）。

您需要提供“相同文件”代码作为单个输入。您可以为此使用:paste 模式。完成输入后，按ctrl-D 完成输入。

scala> :paste
// Entering paste mode (ctrl-D to finish)

sealed trait List[+A]
case object Nil extends List[Nothing]
case class Cons[+A] (head: A, tail: List[A]) extends List[A]

// Exiting paste mode, now interpreting.

trait List
object Nil
class Cons

现在，您的sealed trait 将被Nil 和Cons 正确继承。而且您的sum 方法不会有任何问题。

scala> def sum(ints: List[Int]): Int = ints match {
     |   case Nil => 0
     |   case Cons(x,xs) => x + sum(xs)
     | }
def sum(ints: List[Int]): Int

同样companion 对象到class 或case classs 也需要在同一输入中创建（使用:paste 模式）。

Scala 控制台（以及 IntelliJ 中的 Scala 工作表，以及 Ammonite 脚本）有很多隐藏的“特殊”东西，不应该用来学习 Scala。

我会建议你学习适当的 Scala sbt 项目和.scala 文件。