使用 go1.12
假设我们有一个未导出的全局变量：

var mySlice = make([]T, 4)

并且对这个切片执行的操作中没有以下情况：

• 让对切片本身的引用从包中逃逸(意味着该变量是未导出的)
• 修改切片头本身(例如，不给变量赋值)

例如，允许的操作有元素赋值(例如，mySlice[3] = ...)和元素寻址(例如，&mySlice[3])。
如果满足上述条件，我认为在初始大小以下的切片中的索引可以省略边界检查，因为索引是确信不会超过边界的。
这种情况的使用场景如下：

var globalMessageTypes = make([]protoimpl.MesageType, 2)

func (T) Type() protoreflect.MessageType {
    return &globalMessageTypes[0] // Desire no bounds check here
}

func (R) Type() protoreflect.MessageType {
    return &globalMessageTypes[1] // Desire no bounds check here
}

func init() {
    for i := range ... {
        globalMessageTypes[i] = ...
    }
}

我们可以使用数组来避免边界检查，但这也有其他问题(参见#30528)。