在 Go 中使用 unsafe.Pointer 的恐慌

Question

代码是：

package main

import (
    "fmt"
    "unsafe"
)

type Point struct {
    x int 
    y int 
}

func main() {

    buf := make([]byte, 50) 
    fmt.Println(buf)
    t := (*Point)(unsafe.Pointer(&buf))
    t.x = 10
    t.y = 100 
    fmt.Println(buf)
}

运行它时，会发生运行时恐慌：

panic: runtime error: invalid memory address or nil pointer dereference
[signal 0xb code=0x1 addr=0xa pc=0x43dd4d]

为什么？

Answer 1

因为buf是切片（不是数组），切片只是描述符。

您很可能想写入分配字节的内存空间，因此不要使用切片描述符的地址，而是使用分配字节的地址，您可以通过获取第一个元素的地址来获得（切片描述底层数组的连续部分）：

t := (*Point)(unsafe.Pointer(&buf[0]))

输出（在Go Playground上试试）：

[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
[10 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]

正如你可以看到，可以设置数据出现在第二输出（10 0 0 0是4个字节的int值10，100 0 0 0是4个字节的int值100）。

如果您使用切片描述符的地址，您会看到恐慌，因为描述符包含诸如第一个元素的地址、元素计数和容量之类的内容。因此，通过使用描述符的地址，您将修改这些地址，并且当尝试将其作为切片再次打印时，您写入的数据很可能位于无效指针中。您可以通过写入十六进制值来确认10这一点0xa，并且错误消息包含：addr=0xa

另一种选择是使用“真实”数组而不是切片，因为数组不是描述符：

buf := [50]byte{}
t := (*Point)(unsafe.Pointer(&buf))

有了这个改变，输出将是相同的。