golang 边界检查消除_看起来高深的Go编译器，清晰的讲解优化：边界检查消除

从Go SDK 1.7开始，Go标准编译器开始支持边界检查消除。此优化避免了很多不必要的边界检查，从而使得编译器编译出的程序执行效率更高。

什么是边界检查？边界检查是指在运行时刻，Go运行时要检查切片和字符串的索引操作中的索引下标值是否越界了。如果越界了，就要产生一个恐慌，以维护内存安全。

虽然边界检查是维护内存安全的重要保障，但是某些索引操作如果被执行到的话，其中的索引下标值肯定不会越界。对这样的下标进行边界检查是无谓的，并会对程序执行性能产生负面影响。

下面将展示一些例子来理解Go标准编译器在什么条件下避免了边界检查。本文中的运行结果均基于Go标准编译器1.12版本。

例子1：

如下编译此程序，我们将获知哪些行仍然需要边界检查。

从这个结果来看，函数f2这样倒着取元素值的方式比函数f1的效率要高，因为它避免了两个边界检查。如果函数f2中的第一行不会越绝的话，则其中的第二行和第三行肯定也不会越界，所以第二行和第三行就不再需要边界检查了。

另外，函数f3中的第一行如果不会越界的话