分配给无类型空白标识符有什么影响？

Question

我在中找到以下代码crypto/sha256/sha256.go：

func putUint32(x []byte, s uint32) {
    _ = x[3]
    x[0] = byte(s >> 24)
    x[1] = byte(s >> 16)
    x[2] = byte(s >> 8)
    x[3] = byte(s)
}

我看到的所有分配给空白标识符的操作都会引起恐慌，如果len(x)不小于4，这甚至不会影响赋值的效果，甚至不会影响的评估x[3]。因此，以下代码（更短，更理想的代码）会不会等效？

func putUint32(x []byte, s uint32) {
    x[3] = byte(s)
    x[2] = byte(s >> 8)
    x[1] = byte(s >> 16)
    x[0] = byte(s >> 24)
}

如果是这样，为什么它不是这样写的？

Answer 1

该_ =分配本身并没有什么，但分配给它的索引表达式是有没有访问其他一些低索引操作之前在片所需要的最后一个元素。这是一种优化方法，可向编译器提示该值上的所有较低索引操作都是安全的，并且可以取消边界检查。这通常被称为“消除边界检查”

不使用后一个示例的主要原因是第二个优化，需要按顺序读取字节，以便编译器可以将它们合并为多字节负载。