Swift中如何将(String, Int)...可变参数转为字典实现ExpressibleByDictionaryLiteral

我现有通过接收Array或Dictionary的单参数init初始化的对象，想改用ExpressibleByArrayLiteral和ExpressibleByDictionaryLiteral协议，但需要保留原有的非字面量初始化器。实现时遇到两个问题：

1. 数组类型的实现可直接将可变参数传给数组初始化器，但字典类型不行，不知道如何把(String, Int)...转换成[String: Int]
2. 为什么这两个协议提供的是可变参数而非直接的数组/字典参数？

代码示例 #

struct ArrayStruct: ExpressibleByArrayLiteral {
    typealias ArrayLiteralElement = Int
    
    let array: [Int]
    
    init(array: [Int]) {
        self.array = array
    }
    
    init(arrayLiteral elements: Int...) {
        self.init(array: elements) // 正常工作
    }
}

struct DictStruct: ExpressibleByDictionaryLiteral {
    typealias Key = String
    typealias Value = Int
    
    let dict: [String : Int]
    
    init(dict: [String : Int]) {
        self.dict = dict
    }
    
    init(dictionaryLiteral elements: (String, Int)...) {
        self.init(dict: elements) // 报错：无法将'(String, Int)...'类型转换为预期的'[String : Int]'类型
    }
}

问题1：如何将(Key, Value)...转换为[Key: Value] #

可变参数elements在函数内部会被自动转为[(String, Int)]类型，我们可以利用Swift标准库提供的字典初始化方法完成转换：

修正后的DictStruct实现 #

struct DictStruct: ExpressibleByDictionaryLiteral {
    typealias Key = String
    typealias Value = Int
    
    let dict: [String : Int]
    
    init(dict: [String : Int]) {
        self.dict = dict
    }
    
    init(dictionaryLiteral elements: (String, Int)...) {
        // 使用uniqueKeysWithValues：若存在重复键会触发运行时崩溃
        self.init(dict: Dictionary(uniqueKeysWithValues: elements))
    }
}

兼容重复键的场景 #

如果需要处理字面量中重复键的情况，可以用带冲突处理逻辑的初始化方法：

init(dictionaryLiteral elements: (String, Int)...) {
    // 遇到重复键时保留后传入的键值对，可根据需求修改逻辑
    self.init(dict: Dictionary(elements, uniquingKeysWith: { $1 }))
}

问题2：为什么协议用可变参数而非直接传入数组/字典？ #

核心原因是字面量的语法本质是逗号分隔的元素序列，而非现成的集合对象：

• 比如[1,2,3]这种数组字面量，编译时会被解析为调用arrayLiteral初始化器，传入的是1、2、3三个独立参数，而非一个预先创建好的[Int]对象。
• 设计成可变参数，是为了让编译器直接解析字面量的原始元素，不需要先创建中间集合，更贴合字面量的语法逻辑，同时也给协议实现者提供了灵活性（比如某些类型可能不需要把元素转成集合，而是直接逐个处理）。
• 数组的可变参数Int...能直接传给[Int]初始化器，是因为Swift会自动把T...转为[T]类型，刚好匹配数组初始化器的参数；而字典的可变参数转成的是[(Key, Value)]，和[Key: Value]不是同一类型，所以需要额外转换。

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