Go 要求 if 条件后的左花括号 { 必须与 if 关键字位于同一行，否则编译器会自动插入分号导致语法错误——这是 Go 自动分号插入规则（semicolon injection）的典型表现。
go 要求 if 条件后的左花括号 `{` 必须与 `if` 关键字位于同一行，否则编译器会自动插入分号导致语法错误——这是 go 自动分号插入规则（semicolon injection）的典型表现。
在 Go 中，看似微小的换行位置差异，可能引发令人困惑的编译错误。你遇到的问题：
if pr != nil
{
local := peopleOnFloor[pr.Email]
sp := &Super{pr, local}
names = append(names, sp)
}
表面看逻辑清晰，但编译器报错：
./myprog.go:1046: missing condition in if statement ./myprog.go:1046: pr != nil evaluated but not used
根本原因不是空值判断逻辑有误，而是 Go 的语法强制约定与自动分号插入机制共同作用的结果。
? 为什么换行会导致编译失败？
Go 规范明确规定：if、for、switch 等控制语句的左花括号 { 必须与条件/关键字写在同一行。若换行，Go 会在 if pr != nil 行末自动插入分号（;），将其视为一条完整语句，而后续的 { ... } 则被解析为一个独立的、无上下文的代码块——等价于：
if pr != nil; // ← 编译器自动插入的分号！语句已结束
{ // ← 孤立的复合语句块，无关联条件
local := peopleOnFloor[pr.Email] // ⚠️ 此时 pr 可能为 nil，且该块未受任何条件保护！
// ...
}
这不仅使 pr != nil 的判断“被计算但未使用”（违反 Go 的未使用变量/表达式警告），更让后续代码失去条件约束，存在运行时 panic 风险（如 pr.Email 对 nil 指针解引用）。
✅ 正确写法：花括号紧贴条件行末
for sup := range supervisorToColor {
pr := emailToPerson[sup]
if pr != nil { // ← { 必须与 if 在同一行
local := peopleOnFloor[pr.Email]
sp := &Super{pr, local}
names = append(names, sp)
}
}
? 提示：Go 官方格式化工具 gofmt 和 go fmt 会自动修正此类换行，强制 { 归位。建议将 gofmt 集成到编辑器保存钩子中，避免手动犯错。
⚠️ 补充注意事项
- nil 检查本身是安全的：emailToPerson 是 map[string]*Person，对不存在的 key 访问返回零值 nil，因此 pr != nil 是合法且推荐的判空方式。
- 不要用 if pr != nil; { ... } 手动加分号：这会显式终止 if 语句，导致相同错误。
-
其他控制结构同理：for、switch、func 声明等的 { 同样必须与关键字同行，例如：
for i := 0; i
? 总结
Go 通过严格的换行规则换取语法简洁性与解析确定性。if 后的 { 换行看似是风格问题，实则是触发自动分号插入的关键开关。牢记这一约定，不仅能规避编译错误，更能写出符合 Go 语言哲学的清晰、健壮代码。遇到类似“expression evaluated but not used”提示时，优先检查控制语句的花括号位置——90% 的情况，答案就藏在那一行换行里。
