Go 语言中，goroutine 是由运行时调度器管理的轻量级并发单元，其启动和执行时机不受程序员直接控制，因此多个 goroutine 的输出顺序天然无序，需通过同步机制（如 channel、sync.WaitGroup）显式协调。
go 语言中，goroutine 的执行顺序为何不可预测？go 语言中，goroutine 是由运行时调度器管理的轻量级并发单元，其启动和执行时机不受程序员直接控制，因此多个 goroutine 的输出顺序天然无序，需通过同步机制（如 channel、sync.waitgroup）显式协调。
在你提供的代码中，for i := 0; i < 10; i++ { go count(i) } 启动了 10 个并发 goroutine，但 i 是循环变量，所有 goroutine 共享同一内存地址。由于 go count(i) 是异步启动，而循环执行极快，往往在 count 函数实际开始执行前，i 已经递增至 10 并退出循环——导致多个 goroutine 捕获到的 i 值发生竞态，常见表现为重复、遗漏或非预期数值（如 0 : 0 后突然出现 6 : 0）。
更关键的是：goroutine 的调度由 Go 运行时动态决定，取决于底层 OS 线程、GMP 调度器状态、GC 活动、I/O 就绪等多重因素。即使修复变量捕获问题，也无法保证“先启动的 goroutine 一定先打印 : 0”。例如：
// ✅ 正确捕获循环变量（避免 i 被覆盖）
for i := 0; i < 10; i++ {
i := i // 创建局部副本
go count(i)
}但这仍无法解决“顺序输出”需求——因为 count(0) 和 count(1) 是并行执行的，各自独立休眠 1 秒，谁先打印 : 0 完全取决于调度时机。
若需严格按轮次输出（如所有 goroutine 先输出 : 0，再统一输出 : 1），必须引入同步原语。例如使用 sync.WaitGroup + channel 控制每轮屏障：
func countWithBarrier(id int, roundCh <-chan int, doneCh chan<- bool) {
for round := range roundCh {
fmt.Println(id, ":", round)
if round == 9 {
break
}
}
doneCh <- true
}
func main() {
roundCh := make(chan int, 10)
doneCh := make(chan bool, 10)
for i := 0; i < 10; i++ {
i := i
go countWithBarrier(i, roundCh, doneCh)
}
// 每轮广播一次 round 号
for round := 0; round < 10; round++ {
roundCh <- round
time.Sleep(time.Millisecond * 100) // 确保本轮回所有 goroutine 都收到
}
close(roundCh)
// 等待全部完成
for i := 0; i < 10; i++ {
<-doneCh
}
}⚠️ 注意事项：
- 不要依赖 goroutine 启动顺序推断执行顺序；
- 循环中启动 goroutine 时，务必通过 i := i 显式复制循环变量；
- “有序输出”本质是协调并发行为，而非控制调度器——应使用 channel、WaitGroup、Mutex 或条件变量等同步工具建模业务逻辑约束；
- 过度追求输出顺序可能掩盖设计问题：真正的并发程序应关注结果正确性与数据一致性，而非打印时序。
总结：Goroutine 的“无序”不是 bug，而是并发模型的固有特性。理解并接受这一事实，是写出健壮 Go 并发程序的第一步。
