Go 语言要求 if 语句的左花括号 { 必须与条件表达式位于同一行，否则编译器会自动插入分号导致语法错误，使条件被忽略、后续代码变为无条件执行块。
go 语言要求 if 语句的左花括号 `{` 必须与条件表达式位于同一行，否则编译器会自动插入分号导致语法错误，使条件被忽略、后续代码变为无条件执行块。
在 Go 中，看似微小的换行习惯可能引发令人困惑的编译错误。你遇到的问题——if pr != nil 后换行再写 {，导致编译器报错 missing condition in if statement 和 pr != nil evaluated but not used——并非逻辑或类型问题，而是 Go 强制性的语法规则所致。
根本原因在于 Go 的分号自动插入机制（Semicolon Insertion）。根据 Go 语言规范，当一行以标识符（如 nil）、字面量或右括号/右方括号/右花括号结尾时，编译器会在行尾自动插入分号。而你的代码：
if pr != nil
{
local := peopleOnFloor[pr.Email]
// ...
}
被 Go 解析为：
if pr != nil; // ← 自动插入分号！条件语句就此结束
{ // ← 这是一个独立的、无条件的复合语句块（类似匿名作用域）
local := peopleOnFloor[pr.Email]
// ...
}
因此，pr != nil 被求值但未被用于控制流程（故提示 “evaluated but not used”），而 if 后缺失有效条件体（故提示 “missing condition”）。后续代码块 { ... } 则始终执行，等价于：
if pr != nil { /* empty */ }
{
// 总是执行
local := peopleOnFloor[pr.Email]
sp := &Super{pr, local}
names = append(names, sp)
}
✅ 正确写法（花括号紧随条件，不换行）：
for sup := range supervisorToColor {
pr := emailToPerson[sup]
if pr != nil { // ✅ { 与 if 在同一行
local := peopleOnFloor[pr.Email]
sp := &Super{pr, local}
names = append(names, sp)
}
}
⚠️ 注意事项：
- 此规则适用于所有控制结构：if、for、switch、func 声明等，左花括号 { 均不可独占一行；
- Go 的 gofmt 工具会自动格式化代码并强制此风格，因此建议始终使用 gofmt 或启用编辑器自动格式化；
- 即使你手动添加分号（如 if pr != nil; {），语法上虽合法，但逻辑错误（空 if 体 + 独立代码块），应绝对避免；
- 该设计初衷是消除 C/Java 中因 { 换行引发的悬空 else 等歧义，提升代码一致性与可读性。
总结：这不是 bug，而是 Go 通过语法约束推动清晰、统一的代码风格。养成 if condition { 一行书写的习惯，既符合规范，也规避了此类静默解析陷阱。
