变长泛型的代数类型与类型级计算

利用Swift 5.9+变长泛型实现类型安全的多参数映射、折叠和压缩操作，突破元组限制。 · 难度：入门 · +10XP

变长泛型的代数类型与类型级计算

变长泛型（Variadic Generics）允许函数接受任意数量的类型参数。本教程将构建一个类型安全的zipWith函数，它接受多个任意类型的数组和一个多参数闭包，返回单个结果数组。你将学习如何使用each、repeat关键字以及类型参数包来操作变长类型列表，并在编译期进行类型推导。

func zipWith(
    _ arrays: repeat [each T],
    using transform: (repeat each T) -> U
) -> [U] {
    // 假设所有数组长度相同
    let count = (arrays as! [Any]).first?.count ?? 0
    var results: [U] = []
    for i in 0..let numbers = [1,2,3]
let strings = ["a","b","c"]
let result = zipWith(numbers, strings) { (n: Int, s: String) in
    "\(n)-\(s)"
}
// ["1-a", "2-b", "3-c"]