本文解析 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产品图添加背景