斯卡拉: "class needs to be abstract, since method is not defined"错误

Question

我很熟悉这个错误消息，但我不太确定在这种情况下:

class Foo extends A {
  // getting error here
}

trait A extends B {
   def something(num:Int):Boolean = {
      num == 1
   }
}

trait B {
  def something[S](num:S):Boolean
}

但这编译得很好:

    class Foo extends A ...

    trait A extends B[Int] {
       def something(num:Int):Boolean = {
          num == 1
       }
    }

    trait B[S] {
      def something(num:S):Boolean
    }

完整错误:类 Foo 需要是抽象的，因为未定义 [S](num: S)Boolean 类型的特征 A 中的方法 something

不应该第一次编译吗？我在这里做错了什么，我该如何解决？

Answer 1

def something(num:Int):Boolean 和 def something[S](num:S):Boolean 具有不同的方法签名。第一个参数类型是 Int。第二个参数类型是通用的 S。

class Foo extends A {
  // You have to implement this abstract method
  // that is inherited from B via A.
  def something[S](num:S):Boolean = ???
}

trait A extends B {
  def something(num:Int):Boolean = {
    num == 1
  }
}

trait B {
  def something[S](num:S):Boolean
}

想象一下，尝试调用继承自 B 的 something[S](num:S) 方法:

new Foo().something[String]("x")

如果您可以不实现它而逍遥法外，您希望发生什么？

在第二个例子中，由于 A 继承了 B[Int]，类泛型 S 被绑定(bind)到 Int，所以 A 继承的方法是 something(num:Int)，它与实现的方法具有相同的签名。