IntelliJ无法解析符号n

Question

我有以下的scala代码。 IntelliJ说“无法解析符号n”。我试过“文件|无效”技巧，但它没有解决问题。

abstract class Nat { 
    def isZero: Boolean 

    def predecessor: Nat 

    def successor: Nat = new Succ(this) 

    def +(that: Nat): Nat 

    def -(that: Nat): Nat 
    } 

    object Succ (n: Nat) extends Nat { 
    def isZero: Boolean = false 
    def predecessor: Nat = n 
    def +(that: Nat) = new Succ(n + that) 
    def -(that: Nat): Nat = if (that.isZero) this else n - that.predecessor 
    } 

Answer 1

您不能有object Succ的参数。改为使用class。

class Succ (n: Nat) extends Nat { 
    def isZero: Boolean = false 
    def predecessor: Nat = n 
    def +(that: Nat) = new Succ(n + that) 
    def -(that: Nat): Nat = if (that.isZero) this else n - that.predecessor 
} 

Answer 2

Scala中的对象不能带参数。这不是有效的Scala代码。这也适用于特征。如果你需要传递构造函数参数，然后使用一个类。