第2章 Go语言核心特性高频面试题

Q1：goroutine 与 OS 线程有什么区别？

• 考察点：并发模型理解、GMP 调度知识、栈大小与切换开销。
• 回答框架：① 栈大小（goroutine 初始 2KB 可伸缩 vs 线程 MB 级）；② 调度方式（Go 运行时用户态调度 vs 内核抢占式）；③ 切换成本（goroutine 3 个寄存器 vs 线程上下文切换数百条指令）。
• 示例回答：goroutine 是 Go 的轻量级执行单元，初始栈仅 2KB，可动态扩至 1GB。由 Go 运行时基于 GMP 模型在用户态调度，切换只需保存 PC/SP 等少数寄存器，成本远低于 OS 线程。一个进程中可轻松启动数万 goroutine。
• 可能追问：GMP 中每个 P 为什么默认绑定一个线程？goroutine 泄漏怎么排查？
• 避坑提醒：不要只说“轻量级线程”，要讲清“栈伸缩”和“用户态调度”两个关键差异；避免把 G 和 OS 线程直接等同。

Q2：缓冲 channel 与非缓冲 channel 的区别？

• 考察点：CSP 通信模型、阻塞机制、channel 关闭后的行为。
• 回答框架：① 无缓冲：发送和接收必须同时准备，同步阻塞；② 有缓冲：发送方在缓冲区不满时直接写入，接收方在缓冲区不空时直接读取，异步非阻塞；③ 关闭后：已缓冲数据可继续读，再读返回零值但注意检测 closed。
• 示例回答：无缓冲 channel 强制 goroutine 同步，发送和接收同时发生。有缓冲 channel 提供固定大小的队列，发送方在未满时无需等待，接收方在非空时无需等待，实现通信与解耦的平衡。
• 可能追问：如何实现超时控制？（结合 select + time.After）单向 channel 的作用？
• 避坑提醒：忘记 channel 关闭后读取会返回零值，必须用 comma-ok 语法判断；不要在不同 goroutine 中同时关闭和发送，会 panic。

Q3：defer 的执行顺序及常见陷阱有哪些？

• 考察点：栈式延迟执行、参数求值时机、与 return/panic 的交互。
• 回答框架：① 多个 defer 按后进先出（LIFO）执行；② 被 defer 的函数参数在 defer 语句处求值（值拷贝）；③ 在 return 前执行，可修改命名返回值；④ panic 触发未处理的 defer 链后 recover 可捕获。
• 示例回答：defer 将函数压入栈，在所在函数返回前按 LIFO 执行。例如 `defer fmt.Println(a)` 中 a 在 defer 时求值。若 defer 中修改命名返回值，会影响实际返回值。配合 recover 可在 panic 时恢复程序。
• 可能追问：defer 与 return 谁先谁后？defer 中使用 recover 时 panic 还会继续传播吗？
• 避坑提醒：循环中 defer 资源释放会累积到函数结束才执行，应改为在循环内匿名函数执行；不要误以为 defer 在函数调用前执行。