为什么这个开关在不详尽的情况下会编译？

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没有实现CustomStringConverable，所以开关中没有匹配的情况。我假设这意味着垃圾从该方法返回。

那么，有人知道为什么要编译这个开关吗？

编辑

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

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

它起作用了。然而，当我将其添加回我的应用程序时，编译器竟然发出警告：<代码>警告：案例已经由以前的模式处理；考虑删除它-这是Swift中的一个错误（不太可能），还是我误解了错误和自定义字符串转换（更可能）之间的关系？

Answer 1

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

删除import Foundation子句将导致您的交换机由于不完整而不再编译。我怀疑导入将CustomStringConvertible协议与连接起来。失败case转换为某个Objective-C值，但该值不正确，导致应用程序崩溃。