Go 中调用纯函数的并发安全性详解

本文解析 go 语言中在多个 goroutine 中并发调用无状态、无共享、无副作用的普通函数（如 test2）是否线程安全，明确指出只要不访问全局变量、不修改共享内存、不依赖外部状态，此类函数天然具备并发安全性，无需额外同步。 本文解析 go 语言中在多个 goroutine 中并发调用无状态、无共享、无副作用的普通函数（如 test2）是否线程安全，明确指出只要不访问全局变量、不修改共享内存、不依赖外部状态，此类函数天然具备并发安全性，无需额外同步。在 Go 并发编程中，一个常见误区是认为"多 goroutine 调用同一函数就存在竞态风险"。实际上，函数本身是否线程安全，取决于其内部行为，而非调用方式。以原始示例为例：func main() { for i := 0; i < 1_000_000; i++ { go test() } // 注意：此处应加入同步机制（如 waitgroup），否则主 goroutine 可能提前退出}func test() { a := test2()}func test2() int { // 纯计算逻辑：仅使用局部变量，无 I/O、无全局读写、无指针逃逸 var sum int for j := 0; j < 100; j++ { sum += j * j } return sum}? 该代码是完全线程安全的------因为 test2 仅操作栈上分配的局部变量（sum, j），每次调用都拥有独立的栈帧，彼此隔离。Go 运行时自动为每个 goroutine 分配独立栈空间，因此即使百万级并发调用 test2，也不会发生数据竞争、内存冲突或崩溃（除非逻辑内含 panic 或致命错误，如除零、空指针解引用等）。?? 需注意的关键前提（违反任一即可能引发竞态）：? 不读写包级/全局变量（如 var counter int）? 不修改传入的指针或切片底层数组（除非明确加锁或使用 sync/atomic）? 不调用非并发安全的外部函数（如未加锁的 map 写操作、rand.Seed() 等）? 不依赖并修改闭包捕获的可变变量（如 for i := range xs { go func(){ use(i) }() } 中的 i）关于第二种写法（在 test 内定义匿名函数）： Mokker AI AI产品图添加背景