Go语言中0长度的切片和数组

Question

试图找出0长度数组和切片在Golang中的行为。提出了两段代码（我在某处找到了代码，并对其进行了一些修改以处理此问题）

https://play.golang.org/p/ew2YYgvpGC

https://play.golang.org/p/jm2p6L6WCG

我从网站上了解到nil数组（[]int（nil））的指针值为nil，所以我决定测试一下。果然，就是这样。我只是对制作和切片数组感到困惑。它对我来说有意想不到的行为。

我真的被这两个人的行为弄糊涂了。第一个在我的电脑和操场上运行良好。我注意到第一个和最后一个数组的地址总是完全相同的？为什么啊？

为什么会这样？

第二个更奇怪。这段代码与前一段代码完全相同，只是中间有len/cap的其他代码片段。它不在围棋场上运行，最后一个切片数组出现错误，出于某种原因，切片的长度为3（在我的计算机上，最后一个切片的长度为0，所有切片的上限为272851504）。但它确实在我的电脑上运行。我注意到用make创建的第一个数组的地址总是比最后一个小。它总是不同的，而且有点小（第一个），为什么？数组地址的代码没有变化

还有，为什么make（）甚至创建了一个数组？长度为0的数组在内存中的外观如何？

Answer 1

我注意到第一个和最后一个数组的地址总是完全相同的？为什么？

为什么会这样？

函数中的地址基于函数参数中的片头。偶然的是，该函数每次都在相同的内存地址上运行。此外，作为一个实现细节，当您将原始文件切片到零长度和容量时，它不会将数据指针归零。在这两个函数中，切片标头都被复制了，所以一开始甚至没有检查原始标头切片。

第二个例子，您没有正确地读出片头。如果你想玩，你不需要尝试做指针算术，你可以直接获取切片的地址

hdr := (*reflect.SliceHeader)(unsafe.Pointer(&slice))

不过，如果您真的想通过指针算法检查切片头，也许这可以更好地说明您需要做什么：https://play.golang.org/p/GL6NtyPNs8

func InspectSlice(slice *[]int) {
    // Get the header directly by converting it to a reflect.SliceHeader
    hdr := (*reflect.SliceHeader)(unsafe.Pointer(slice))

    // Create a header for comparison via pointer manipulation
    address := (uintptr)(unsafe.Pointer(slice))
    lenAddr := address + unsafe.Sizeof(address)
    capAddr := lenAddr + unsafe.Sizeof(int(0))

    unsafeHdr := reflect.SliceHeader{
        Data: *(*uintptr)(unsafe.Pointer(address)),
        Len:  *(*int)(unsafe.Pointer(lenAddr)),
        Cap:  *(*int)(unsafe.Pointer(capAddr)),
    }

    fmt.Printf("Real Header:  %#v\n", *hdr)
    fmt.Printf("UnsafeHeader: %#v\n", unsafeHdr)

}

还有，为什么make（）会创建一个数组？

make不创建数组，您标记为数组的只是一个切片文本。

长度为0的数组在内存中的外观如何？

看起来什么都不像。它消耗0字节。

制作零长度切片时，您看到的很可能是指向全局零值数组的指针。制作一堆不同类型的零长度切片，数据指针都是相同的。正如所有空的struct{}和空的nilinterface{}被赋予与优化相同的值一样。这完全是一个实现细节，因为您不需要访问该数据值。当将一个片段切片回零长度和容量时，运行时也不会将数据指针归零。由于这两种行为，任何片中的数据指针很少为零。