go 编译器是否会优化掉不可达的 if 语句？go 的标准编译器（gc）在 `const assert = false` 时会完全移除形如 `if assert && condition { … }` 的整个分支，包括条件判断和 panic 调用，生成零开销断言机制。
在 Go 中，由于语言本身不提供内置的 assert 语句（如 Python 或 C 的 assert），开发者常借助常量控制的条件判断来模拟运行时断言。典型写法如下：
const ASSERT = true // 或 false，用于全局开关
func SomeFunction() {
if ASSERT && !someCondition() {
panic("assertion failed: someCondition must hold")
}
// 正常逻辑...
}
关键在于：当 ASSERT 被设为 false 时，该 if 语句是否会被编译器彻底消除，从而不产生任何机器码、不增加二进制体积、不引入运行时开销？
答案是：是的——在 gc 编译器（即官方 go build 默认使用的编译器）下，该分支会被完全优化掉。
✅ 验证方式：查看汇编输出
使用 -gcflags ‘-S’ 可输出编译后的汇编代码，直观确认优化效果：
go build -gcflags '-S' main.go
以如下最小示例为例：
