SwiftUI ViewBuilder限制困惑：为何需用let _ =执行代码？

问题核心 #

你在SwiftUI的body里执行副作用代码（比如调用IntroManager.appLaunched()和修改UserDefaults）时，必须用let _ =包裹才能编译，本质是SwiftUI的ViewBuilder DSL的语法限制。

为什么会有这个限制？ #

SwiftUI的body是用@ViewBuilder修饰的，它本质是一个结果构建器（Result Builder），设计目的是组合生成UI视图，而非执行任意副作用代码。

结果构建器的语法规则明确：

• 允许声明语句（比如let x = ...这类定义变量的代码）
• 不允许纯粹的赋值或无返回值函数调用语句（比如直接写IntroManager.appLaunched()或者UserDefaults.standard.setValue(...)）

你看到的那句解释“view builders happen to support declarations, but not assignments”就是这个意思：ViewBuilder刚好支持变量声明，但不支持直接的赋值或无返回值调用。

而let _ = ...能通过编译的原因，是它把原本的函数调用/赋值转换成了变量声明语句（变量名_表示这个值会被立刻忽略），刚好符合ViewBuilder允许的语法规则，所以编译器就认可了。

更合理的解决方案 #

直接在body里塞副作用代码不符合SwiftUI的设计理念——body应该只负责描述UI结构，不该包含业务逻辑或副作用。推荐两种更规范的处理方式：

方案1：针对当前View的首次出现，用onAppear #

var body: some View {
    // 你的UI内容
    Text("Hello SwiftUI")
        .onAppear {
            if !UserDefaults.standard.bool(forKey: kIntroAppLaunchedInfoShown) {
                IntroManager.appLaunched()
                UserDefaults.standard.setValue(true, forKey: kIntroAppLaunchedInfoShown)
            }
        }
}

方案2：针对整个应用的首次启动，在App结构体初始化中处理 #

@main
struct YourApp: App {
    init() {
        let hasShownIntro = UserDefaults.standard.bool(forKey: kIntroAppLaunchedInfoShown)
        if !hasShownIntro {
            IntroManager.appLaunched()
            UserDefaults.standard.setValue(true, forKey: kIntroAppLaunchedInfoShown)
        }
    }
    
    var body: some Scene {
        WindowGroup {
            ContentView()
        }
    }
}

这样既符合SwiftUI的设计规范，也不用写看似无用的let _ =代码。

内容的提问来源于stack exchange，提问作者Reinhard Männer