如何消除带参数的可选@ViewBuilder闭包的类型推断警告？

问题本质 #

Xcode 16.4对应的Swift版本收紧了泛型类型推断规则：当结构体已有其他参数（如你提到的T、[T]类型属性）能推断部分泛型信息时，不能再通过默认表达式推断剩余泛型参数（此处为AdditionalRowActions），否则会触发歧义警告，未来该行为会直接报错。

解决方案（完全保留原有功能） #

方案1：拆分初始化器（推荐，无强制转换）

通过两个初始化器分别处理“自定义闭包”和“默认EmptyView”场景，让编译器无需依赖默认表达式推断泛型类型：

struct MenuList<T: MenuListItem, AdditionalRowActions: View>: View {
    private var additionalRowActions: (T, Binding<Bool>) -> AdditionalRowActions
    
    // 传入自定义操作闭包的初始化器
    init(@ViewBuilder additionalRowActions: @escaping (T, Binding<Bool>) -> AdditionalRowActions) {
        self.additionalRowActions = additionalRowActions
    }
    
    // 默认初始化器，显式约束AdditionalRowActions为EmptyView
    init() where AdditionalRowActions == EmptyView {
        self.additionalRowActions = { _, _ in EmptyView() }
    }
}

调用方式和之前完全一致：

• 需要自定义操作时：MenuList(additionalRowActions: { item, isSelected in /* 自定义视图逻辑 */ })
• 使用默认行为时：MenuList()

方案2：指定泛型默认类型

给AdditionalRowActions设置默认泛型类型为EmptyView，调整默认闭包的类型转换以避免推断歧义：

struct MenuList<T: MenuListItem, AdditionalRowActions: View = EmptyView>: View {
    private var additionalRowActions: (T, Binding<Bool>) -> AdditionalRowActions
    
    init(@ViewBuilder additionalRowActions: @escaping (T, Binding<Bool>) -> AdditionalRowActions = { _, _ in EmptyView() as! AdditionalRowActions }) {
        self.additionalRowActions = additionalRowActions
    }
}

此方案无需拆分初始化器，但使用了as!强制转换（仅在默认场景下安全，因为泛型默认类型就是EmptyView）。

效果说明 #

两种方案都能保留原有功能：用户可选择传入自定义@ViewBuilder闭包，不传时自动使用EmptyView，同时彻底消除编译器警告。

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