如何为带泛型参数的可选ViewBuilder闭包生成合成初始化器？

原始代码 #

我原本的MenuList组件代码如下：

struct MenuList<T: MenuListItem, RowContent: View>: View
{
    private let rowContent: (T) -> RowContent
    
    init(@ViewBuilder rowContent: @escaping (T) -> RowContent = { (_: T) in EmptyView() })
    {
        self.rowContent = rowContent
    }
    
    // 其他视图代码...
}

尝试的精简写法 #

由于实际代码包含大量参数，我希望改用合成初始化器精简代码，于是尝试了以下写法：

struct MenuList<T: MenuListItem, RowContent: View>: View
{
    @ViewBuilder private(set) var rowContent: (T) -> RowContent = { (_: T) in EmptyView() })

    // 其他视图代码...
}

编译错误信息 #

出现了以下编译错误：

无法将类型 'EmptyView' 转换为闭包结果类型 'RowContent'，插入 ' as! RowContent'
同一行的连续声明必须用 ';' 分隔，插入 ';'
在 'MenuList' 的声明中缺少预期的声明
结果构建器属性 'ViewBuilder' 仅能应用于定义了 getter 的属性

我尝试了各种方法都无法解决，想知道是否能实现我的需求？

解决方案 #

你的写法存在几个核心问题，对应错误逐一解决后可以实现需求：

问题分析 #

1. @ViewBuilder的使用限制：编译器提示的“结果构建器属性仅能应用于定义了getter的属性”是关键——@ViewBuilder不能直接修饰存储属性，只能用于计算属性、函数参数或闭包参数。
2. 泛型类型不匹配：默认闭包返回EmptyView，但RowContent是泛型参数，无法保证EmptyView与RowContent类型一致，导致类型转换错误。
3. 语法错误：默认值末尾多写了一个)，引发语法解析错误。

可行方案 #

方案一：泛型默认值+针对性初始化器（推荐）

给RowContent指定默认类型为EmptyView，同时提供无参初始化器适配默认场景，既保留合成初始化器的简洁性，又解决类型匹配问题：

struct MenuList<T: MenuListItem, RowContent: View = EmptyView>: View {
    private let rowContent: (T) -> RowContent
    
    // 自定义初始化器，接收自定义rowContent
    init(@ViewBuilder rowContent: @escaping (T) -> RowContent) {
        self.rowContent = rowContent
    }
    
    // 合成初始化器：当RowContent为EmptyView时，无需传参
    init() where RowContent == EmptyView {
        self.rowContent = { _ in EmptyView() }
    }
    
    // 其他视图代码
    var body: some View {
        // 使用rowContent构建视图示例
        List {
            // 遍历数据调用rowContent生成行视图
        }
    }
}

使用方式：

• 无需自定义行视图时：MenuList<YourItemType>()
• 需要自定义行视图时：

MenuList<YourItemType> { item in
    Text(item.title)
}

方案二：计算属性适配@ViewBuilder

如果希望保留存储属性的写法，可以用计算属性包装存储属性，适配@ViewBuilder的要求：

struct MenuList<T: MenuListItem, RowContent: View = EmptyView>: View {
    private let _rowContent: (T) -> RowContent
    
    // 用计算属性适配@ViewBuilder
    @ViewBuilder var rowContent: (T) -> RowContent {
        _rowContent
    }
    
    // 带默认值的初始化器，利用合成初始化器特性
    init(@ViewBuilder rowContent: @escaping (T) -> RowContent = { _ in EmptyView() }) {
        self._rowContent = rowContent
    }
    
    // 其他视图代码
    var body: some View {
        // 使用self.rowContent(item)构建行视图
    }
}

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