Swift 枚举：enum 与关联值

Swift 中的枚举（enum）远不止是简单的常量集合。它支持关联值（associated values），允许你在每个枚举成员中嵌入额外的数据，使枚举成为表达复杂状态和结果的强大工具。

创建带关联值的枚举

定义一个带有不同类型关联值的枚举：

enum NetworkResult {
    case success(String)
    case failure(Int, String)
    case loading
}

• success(String) 表示请求成功，并附带一个 String 类型的响应数据。
• failure(Int, String) 表示失败，附带错误码（Int）和错误描述（String）。
• loading 没有关联值，表示正在加载中。

注意：关联值是在使用枚举时才提供的，不是在定义时固定的内容。

使用带关联值的枚举

创建枚举实例时传入关联值：

let result1 = NetworkResult.success("用户数据已返回")
let result2 = NetworkResult.failure(404, "页面未找到")
let result3 = NetworkResult.loading

每个 case 的关联值类型必须匹配定义。例如，success 只能接受一个 String，不能传入其他类型。

提取关联值

要使用关联值，必须通过 模式匹配 提取。最常用的方式是 switch 语句。

编写一个 switch 来处理所有可能的情况：

switch result1 {
case .success(let data):
    print("成功: \(data)")
case .failure(let code, let message):
    print("失败 (\(code)): \(message)")
case .loading:
    print("正在加载...")
}

• let data 会绑定 success 中的 String 值。
• let code, let message 会分别绑定 failure 中的两个值。
• .loading 没有值，直接匹配。

你也可以用 if case 进行局部匹配：

if case .success(let content) = result1 {
    print("收到内容: \(content)")
}

关联值 vs 原始值（Raw Values）

不要混淆关联值和原始值（raw values）。它们是互斥的特性：

不能同时使用两者。以下代码会报错：

// ❌ 错误：不能同时有原始值和关联值
enum BadExample: Int {
    case a(String) // 编译失败
}

实际应用场景

1. 表示 API 请求结果

enum APIResponse {
    case ok(Data)
    case unauthorized
    case serverError(statusCode: Int, body: Data?)
}

调用时根据情况传入不同数据，处理逻辑清晰分离。

2. 状态机建模

enum ConnectionState {
    case disconnected
    case connecting(host: String, port: Int)
    case connected(sessionID: String)
}

每个状态携带其特有的上下文信息，避免使用多个可选属性（如 host: String?, sessionID: String?）导致的状态不一致。

3. 错误处理增强

相比单一错误类型，带关联值的枚举能提供更丰富的上下文：

enum ValidationError {
    case emptyField(fieldName: String)
    case invalidEmail(String)
    case passwordTooShort(minLength: Int, actual: Int)
}

调用方可以精准识别错误类型并提取所需信息进行 UI 反馈。

关联值的高级技巧

给关联值命名

虽然可以省略参数名（如 case point(Int, Int)），但强烈建议命名：

enum Location {
    case gps(latitude: Double, longitude: Double)
    case address(street: String, city: String)
}

命名后，在 switch 中使用更清晰：

switch location {
case .gps(latitude: let lat, longitude: let lon):
    print("坐标: \(lat), \(lon)")
case .address(street: let st, city: let ct):
    print("地址: \(st), \(ct)")
}

你还可以用简写：

case .gps(let latitude, let longitude): // 自动匹配参数名

元组作为关联值

关联值本质是元组，因此可以解构：

let event = NetworkResult.failure(500, "内部错误")
if case .failure(let error) = event {
    // error 是 (Int, String) 元组
    print("错误码: \(error.0), 描述: \(error.1)")
}

但通常建议显式命名以提高可读性。

在函数参数中使用

你可以直接将带关联值的枚举作为函数参数：

func handle(result: NetworkResult) {
    switch result {
    case .success(let data):
        process(data)
    default:
        showRetryButton()
    }
}

这比传递多个可选参数或自定义结构体更简洁、类型安全。

注意事项

• 关联值不是存储属性：枚举本身不存储这些值，值只存在于具体实例中。
• 内存占用：枚举的大小等于其最大 case 的关联值大小加上标签开销。避免在一个 case 中塞入过大结构。
• Equatable 实现：如果所有关联值类型都遵循 Equatable，你可以让编译器自动生成比较逻辑：

enum Result: Equatable {
    case value(Int)
    case text(String)
}
// 自动支持 == 操作

否则需手动实现 == 函数。

替代方案对比

如果不使用带关联值的枚举，你可能会：

• 使用多个可选属性（如 data: String?, errorCode: Int?），但无法保证状态一致性（例如 data 和 errorCode 同时非空）。
• 定义多个类或结构体，增加类型数量和判断成本。
• 使用字典或 Any 类型，丧失类型安全。

而带关联值的枚举强制覆盖所有情况，且每个分支的数据结构明确，从根本上防止无效状态。

定义枚举时思考：“这个状态需要携带什么专属信息？”
使用枚举时确保通过 switch 或 if case 安全提取关联值。
避免混用原始值与关联值，二者用途完全不同。