为什么这个开关在不详尽时会编译？

Question

我有这个Result 枚举：

public enum Result<T> {
    case success(T)
    case failure(Error)
}

并且想实现CustomStringConvertible，所以我做到了。 （不要戳破这个问题，这个问题已经简化了:)：

extension Result: CustomStringConvertible {

    public var description: String {
        switch self {
        case .success(let value as CustomStringConvertible):
            return "Result.success(\(value.description))"
        case .success(let value):
            return "Result.success(\(value))"
        case .failure(let error as CustomStringConvertible):
            return "Result.failure(\(error.description))"
        }
    }
}

在 Playground 中运行它完全符合要求。但是，它在最终的r.description 上出错。 （同样的运行时故障发生在我的应用程序中，因此与在操场上无关。）

var r: Result<String> = .success("hello")
r.description

r = .failure(NSError(domain: "", code: 0, userInfo: nil))
r.description

struct MyError: Error { }
r = .failure(MyError())
r.description

经过大量的挠头和代码设置后，我发现这是因为MyError 没有实现CustomStringConvertible，所以在switch 中没有case 匹配。我认为这意味着垃圾是从该方法返回的。

那么，有谁知道为什么这个开关会编译？

---

编辑

在操场上通过添加这样的最终案例来解决此问题后：

case .failure(let error):
    return "Result.failure(\(error))"

它有效。但是，当我将它添加回我的应用程序时，编译器大胆地发出警告：warning: case is already handled by previous patterns; consider removing it - 这是 Swift 中的错误（不太可能）还是我误解了 Error 和 CustomStringconvertible 之间的关系（更有可能)?

Answer 1

我假设您在定义Result 类型的文件中导入Foundation。好吧，这有（有时）编译器将 Swift 值桥接到 Objective-C 兼容对象的不良影响，这就是在您的情况下发生的情况。

删除import Foundation 子句将导致您的开关由于不详尽而不再编译。我怀疑Foundation 导入将CustomStringConvertible 协议从.failure 案例桥接到一些Objective-C 值，但不正确，这会导致应用程序崩溃。