Swift：如何在Sortable Protocol扩展中为可选关联枚举设默认值？

现有方案的合理性分析 #

你添加static var defaultBy: By { get }的方案其实是最符合Swift协议设计原则的思路之一：

• 它明确将默认枚举值的定义权交给了协议的遵循者——只有遵循者才知道具体的By枚举有哪些可选值，以及哪个适合作为默认值。
• 保持了协议的灵活性，不会对By枚举做任何假设（比如强制要求某个原始值必须存在），完美匹配你“不清楚具体枚举值”的前提。

替代思路（如果追求更简洁的实现） #

如果不想在协议中新增要求，可以尝试以下两种方式，但都存在一定限制：

1. 利用CaseIterable约束（需By枚举支持）

如果By枚举遵循CaseIterable，可以直接取第一个case作为默认值：

protocol Sortable: RawRepresentable where RawValue == String {
    associatedtype By: RawRepresentable & CaseIterable where By.RawValue == Int, By.AllCases: BidirectionalCollection
    
    var by: By { get set }
    var ascending: Bool { get set }
    
    init(by: By, ascending: Bool)
}

extension Sortable {
    init?(rawValue: RawValue) {
        let list = rawValue.split(separator: ",").compactMap { $0.isEmpty ? nil : "\($0)" }
        guard list.count == 2 else { return nil }
        let by = By(rawValue: Int(list[0]) ?? 0) ?? By.allCases.first!
        let ascending = Int(list[1])?.boolValue ?? true

        self.init(by: by, ascending: ascending)
    }

    var rawValue: RawValue {
        return "\(by.rawValue),\(ascending.intValue)"
    }
}

⚠️ 注意：该方案要求By必须实现CaseIterable，且不能是空枚举，否则first!会触发崩溃。

2. 让By枚举本身封装默认值逻辑

可以给RawRepresentable（限定原始值为Int）添加扩展，把默认值逻辑封装到枚举层面：

extension RawRepresentable where RawValue == Int {
    static var defaultValue: Self {
        // 优先尝试rawValue=0的case，失败则取第一个枚举值（需支持CaseIterable）
        if let defaultVal = Self(rawValue: 0) {
            return defaultVal
        } else if let selfType = Self.self as? CaseIterable.Type, 
                  let firstCase = (selfType.allCases as? [Self])?.first {
            return firstCase
        } else {
            fatalError("By枚举必须提供rawValue=0的case，或者遵循CaseIterable")
        }
    }
}

// 在Sortable初始化中调用：
let by = By(rawValue: Int(list[0]) ?? 0) ?? By.defaultValue

⚠️ 注意：该方案要么要求By有rawValue=0的case，要么必须遵循CaseIterable，否则会触发崩溃，灵活性不如你最初的方案。

总结 #

你的原始方案（添加static var defaultBy: By { get }）是最安全、最灵活的选择，因为它把默认值的决定权完全交给了具体的枚举实现者，不会对By做额外约束。如果觉得协议定义有点繁琐，也可以考虑用协议扩展提供默认实现，但前提是能接受对By的额外限制。

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