Swift 5.1 中的递归枚举问题

Question

我正在使用 Swift 文档在 Swift 5.1 中学习递归枚举。

这是一个代码。

indirect enum ArithmeticExpression {
    case number(Int)
    case addition(ArithmeticExpression, ArithmeticExpression)
    case multiplication(ArithmeticExpression, ArithmeticExpression)

    func evaluate(_ expression: ArithmeticExpression) -> Int {
        switch expression {
        case let .number(value):
            return value
        case let .addition(left, right):
            return evaluate(left) + evaluate(right)
        case let .multiplication(left, right):
            return evaluate(left) * evaluate(right)
        }
    }
}

let five = ArithmeticExpression.number(5)
let four = ArithmeticExpression.number(4)
let sum = ArithmeticExpression.addition(five, four)
let product = ArithmeticExpression.multiplication(sum, ArithmeticExpression.number(2))

print(ArithmeticExpression.evaluate(product))

我认为最后一行代码出了点问题。

这是什么意思？

Answer 1

evaluate(_:) 是ArithmeticExpression 的实例函数，也就是说，您必须将其称为on ArithmeticExpression 的实例（该实例就是@987654324 @指）。 evaluate(_:) 的类型是(ArithmeticExpression) -> Int。

Swift 允许您在类型上调用实例函数。你得到的是一个未绑定的实例函数。也就是说，一个没有值绑定的函数作为它的self 值。这就是您自己运行ArithmeticExpression.evaluate 时所做的事情。返回的未绑定实例函数的类型为：

(ArithmeticExpression) -> (ArithmetricExpression) -> Int
// ^---  the "self"        ^--- the "expression" param ^--- the final return value.

通过调用它并提供product 作为参数(ArithmeticExpression.evaluate(product))，你得到的是一个(ArithmeticExpression) -> Int 类型的函数。此函数是一个绑定实例函数，即self 现在已绑定（它现在的值为product），但它正在等待再次调用，另一个ArithmeticExpression 作为论据。

有两种方法可以解决这个问题以实现您想要的：

1. 要么让它成为一个静态函数。静态函数不会在实例上调用，而是直接在类型上调用，就像您尝试做的那样：

   indirect enum ArithmeticExpression {
       case number(Int)
       case addition(ArithmeticExpression, ArithmeticExpression)
       case multiplication(ArithmeticExpression, ArithmeticExpression)
   
       // Make it static here
       static func evaluate(_ expression: ArithmeticExpression) -> Int {
           switch expression {
           case let .number(value):
               return value
           case let .addition(left, right):
               return evaluate(left) + evaluate(right)
           case let .multiplication(left, right):
               return evaluate(left) * evaluate(right)
           }
       }
   }
   
   let five = ArithmeticExpression.number(5)
   let four = ArithmeticExpression.number(4)
   let sum = ArithmeticExpression.addition(five, four)
   let product = ArithmeticExpression.multiplication(sum, ArithmeticExpression.number(2))
   
   print(ArithmeticExpression.evaluate(product))
   

2. 将evaluate 保留为实例函数，但直接在您要评估的实例上调用它，而不是在类型上。由于self 将是您感兴趣的表达式，因此您不再需要expression 参数：

   indirect enum ArithmeticExpression {
       case number(Int)
       case addition(ArithmeticExpression, ArithmeticExpression)
       case multiplication(ArithmeticExpression, ArithmeticExpression)
   
       func evaluate() -> Int {
           switch self {
           case let .number(value):
               return value
           case let .addition(left, right):
               return left.evaluate() + right.evaluate()
           case let .multiplication(left, right):
               return left.evaluate() * right.evaluate()
           }
       }
   }
   
   let five = ArithmeticExpression.number(5)
   let four = ArithmeticExpression.number(4)
   let sum = ArithmeticExpression.addition(five, four)
   let product = ArithmeticExpression.multiplication(sum, ArithmeticExpression.number(2))
   
   print(product.evaluate())
   

   我会说这可能是更“惯用”的版本。