SwiftUI中父视图移除子视图后为何子视图仍会被重计算？

问题现象 #

执行以下代码并点击按钮两次：

1. 第一次点击：someString被设为非nil，渲染SubView
2. 第二次点击：1秒后someString被设为nil，代码在return someString! + " subView"行崩溃，报Unexpectedly found nil while unwrapping an Optional value错误

输出日志：

ContentView someString == nil, not calculating SubView
ContentView someString != nil
SubView, someString != nil
ContentView someString == nil, not calculating SubView
SubView, someString == nil, will crash
TestSubViews/ContentView.swift:21: Fatal error: Unexpectedly found nil while unwrapping an Optional value

问题代码 #

import SwiftUI

struct SubView: View {
  @Binding var someString : String?
  var body: some View {
    Text(calculatedText())
  }
  func calculatedText() -> String {
    if (someString == nil) {
      print("SubView, someString == nil, will crash")
    } else {
      print("SubView, someString != nil")
    }
    return someString! + " subView"
  }
}

struct ContentView: View {
  @State var someString : String? = nil
  @State var buttonText = "click me"
  var body: some View {
    VStack {
      if someString != nil {
        let _ = print("ContentView someString != nil")
        SubView(someString: $someString)
      } else {
        let _ = print("ContentView someString == nil, not calculating SubView")
        Text("no subview")
      }
      Button(buttonText) {
        if someString == nil {
          someString = "some string"
          buttonText = "click me to crash in 1 second"
        } else {
          Task {
            try! await Task.sleep(nanoseconds: 1_000_000_000)
            someString = nil
          }
        }
      }
    }
  }
}

疑问解答 #

1. 为何父视图不渲染SubView后，其计算方法仍被调用？ #

SwiftUI的视图是值类型，由状态驱动更新，核心原因是绑定状态的更新时机早于子视图的销毁时机：

• 当someString被设为nil时，绑定$someString会立即触发SubView的状态更新通知，此时SubView还没被从视图层级中移除。
• 父视图重新计算body时，确实会进入else分支不再返回SubView，但这个body计算是同步的，而视图的移除属于SwiftUI的后续渲染调度流程，在调度完成前，SubView依然存在并会响应绑定的状态变化，导致calculatedText()被调用，此时someString已经是nil，强制解包就会崩溃。

2. 子视图从层级中移除的时机是否不确定？ #

不是不确定，而是遵循SwiftUI的渲染周期顺序：

• 状态变化后，SwiftUI会先通知所有依赖该状态的视图（包括即将被移除的SubView）重新计算body；
• 完成所有视图的body计算后，框架才会对比新旧视图结构（diff），执行视图的添加/移除操作。
• 所以在body计算完成到视图移除的这段时间内，SubView仍会存在并响应状态更新，这是框架的既定流程，并非随机行为。

修复建议 #

避免强制解包，改用可选绑定处理nil情况：

func calculatedText() -> String {
    guard let str = someString else {
        print("SubView, someString == nil, use default")
        return "default subView"
    }
    print("SubView, someString != nil")
    return str + " subView"
}

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