swift - SwiftUI View 的默认成员初始化器 VS 自定义初始化器

Question

简而言之 - 当使用 ViewModel ("MyView"/"MyViewModel") 构建自定义 SwiftUI View 时，如下所示:

struct ContentView: View {

    var body: some View {
        MyView(viewModel: MyViewModel())
    }
}

这是为什么:

struct MyView: View {

    @StateObject var viewModel: MyViewModel

    var body: some View {
        Text("Hello world!")
    }
}

和这个不一样:

struct MyView: View {

    @StateObject var viewModel: MyViewModel

    init(viewModel: MyViewModel) {
        self._viewModel = StateObject(wrappedValue: viewModel)
    }

    var body: some View {
        Text("Hello world!")
    }
}

调试时，看起来第二个选项会导致每次 MyView 被 SwiftUI 重构时创建新的 MyViewModel 实例。但在第一个选项中，StateObject 包装器似乎完成了它的工作，并确保只为 MyView 的所有重建创建一个 MyViewModel 实例。

是否有一些额外的 SwiftUI 魔法适用于使用 View 的默认成员初始化器与自定义初始化器？也许是通过 ViewBuilder？

下面是一个简单的示例应用程序 MyApp.swift，用于查看实际行为。

//
//  MyApp.swift
//

import SwiftUI

@main
struct MyApp: App {

    var body: some Scene {
        WindowGroup {
            ContentView()
        }
    }
}

struct ContentView: View {

    @AppStorage("redBackground") private var redBackground: Bool = false

    var body: some View {
        ZStack {
            // Flipping "redBackground" will cause a reconstruction of the view hierarchy
            if redBackground {
                Color.red
            } else {
                Color.green
            }
            MyView(viewModel: MyViewModel())
        }
    }
}

final class MyViewModel: ObservableObject {

    init() {
        print("MyViewModel.init")
    }
}

struct MyView: View {

    @StateObject var viewModel: MyViewModel

    @AppStorage("redBackground") private var redBackground: Bool = false

    // WARNING: Uncommenting this causes the view model to be recreated every reconstruction of the view!
    //    init(viewModel: MyViewModel) {
    //        self._viewModel = StateObject(wrappedValue: viewModel)
    //    }

    var body: some View {
        VStack {
            Button("Toggle background") {
                redBackground = !redBackground
            }
        }
    }
}

Answer 1

请注意 StateObject.init(wrappedValue:)初始化程序接受 autoclosure .

init(wrappedValue thunk: @autoclosure @escaping () -> ObjectType)

此 @autoclosure 被传播到 MyView 的自动生成的成员初始化程序，使表达式 MyViewModel() 传递给 View 懒得评价了这就是导致 SwiftUI 只为 View 的所有重绘创建一个 View 模型的原因。

我找不到任何记录这种 @autoclosure 传播的文档，但我可以确认它发生在这段代码中:

@propertyWrapper
struct MyStateObject {
    var wrappedValue: String
    
    init(wrappedValue: @autoclosure () -> String) {
        self.wrappedValue = wrappedValue()
    }
}

struct MyView {
    @MyStateObject var foo: String
}

编译它时，二进制文件中有一个名为 MyView.init(foo: @autoclosure () -> Swift.String) -> MyView 的符号。参见 godbolt.org

另一方面，您的手写初始化程序不采用@autoclosure，因此急切地评估MyViewModel()。您传递给 StateObject.init(wrappedValue:) 的惰性表达式现在只是参数名称 viewModel，这不是一件复杂的事情来评估:)

因此，要使用您自己的手写初始化程序重新创建相同的行为，您还应该添加 @autoclosure:

init(viewModel: @autoclosure @escaping () -> MyViewModel) {
    self._viewModel = StateObject(wrappedValue: viewModel())
}