go - 计算 sha256 在附加 slice 后会给出不同的结果，具体取决于我之前是否打印出 slice

Question

我正在从多个字符串计算 sha256。我以特定方式将它们转换为 byte slice 并将它们全部附加在一起，然后使用内置库计算哈希值。但是，根据我是否在计算 sha256 之前打印出 slice ，我会得到不同的结果。在 Playground 上测试时，我无法重现它。

可以在 https://play.golang.org/p/z8XKx-p9huG 上看到并运行经过测试的代码，在这两种情况下它实际上给出了相同的结果。

func getHash(input1 string, input2hex string, input3hex string, input4 string) (string, error) {
    input1bytes := []byte(input1)
    firstHalfinput1Bytes := input1bytes[:8]
    secondHalfinput1Bytes := input1bytes[8:16]

    input4Bytes := []byte(input4)

    input3Bytes, err := hex.DecodeString(input3hex)
    if err != nil {
        fmt.Println("err " + err.Error())
    }

    input2Bytes, err := hex.DecodeString(input2hex)
    if err != nil {
        fmt.Println("err " + err.Error())
    }

    fullHashInputBytes := append(firstHalfinput1Bytes, input2Bytes...)
    // THIS IS THE OPTIONAL PRINT WHICH CHANGES OUTPUT LOCALLY:
    fmt.Println("fullHashInputBytes", fullHashInputBytes)
    fullHashInputBytes = append(fullHashInputBytes, secondHalfinput1Bytes...)
    fullHashInputBytes = append(fullHashInputBytes, input3Bytes...)
    fullHashInputBytes = append(fullHashInputBytes, input4Bytes...)
    sha256 := sha256.Sum256(fullHashInputBytes)
    for i := 0; i < 8; i++ {
        sha256[i+16] ^= sha256[i+24]
    }
    hash := hex.EncodeToString(sha256[:24])
    fmt.Println("hash", hash)
    return hash, nil
}

Playground 上的原木是

Hello, playground
fullHashInputBytes [84 72 73 83 73 83 78 79 30 0 22 121 57 203 102 148 210 196 34 172 210 8 160 7]
hash 0161d9de8dd815ca9f4e1c7bb8684562542cc24b1026321c
hash 0161d9de8dd815ca9f4e1c7bb8684562542cc24b1026321c

但如果我在本地运行完全相同的代码(只需将其复制粘贴到 main.go 中并执行 go run main.go 或 go build . 和 ./test) 我明白了

Hello, playground
fullHashInputBytes [84 72 73 83 73 83 78 79 30 0 22 121 57 203 102 148 210 196 34 172 210 8 160 7]
hash 0161d9de8dd815ca9f4e1c7bb8684562542cc24b1026321c
hash d2de4ffb4e8790b8fd1ceeba726436fd97875a5740c27b47

我使用的是 go 版本 1.13.4，但在 1.10.4 中遇到了同样的问题。我在本地机器上和部署到我们的服务器时也遇到了同样的问题。

Answer 1

这是因为您首先通过附加到 firstHalfinput1Bytes 创建了 fullHashInputBytes:

fullHashInputBytes := append(firstHalfinput1Bytes, input2Bytes...)

这是 input1bytes 的一部分:

firstHalfinput1Bytes := input1bytes[:8]

所以第一个append可能会覆盖索引大于7的input1bytes的内容，这实际上是secondHalfinput1Bytes的内容:

secondHalfinput1Bytes := input1bytes[8:16]

因此，稍后当您还将 secondHalfinput1Bytes 附加到 fullHashInputBytes 时，您最终可能会附加不同的内容。

这很可能不是您想要的。

如果你这样做“干净”:

var fullHashInputBytes []byte
fullHashInputBytes = append(fullHashInputBytes, firstHalfinput1Bytes...)
fullHashInputBytes = append(fullHashInputBytes, input2Bytes...)
// OPTIONAL print doesn't change anything:
fmt.Println("fullHashInputBytes", fullHashInputBytes)
// ...rest of your appends...

然后，如果您在本地或在 Go Playground 上运行它，输出将是相同的.

为什么会出现异常行为？

您的第一个追加是否覆盖 input1bytes 取决于追加是否可以“就地”执行，而不必分配新的后备数组，这取决于 firstHalfinput1Bytes< 的容量，它是从 input1bytes“继承”的:

input1bytes := []byte(input1)
fmt.Println(cap(input1bytes))

(您可以在此处阅读更详细的信息:Concatenate two slices in Go)。

conversion []byte(input) 只保证有 input1 的字节，但规范并没有规定结果 slice 的容量应该有多大。它可能取决于平台/架构。在 Go Playground 上，上述转换结果为 capacity = 16，在我的本地 amd64 架构上，我得到 capacity = 32。

最后一点:用于 []byte(input) 转换结果 slice 的容量可能取决于您对结果 slice 的处理方式。如果您将它传递给 fmt.Println()，编译器可能会决定使用较低的容量，因为这表明 slice 可能会逃逸。同样，编译器做出的决定不在您的手中。

不要依赖这样的东西，不要编写依赖于转换结果 slice 容量的代码。以“干净”的方式进行:不要附加到 firstHalfinput1Bytes，而是附加到一个新的 slice 。