本文详解 Go 中结构体和切片初始化时因变量作用域误用导致的引用共享问题，通过修正 rule := &Section{} 为 rule = &Section{}，确保每次新建独立结构体实例，从而正确解析 Markdown 分节并序列化为预期 JSON。
本文详解 go 中结构体和切片初始化时因变量作用域误用导致的引用共享问题，通过修正 `rule := §ion{}` 为 `rule = §ion{}`，确保每次新建独立结构体实例，从而正确解析 markdown 分节并序列化为预期 json。
在 Go 中，:= 是短变量声明操作符，它不仅赋值，还会在当前作用域内声明新变量。原代码中：
if rgxRoot.MatchString(linetext) {
rule := &Section{} // ❌ 错误：声明了新的局部变量 rule，遮蔽（shadow）了外层 rule
rule.Category = linetext
}
此处的 rule := &Section{} 创建了一个仅在 if 块内有效的局部变量，外层循环持有的 rule 指针始终未更新——它仍指向最初创建的空 Section 实例。后续所有 rule.Lines = append(...) 都在向同一个底层数组追加数据，最终导致所有节的 Lines 共享同一份内容，且 Category 始终为空（因为外层 rule 的 Category 从未被赋值）。
✅ 正确做法是使用赋值操作符 =，复用已声明的 rule 变量：
// 初始化一个空指针，后续动态分配
rule := &Section{} // 初始指向一个空结构体（可选，但需注意：此时 Lines 是 nil 切片）
for scanner.Scan() {
linetext := strings.TrimSpace(scanner.Text())
// 遇到标题行：重置 rule，指向新结构体
if rgxRoot.MatchString(linetext) {
rule = &Section{} // ✅ 正确：赋值给已有变量，更新其指向
rule.Category = linetext
continue // 跳过后续处理（标题行不作为 Line）
}
// 遇到列表项：追加到当前节的 Lines
if rgxBehaviour.MatchString(linetext) {
rule.Lines = append(rule.Lines, linetext)
continue
}
// 遇到空行：保存当前节，并重置（可选，但推荐显式清空逻辑）
if linetext == "" && len(rule.Lines) > 0 { // 确保非空节才保存
ruleArr = append(ruleArr, rule)
rule = &Section{} // 为下一节预分配（也可延后到下一个标题时再分配）
}
}
// 循环结束后，处理最后一节（无结尾空行的情况）
if len(rule.Lines) > 0 {
ruleArr = append(ruleArr, rule)
}
⚠️ 关键注意事项：
- 切片零值安全：rule.Lines 初始化为 nil 是安全的，append(nil, x) 会自动分配底层数组。
- 空行判断优化：使用 strings.TrimSpace(linetext) == "" 更鲁棒，避免空白符干扰。
- 边界处理：Markdown 文件末尾可能无空行，需在循环外手动追加最后一节。
- 错误处理不可省略：生产代码中应检查 os.Open、regexp.Compile、scanner.Err() 和 json.MarshalIndent 的返回错误，而非用 _ 忽略。
完整修复后的核心逻辑清晰体现了 Go 的内存模型本质：结构体指针赋值改变的是指针所指地址，而非复制整个结构体；而切片作为引用类型，其 append 操作在底层数组容量不足时会重新分配，但前提是操作对象是正确的指针目标。理解变量作用域与赋值语义，是写出健壮 Go 代码的基础。
