Swift 5.9 被严重低估的特性：参数包，一次性干掉重复泛型重载

做 iOS / SwiftUI 的人，基本都踩过这个坑：

VStack 最多只能放 10 个子视图超过 10 个，直接编译报错。以前的解决方案也很 "原始"：

套 Group
拆 ForEach
或者疯狂嵌套 VStack代码不仅丑，还难维护。
很多人以为这是 SwiftUI 的限制，其实本质是 Swift 语言本身的能力不够。

一、问题的本质：不是 SwiftUI，而是泛型表达能力不够

在 Swift 5.9 之前，Swift 不支持"任意数量 + 异构类型"的泛型参数。

这会导致一个问题：参数个数不同 = 必须写不同的泛型函数

比如 SwiftUI 的 @ViewBuilder，底层其实是这样的：

Swift 复制代码

static func buildBlock<C0, C1>(...) -> ...
static func buildBlock<C0, C1, C2>(...) -> ...
...
// 从 C0 一直手写泛型到 C9
static func buildBlock<C0, C1, C2, C3, C4,
                       C5, C6, C7, C8, C9>(...) -> TupleView<...> { ... }

苹果硬生生写了 10 份几乎一模一样的代码。再往上加？不现实：

泛型爆炸
类型推导成本指数级增长
编译器直接顶不住

这才是 "10 个 View 限制" 的根本原因。

二、Swift 5.9 的解法：参数包（Parameter Packs）

一句话总结：参数包 = 一组 "数量不确定、类型也不确定" 的泛型参数

核心语法只有两个：

Swift 复制代码

each T        // 声明一组类型
repeat each T // 展开这组类型

三、先看一个最直观的例子

Swift 复制代码

func firstOf<each T: Collection>(
    _ collections: repeat each T
) -> (repeat (each T).Element?) {
    (repeat (each collections).first)
}

调用方式：

Swift 复制代码

let result = firstOf(
    [1, 2, 3],
    ["a", "b"],
    [true, false]
)

print(result)  
// 输出: (Optional(9.9), Optional("new"), Optional(true))

返回类型为：

Swift 复制代码

(Int?, String?, Bool?)

这个能力有多关键？它同时满足三点（以前做不到）：

支持任意数量参数
支持不同类型（异构）
返回值保留完整类型信息（不丢类型）

四、SwiftUI 是怎么被 "拯救" 的？

现在的 ViewBuilder 实现本质上变成了一行：

Swift 复制代码

static func buildBlock<each Content: View>(
    _ content: repeat each Content
) -> TupleView<(repeat each Content)> {
    TupleView((repeat each content))
}

可以理解为：把多个 View 自动拼成一个

Swift 复制代码

Text + Image + Color
↓
(Text, Image, Color)
↓
TupleView<(Text, Image, Color)>

非 View 为什么会直接报错？

Swift 复制代码

VStack {
    Text("OK")
    123   // 报错
}

不是运行时报错，而是编译期直接失败。

原因只有一句：each Content: View

泛型约束直接限制死了类型

Text 符合要求
Image 符合要求
Int 不符合要求

没有任何 runtime 判断，纯编译期保证安全。

五、为什么不能用数组替代？

这是很多人理解的误区

Swift 复制代码

错误写法：
let views: [View] = [...]

直接报错：
Protocol 'View' can only be used as a generic constraint

原因 1：View 有 associatedtype

Swift 规定：带关联类型的协议，不能作为具体类型使用

原因 2：AnyView 是"性能毒药"

你可以这么写：[AnyView]但代价是：

丢失类型信息
SwiftUI diff 失效
性能下降
动画异常

完全违背 SwiftUI 的设计哲学

六、参数包 vs 数组 vs 可变参数（必须分清）

表格

类型	是否支持异构	本质
[T]	否	同类型容器
T...	否	语法糖数组
each T	是	类型级展开

七、实战技巧：强制至少 1 个参数

默认参数包允许 0 个参数（会有 warning）。推荐写法：

Swift 复制代码

func firstOf<
    First: Collection,
    each Rest: Collection
>(
    _ first: First,
    _ rest: repeat each Rest
) -> (First.Element?, repeat (each Rest).Element?) {
    (first.first, repeat (each rest).first)
}

八、现在 SwiftUI 有多自由？

理论上：

Swift 复制代码

VStack {// 100 个 View 也可以}

10 个限制已经彻底消失（Xcode 15+）

九、总结（更工程化一点）

最低要求：Swift 5.9 / Xcode 15
核心能力：类型级 "变长泛型"
本质提升：从"重载驱动" → "表达能力驱动"
最大受益者：SwiftUI / DSL / 泛型库