Swift枚举同名Case引发Switch匹配异常的原因分析

这问题的核心原因其实很直白——Swift枚举的Case名称必须是唯一的，你不能定义两个同名的.get Case，哪怕它们的关联值结构、数量不一样。

你写的代码里，enum DumbTest中的两个.get并不是两个独立的Case，编译器会把它们视作同一个Case的重复定义。而在Switch语句里，第一个分支.get(let user)的匹配模式，其实是把整个关联值（不管是单个字符串还是带标签的元组）都直接绑定到user变量上。

举个实际的例子：当你调用DumbTest.get(pony: "cute pony", tail: "pink")时，这个实例的关联值是一个带标签的元组(pony: "cute pony", tail: "pink")，第一个Switch分支会直接把这个元组整体赋值给user，所以返回的字符串就会把这个元组的完整描述打印出来，也就是你看到的User muchacha (pony: "cute pony", tail: "pink")。

至于编译器给出的两条警告：

• Case is already handled by previous patterns; consider removing it：因为第二个.get(let pony, let tail)分支永远不会被触发——第一个分支已经匹配了所有.get类型的Case，不管关联值是几个元素。
• Case will never be executed for this string case .get(let pony, let tail):：这条警告也是同样的逻辑，第一个分支已经覆盖了所有.get的情况，第二个分支完全没有执行的机会。

要修复这个问题，只需要给两个Case起不同的唯一名称即可，比如修改成这样：

import UIKit
enum DumbTest {
    case getUser(String)
    case getPony(pony: String, tail: String)
    func getSome() -> String {
        switch self {
        case .getUser(let user):
            return "User muchacha \(user)"
        case .getPony(let pony, let tail):
            return "Fluttershy \(pony) with \(tail) tail"
        }
    }
}

这样两个Case是完全独立的，Switch就能正确匹配对应的关联值，返回预期的结果了。

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