go - 这个赋值给无类型空白标识符有什么影响？

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)
}

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

标签： go

Answer 1

赋值本身什么都不做，但是分配给它的_ =索引表达式在那里访问切片中所需的最后一个元素，然后再进行许多其他较低索引操作。这是一种优化，提示编译器对该值的所有低索引操作都是安全的，并且可以省略边界检查。这通常称为“边界检查消除”

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