generics - Swift 枚举中通用关联值的确切限制是什么？

Question

我想了解 Swift 中具有通用关联值的枚举的确切限制。

您可能认为它们是受支持的，因为 Optional 就是这样一种类型。下面是 Swift 标准库中定义 Optional 的代码:

enum Optional<T> : Reflectable, NilLiteralConvertible {
    case None
    case Some(T)
// ...
}

似乎 case 成员 Some 有一个变量类型 T 的关联值，对吧？

但是书中提到了Functional Programming in Swift (p 87)，不支持此类类型:

We would like to define a new enumeration that is generic in the result associated with Success:

enum Result<T> {    case Success(T)    case Failure(NSError) } 

Unfortunately, generic associated values are not supported by the current Swift compiler.

事实上，如果您将该代码段键入编译器，则会出现错误(错误:未实现的 IR 生成功能非固定多有效载荷枚举布局)。

那么这里发生了什么？只是一般情况下不支持，Optional作为特例支持吗？有什么办法可以看出 Optional 是如何获得这种特殊支持的吗？或者其他标准库类型是否也获得特殊支持？

Answer 1

在 Swift 2(作为 Xcode 7 的一部分)中，对关联值没有限制。所以，请随意随着这样的节拍跳舞:

enum YouCanGoWith<T, U> {
    case This(T)
    case That(U)
    case Us
}

现在，如果您正在寻找“成功或错误”类型的枚举，您可能想停下来想想为什么……因为 Swift 2 还带来了新的错误处理模型。所以你不需要这样的类型作为函数的返回值——你可以像这样声明它:

func walkWith(rhythm: Bool) throws -> Place { /* ... */ }

...并且如果您的函数成功，调用者总是会得到一个(非可选的)Place 用于行走。并且——与使用结果分开——调用者决定如何处理、吞下或传播错误。

有关详细信息，请参阅 The Swift Programming Language 中的 Error Handling。仔细观察 - 语法看起来有点像您在其他一些语言中看到的异常模型，但 Swift 错误是一种完全不同的动物。

(当然，throws 模型是特定于同步调用的。如果您声明异步进程的回调，回调闭包接收成功异步工作的结果或错误 — Success-or-Error 类型仍然是完全合适的。)