真相调查：Go 语言真的消灭了 Undefined Behavior 吗？
💡
原文中文，约7700字，阅读约需19分钟。
📝
内容提要
Go语言并未完全消除未定义行为（UB），而是将其转移至并发环境。尽管Go通过严格定义行为提高了安全性，但在数据竞争等方面仍存在风险，开发者需谨慎使用并发以确保代码安全。
🎯
关键要点
- Go语言并未完全消除未定义行为，而是将其转移至并发环境。
- Go通过严格定义行为提高了安全性，但在数据竞争等方面仍存在风险。
- Go选择了一条确定性优先的道路，禁止编译器进行危险的假设。
- Go对整数溢出、数组越界和空指针解引用等行为进行了明确的定义。
- 数据竞争是Go语言安全神话中的最大裂痕，可能导致内存安全破坏。
- Go的并发模型允许Goroutine共享内存，数据竞争会导致未定义行为。
- 未指明行为和实现定义行为在Go中存在，可能影响程序的确定性。
- 开发者应开启-race标志进行竞态检测，避免数据竞争问题。
- 使用unsafe包时需谨慎，可能导致未定义行为。
- Go语言通过牺牲部分性能和增加运行时检查，缩小了未定义行为的攻击范围。
➡️
