Go 语言允许使用花括号 {} 创建匿名语句块，其核心作用是引入新的词法作用域，避免变量重声明错误，尤其在重复使用短变量声明 := 时至关重要。
go 语言允许使用花括号 `{}` 创建匿名语句块，其核心作用是引入新的词法作用域，避免变量重声明错误，尤其在重复使用短变量声明 `:=` 时至关重要。
在 Go 中，这种由 {} 包裹的代码结构被称为 语句块（Statement Block） 或 匿名作用域块（Anonymous Scope Block）。它并非函数、方法或控制结构（如 if、for），而是一种纯粹用于限定变量生命周期和可见范围的语言特性。每个语句块会创建一个嵌套的作用域，其中声明的变量仅在该块内有效，退出块后即被销毁，且不会与外部或同级块中的同名变量冲突。
这在实际编码中非常实用。例如，原始示例中三次独立的检查逻辑（水平、垂直、对角线）均需局部变量 left_to_win、stop_1 和 stop_2。若去掉花括号，直接连续使用 := 声明，Go 编译器会报错：
left_to_win := 3 // ✅ 第一次声明 // ... left_to_win := 3 // ❌ 错误：no new variables on left side of :=
因为 := 要求至少有一个新变量被声明，重复声明同名变量违反 Go 的声明规则。而通过语句块，每次 := 都是在全新作用域中进行，完全合法：
// Check horizontal
{
left_to_win := 3
stop_1, stop_2 := false, false
for x := 1; x <= 4; x++ {
// 处理水平方向逻辑
}
} // left_to_win、stop_1、stop_2 在此结束生命周期
// Check vertical — 全新作用域，可安全复用相同变量名
{
left_to_win := 3
stop_1, stop_2 := false, false
for x := 1; x <= 4; x++ {
// 处理垂直方向逻辑
}
}✅ 适用场景推荐：
- 避免重构成本过高时的快速隔离：当逻辑片段耦合度低、复用价值有限，或暂无明确抽象接口时，语句块比强行提取函数更轻量；
- 临时资源管理：配合 defer 实现块级资源清理（注意：defer 会在外层函数返回时执行，但变量作用域仍受块限制）；
- 条件分支中的局部初始化：在 if 或 switch 分支内进一步细分逻辑，防止变量泄漏到整个分支作用域；
- 测试辅助代码：在 test 文件中组织多组断言前的独立准备步骤。
⚠️ 注意事项：
- 语句块不改变控制流，不能 break 或 continue 外部循环；
- 不支持接收参数或返回值，功能上远弱于函数——若逻辑复杂、需复用或单元测试，仍应优先封装为具名函数；
- 过度使用可能降低可读性，建议搭配清晰注释（如示例中的 // Check horizontal），并控制块内代码长度（建议 ≤ 20 行）。
总之，语句块是 Go 精巧作用域设计的体现，它用极简语法解决了变量声明的刚性约束，在保持代码简洁性与安全性之间提供了优雅平衡。
