本文详解 Go 并发编程中因循环变量复用导致对象被意外覆盖的经典问题，聚焦 for range 中取地址（&category）引发的指针指向同一内存位置的隐患，并提供安全、可复用的修复方案。
本文详解 go 并发编程中因循环变量复用导致对象被意外覆盖的经典问题，聚焦 `for range` 中取地址（`&category`）引发的指针指向同一内存位置的隐患，并提供安全、可复用的修复方案。
在 Go 的并发爬虫实践中，一个隐蔽却高频的问题是：多个 goroutine 接收到的结构体指针实际指向同一个栈变量地址，导致数据被覆盖或逻辑错乱。您提供的代码正是这一问题的典型体现——extractCategories 返回一个 *[]Category，随后通过 for _, category := range *categories 遍历并发送 &category 到 downloadChannel，看似合理，实则危险。
? 问题本质：range 循环变量是复用的
Go 规范明确规定：for range 中的迭代变量（如 category）在整个循环生命周期内只声明一次，每次迭代仅更新其值。这意味着：
for _, category := range *categories {
downloadChannel <p>无论 <code>*categories</code> 包含 10 个还是 100 个不同 <code>Category</code> 值，<code>category</code> 变量本身只有一个内存地址。当 goroutine 在后续执行中读取 <code>*target</code>（即 <code>*Category</code>）时，看到的已是最后一次迭代写入的值——这就是为何 <code>parent</code> 字段被“覆盖”，URL 拼接出现 <code>travel-tourism/political-ideological-organizations/</code> 这类错误路径的根本原因。</p><p>该问题在多 worker 场景下被显著放大：goroutine 调度不可预测，<code>category</code> 值可能在 A goroutine 解引用前已被 B goroutine 覆盖。</p><h3>✅ 正确解法：为每个元素创建独立变量副本</h3><p>最直接、最安全的方式是<strong>显式创建每个元素的独立副本</strong>，再取其地址：</p><pre class="brush:php;toolbar:false;">categoriesValues := *categories // 先解引用，获得切片副本
for i := range categoriesValues {
category := categoriesValues[i] // ✅ 每次迭代都新建局部变量
downloadChannel <p>或者更简洁地（推荐）：</p><pre class="brush:php;toolbar:false;">for i := range *categories {
category := (*categories)[i] // 显式索引 + 局部赋值，语义清晰
downloadChannel <blockquote><p>⚠️ 注意：不要写成 <code>downloadChannel —— 这仍可能触发编译器优化导致地址复用（尤其在某些 Go 版本中），<strong>显式赋值给新变量是 Go 社区公认的可靠模式</strong>。</code></p></blockquote><h3>?️ 进阶建议：避免不必要的指针传递</h3><p>进一步提升健壮性，可重构为值传递 + 显式拷贝：</p>
- 将
worker函数签名改为接收Category值而非*Category； - 在
main中直接发送category（值），worker 内部再取地址（若需修改）； - 或者——更符合 Go 习惯——让
Category结构体保持小而轻量（当前完全满足），直接按值传递，消除指针歧义。
例如：
// 修改 worker 签名 func worker(downloadChannel <h3>? 总结：三条黄金准则</h3><ol> <li> <strong>永远警惕 <code>&v</code> 在 <code>for range</code> 中的使用</strong>：只要 <code>v</code> 是循环变量，<code>&v</code> 就是危险的；</li> <li> <strong>需要指针？先复制再取址</strong>：<code>x := slice[i]; send(&x)</code> 是安全范式；</li> <li> <strong>优先考虑值语义</strong>：Go 的高效复制机制使小结构体按值传递既安全又高效，减少共享状态复杂度。</li> </ol><p>修复后，您的爬虫将稳定生成正确的层级 URL（如 <code>political-ideological-organizations/</code> 不再错误挂载于 <code>travel-tourism/</code> 下），并发扩展性与数据一致性同步提升。</p>
