Question

我在Swift中创建了一个递归enum，它在没有错误或警告的情况下进行编译，但在我尝试实例化时会进入无限循环：

enum Tree<T> {
    case Leaf(T)
    case Branch(T, [Tree<T>])
}

Tree.Leaf(0) // enters infinite loop
Tree.Branch(0, []) // enters infinite loop

无限循环在实例化时发生，而不是在打印或实例的任何其他用途时发生。即使结果没有任何结果，Tree.Leaf(0)仍然会永远运行。需要明确的是：无限循环发生在运行时，而不是编译时，但在实例化时会立即发生。

奇怪的是，以下非常相似的数据结构非常有效：

enum WorkingTree<T> {
    case Leaf(T)
    case Branch([WorkingTree<T>]) // notice the lack of a `T` in this case
}

WorkingTree.Leaf(0) // works fine
WorkingTree.Branch([.Leaf(1), .Leaf(2)]) // works fine

或许更奇怪的是，以下数据结构也可以完美运行：

enum ConcreteTree {
    case Leaf(Int)
    case Branch(Int, [ConcreteTree])
}

ConcreteTree.Leaf(0) // works fine
ConcreteTree.Branch(0, []) // works fine

为什么我的原始数据结构在尝试实例化时会进入无限循环，而其他几乎相同的数据结构则不然？

修改

在Swift REPL中，问题似乎取决于实例化是否发生在与类型声明相同的“块”中。如果我在Swift REPL中键入以下内容：

1> enum Tree<T> {
2.     case Leaf(T)
3.     case Branch(T, [Tree<T>])
4. } // press enter, declare type
5> Tree.Leaf(0) // separate command to the REPL

然后它以无限循环失败。但是，如果我将它们作为同一声明的一部分输入：

1> enum Tree<T> {
2.     case Leaf(T)
3.     case Branch(T, [Tree<T>])
4. } // press down arrow, continue multiline command
5. Tree.Leaf(0) // part of the same command

然后它不会进入无限循环，并按预期工作。

可能会发生什么？

编辑2 ：

事情变得更加陌生。以下代码编译并运行，但在非常意外的点进入无限循环：

enum Tree<T> {
    case Leaf(T)
    case Branch(T, [Tree<T>])
}

let test = Tree.Leaf(0)
print("Milestone 1") // prints

switch test {
    case .Leaf(_): print("Milestone 2") // prints
    default: print("This should never be called")
}

func no_op<T>(x: T) {}

no_op(test) // infinite loop entered here
print("Milestone 3") // DOES NOT print

no_op(Tree.Leaf(0))
print("Milestone 4") // DOES NOT print

什么可能推迟无限循环直到no_op调用？

Answer 1

你忘了说indirect：

enum Tree<T> {
    indirect case Leaf(T)
    indirect case Branch(T, [Tree<T>])
}

我有点惊讶的是没有它编译的代码;我建议提交一份错误报告。

Swift递归枚举在构造函数

1 个答案: