12、Swift并发编程：Actor的使用与优化

Swift并发编程：Actor的使用与优化

1. 检测竞态条件

在软件开发中，竞态条件是一个常见的问题，尤其是在并发编程中。为了检测代码中的数据竞争问题，可以在Xcode项目方案中启用线程 sanitizer。具体操作步骤如下：
1. 点击Xcode工具栏中的方案选择器，选择“Edit scheme…”。
2. 在方案窗口中，点击“Run”，然后选择“Diagnostics”选项卡。
3. 勾选“Thread Sanitizer”复选框，最后关闭方案编辑窗口。

当重新构建项目时，Xcode会在应用中添加一些额外的检查。在运行时，这些检查将验证代码是否并发地修改了任何数据。构建并运行应用，让应用加载并切换到提要屏幕。如果线程 sanitizer 检测到数据竞争，代码在生产环境中最终可能会崩溃。

2. 使用Actor保护共享可变状态

为了保护 EmojiArtModel.verifiedCount 免受并发访问，可以将 EmojiArtModel 从类转换为 actor。具体操作如下：
1. 打开 EmojiArtModel.swift 文件。
2. 将 class EmojiArtModel: ObservableObject 替换为 actor EmojiArtModel: ObservableObject 。

然而，将其转换为 actor 后，可能会遇到编译错误。例如，会出现 “Actor-isolated property ‘verif