SwiftUI中@State变量在init方法中赋值的异常问题及原理疑问

针对你遇到的这几个@State在init中赋值的问题，我来逐一拆解背后的原因，结合你给出的场景来解释：

先搞懂@State的本质 #

首先要明确：@State是SwiftUI的属性包装器，它的实际值并不存储在你的View结构体实例里。因为View是值类型，每次视图刷新都会重新创建结构体实例，@State的真正存储是由SwiftUI管理的、绑定到视图生命周期的独立内存区域。只有当视图被添加到SwiftUI的视图树之后，@State的包装器才会和这个底层存储建立关联。

你的四个场景分析 #

场景1：无默认值的@State在init直接赋值（Release模式崩溃） #

public struct TestSetStateView: View { 
    @State var item:Int 
    public init(item: Int) { 
        self.item = item 
    }
    // ...
}

当你在init里直接给self.item赋值时，此时View结构体只是被创建，但还没有被SwiftUI加载到视图树中，@State的包装器还没有完成初始化——它内部指向底层存储的指针还是无效的。Debug模式下SwiftUI会做一些容错处理，避免崩溃，但Release模式下这些调试容错被移除，直接访问无效内存就会触发EXC_BAD_ACCESS致命错误。

场景2：带默认值的@State在init直接赋值（赋值不生效） #

public struct TestSetStateView: View { 
    @State var item:Int = 0 
    public init(item: Int) { 
        self.item = item 
    }
    // ...
}

这里init里的self.item = item其实只是给View结构体的临时属性赋值，但当SwiftUI把这个View加载到视图树时，它会忽略结构体里的这个临时值，而是用你定义的默认值0来初始化@State的底层存储。所以最终界面显示的是默认值，init里的赋值被覆盖了。

场景3：onAppear中赋值（生效） #

public struct TestSetStateView: View { 
    @State var item:Int = 0 
    let firstItem: Int 
    public init(item: Int) { 
        firstItem = item 
    }
    public var body: some View { 
        Text("Hello: \(item)") 
            .onAppear(perform: { item = firstItem }) 
    }
}

onAppear的回调是在视图被成功添加到视图树之后才会执行的，此时@State的包装器已经和SwiftUI管理的底层存储建立了关联。这时候给item赋值，会通过@State的setter正确更新底层存储，同时触发视图刷新，所以能显示正确的值。

场景4：直接初始化@State包装器实例（生效） #

public struct TestSetStateView: View { 
    @State var item:Int 
    public init(item: Int) { 
        _item = State(initialValue: item) 
    }
    // ...
}

下划线_item是@State属性包装器的实际实例（而item是包装器提供的访问接口）。在init里直接给_item赋值，相当于手动创建了一个State实例并传递初始值，SwiftUI在加载视图时会使用这个实例来初始化底层存储，所以最终能正确显示传入的值。

你的疑问解答 #

1. 为什么可以在onAppear中直接给item赋值，却不能在init方法中直接赋值？ #

因为时机不同：

• init阶段：View结构体刚被创建，但还没进入SwiftUI的视图树，@State的底层存储还没被初始化，包装器的访问接口（item）还无法正确关联到有效内存，直接赋值要么无效要么崩溃。
• onAppear阶段：视图已经被加载到视图树，@State的包装器已经完成和底层存储的绑定，此时通过item赋值会触发包装器的setter，正确更新状态并刷新视图。

2. 为什么在onAppear中不需要使用下划线？ #

@State属性包装器的核心作用就是提供了item这个便捷的访问接口——当包装器已经和底层存储绑定后（也就是视图在视图树中时），访问item会自动调用包装器的getter获取底层值，赋值会调用setter更新底层值并通知SwiftUI刷新视图。而下划线_item是直接操作包装器实例本身，只有在包装器还没被SwiftUI初始化的阶段（比如init）才需要这么做，因为此时便捷接口item还不可用。

3. 第一个场景中的致命错误为什么仅在Release模式下出现？ #

Debug模式下，SwiftUI会加入大量的调试检查和容错逻辑，比如检测到@State未正确初始化时，会临时分配内存或者忽略错误操作，避免崩溃方便开发者调试。但Release模式下这些调试代码会被编译优化掉，所有的容错都被移除，直接访问未初始化的包装器内部指针就会触发内存访问错误，导致EXC_BAD_ACCESS。

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