SwiftUI视图基于常量布尔值时能否提前确定子视图？

子视图属性的类型声明 #

如果要将初始化时确定的子视图设为实例级属性，有两种可行方案：

1. 类型擦除方案（推荐，适配多分支） #

将subbody声明为AnyView，在初始化时用AnyView包装具体的子视图，统一类型：

struct MyView: View {
    let subbody: AnyView
    
    init(_ data: Whatever) {
        subbody = test(data) ? AnyView(AView()) : AnyView(BView())
        // 多分支场景下，所有子视图都用AnyView包装即可
    }
    
    var body: some View {
        subbody
    }
}

这种方式适配任意数量的分支，实现简单，唯一的代价是轻微的类型擦除开销，但对于初始化时确定的场景，该开销几乎可以忽略。

2. 泛型方案（无类型擦除，适合分支少的场景） #

通过泛型让MyView的类型绑定到子视图类型，避免类型擦除，但不同分支会生成不同的MyView实例类型：

struct MyView<Content: View>: View {
    let subbody: Content
    
    // 为每个分支编写对应初始化方法
    init(_ data: Whatever) where Content == AView {
        subbody = AView()
    }
    
    init(_ data: Whatever) where Content == BView {
        subbody = BView()
    }
    
    var body: some View {
        subbody
    }
}

该方案没有类型擦除开销，但MyView<AView>和MyView<BView>是不同类型，在需要统一类型的场景（如放入数组）中会受限。

Apple针对这类场景的优化 #

SwiftUI编译器和运行时已针对这类初始化时确定的分支做了专门优化：

• 如果分支条件是编译期常量，编译器会直接进行常量折叠，生成对应分支的视图代码，运行时不会执行任何判断逻辑。
• 如果条件是实例初始化时确定的常量（如从传入的data计算得到），SwiftUI会在视图初始化后缓存分支选择结果，后续计算body时不会重复判断。

也就是说，即使你保留body中的条件分支写法，只要条件是初始化后不再变化的常量，就不会有额外的性能开销。只有当条件是动态可变的状态（如@State、@Binding变量）时，才会每次计算body时重新判断。

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