SwiftUI：如何让闭包符合AccessibilityRotorContent协议？

问题背景 #

我实现了一个展示卡片堆叠的CardStack视图，定义如下，接收两个参数：

• 卡片数据数组
• 用于构建每个卡片CardView的闭包

初始代码：

struct CardStack: View {
    var cards: [Card]
    var content: (Int, Card) -> CardView

    init(cards: [Card], @ViewBuilder content: @escaping (Int, Card) -> CardView) {
        self.cards = cards
        self.content = content
    }
    
    var body: some View {
        ZStack {
            ForEach(Array(cards.enumerated()), id: \.element.id) { index, card in
                content(index, card)
            }
        }
    }
}

第一个错误场景 #

当闭包仅返回CardView时代码正常运行，但一旦给CardView添加视图修饰符（比如.zIndex），闭包的返回类型会变成some View，此时出现编译错误：
Cannot convert return expression of type 'some View' to return type 'CardView'

出错的调用代码：

var deckBody: some View {
    CardStack(cards: viewModel.cards) { index, card in  // 报错位置
        CardView(card: card)
            .zIndex(Double(index))
    }
}

第二个错误场景 #

我尝试将CardStack的闭包返回类型改成any View，代码修改后：

struct CardStack: View {
    var cards: [Card]
    var content: (Int, Card) -> any View

    init(cards: [Card], @ViewBuilder content: @escaping (Int, Card) -> any View) {
        self.cards = cards
        self.content = content
    }
    
    var body: some View {
        ZStack {
            ForEach(Array(cards.enumerated()), id: \.element.id) { index, card in
                content(index, card)     // 报错位置
            }
        }
    }
}

此时又出现新的编译错误：
Static method 'buildExpression' requires that 'Content' conform to 'AccessibilityRotorContent'

问题原因 #

1. 第一个错误：SwiftUI的视图修饰符（比如.zIndex、.shadow）会返回一个全新的、包装了原视图的some View实例，不再是原来的CardView类型，这就和闭包声明的CardView返回类型不匹配，导致类型转换失败。
2. 第二个错误：@ViewBuilder闭包不支持直接返回any View。@ViewBuilder需要处理具体的、符合View协议的类型，而any View是经过类型擦除的存在类型，无法满足@ViewBuilder内部的构建逻辑，进而触发了 accessibility 相关的协议一致性检查错误。

解决方法 #

正确的方案是给CardStack添加泛型约束，让闭包可以返回任意符合View协议的类型，这样既兼容带修饰符的视图，又能适配@ViewBuilder的要求：

修改后的CardStack代码：

struct CardStack<Content: View>: View {
    var cards: [Card]
    var content: (Int, Card) -> Content

    init(cards: [Card], @ViewBuilder content: @escaping (Int, Card) -> Content) {
        self.cards = cards
        self.content = content
    }
    
    var body: some View {
        ZStack {
            ForEach(Array(cards.enumerated()), id: \.element.id) { index, card in
                content(index, card)
            }
        }
    }
}

使用示例 #

修改后，调用时可以自由添加任意视图修饰符，不会再出现编译错误：

var deckBody: some View {
    CardStack(cards: viewModel.cards) { index, card in
        CardView(card: card)
            .zIndex(Double(index))
            .shadow(color: .black.opacity(0.2), radius: 10, x: 0, y: 5)
            .padding()
    }
}

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