为何非穷举Switch可编译？Result枚举实现CustomStringConvertible运行报错

我之前也碰到过一模一样的问题！咱们先把场景用简化代码复现出来，方便拆解：

enum MyError {
    case networkError
    case parseError
}

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

extension Result: CustomStringConvertible {
    var description: String {
        switch self {
        case .success(let value):
            return "Success: \(value)"
        case .failure(let error):
            return "Failure: \(error)" // 就是这里触发了运行时错误！
        }
    }
}

// 调用时直接崩溃
let r: Result<String> = .failure(.networkError)
print(r.description)

问题根源 #

你排查的结论完全正确！核心问题就是MyError没有实现CustomStringConvertible协议。当你在Result的description里用\(error)做字符串插值时，Swift会尝试调用String(describing: error)生成描述。虽然编译时不会报错（所有类型都有默认的String(describing:)实现），但这个默认实现依赖Swift的反射机制，对于自定义枚举这类类型，很容易出现运行时异常导致崩溃。

两种解决方案 #

方案一：给MyError实现CustomStringConvertible（推荐）

这是最规范也最易维护的方式，直接给错误类型加上自定义描述：

extension MyError: CustomStringConvertible {
    var description: String {
        switch self {
        case .networkError:
            return "网络请求失败"
        case .parseError:
            return "数据解析失败"
        }
    }
}

修改后，Result的description里的\(error)会直接调用MyError的自定义描述，既稳定又清晰，完全不会再出现运行时错误。

方案二：在Result的description中手动处理MyError

如果不想修改MyError的代码，可以直接在Result的扩展里手动匹配MyError的case生成描述：

extension Result: CustomStringConvertible {
    var description: String {
        switch self {
        case .success(let value):
            return "Success: \(value)"
        case .failure(let error):
            switch error {
            case .networkError:
                return "Failure: 网络请求失败"
            case .parseError:
                return "Failure: 数据解析失败"
            }
        }
    }
}

不过这种方式有个小缺点：如果后续MyError新增了case，你必须同步更新Result的description代码，否则会因为switch不完整编译报错，维护成本相对高一些。

补充说明 #

为什么编译时没问题但运行时才报错？因为Swift的字符串插值在编译阶段只会检查类型是否合法，不会强制要求类型实现CustomStringConvertible——默认的String(describing:)可以处理任何类型，但对于没有显式实现协议的自定义类型，它的底层依赖反射，很容易出现不可预期的运行时问题。显式实现CustomStringConvertible能确保生成的描述完全在你的控制范围内，避免这类坑。

内容的提问来源于stack exchange，提问作者deanWombourne