7.1 简介
程序中可能存在一些代码，虽然具备语义上的价值，但程序在运行时可能永远不会执行到。例如下列代码：
package main
const version = 1.16 // 可能定义在某个第三方包中的常量
func main() {
if version <= 1.15 {
// Do something
} else {
// Do something else
}
}
可以发现上述 if 语句只会执行
else 中的代码，因此 if body 中的代码可以完全删除。除了分支（Branch）语句，逻辑运算符也可能因为短路效应（short-circuit）而造成始终只执行部分代码，例如：package main
const version = 1.16 // 可能定义在某个第三方包中的常量
func main() {
correctVersion := version <= 1.15 && version >= 1.14
}
其中第一个分量
version <= 1.15 为 false, 因此整个逻辑表达式的值也是 false, 没有必要再对第二个分量求值，代码 version >= 1.14 为无效代码。聪明的编译器应该有能力清除掉这样的无效代码，这样可以减小最终可执行文件的大小，并且在程序执行时提升缓存命中率（增加程序的局部性，减少 Page Fault 中断的次数），从而提升程序性能。