golang unsafe 包修改私有属性没加偏移量会有什么隐患?

[Nazz]

type Buffer struct {
	buf      []byte
	off      int
	lastRead int8
}

//go:nosplit
func BufferReset(b *bytes.Buffer, p []byte) {
	buffer := (*Buffer)(unsafe.Pointer(b))
	buffer.off = 0
}

[Thiece]

如果你错误地修改了结构体的私有字段，可能会导致数据状态的不一致。例如，可能会影响缓冲区（ buffer ）的长度和容量，使其不匹配。

bytes.Buffer 的实现在未来版本中发生变化也会出现问题。

[Nazz]

@Thiece 目前没发现影响正确性(后面两个字段的值本来就是 0), 但是增加了一次 allocs 影响了性能

[Nazz]

@Thiece 你能给出一个影响数据长度或内容的 demo 吗

[Thiece]

```
package main

import (
"fmt"
"unsafe"
)

type MyData struct {
length int
data int
}

func main() {
data := MyData{
length: 5,
data: 100,
}

fmt.Println("Before:", data)

// 获取 MyData 结构体的地址，并转换为通用指针
ptr := unsafe.Pointer(&data)

// 模拟不加偏移量的修改操作
*(*int)(ptr) = 200

fmt.Println("After:", data)
}
```

[Nazz]

@Thiece 不加偏移量取的就是首地址, 等价于第一个字段

[Nazz]

@Thiece 这个例子里面,

[Nazz]

@Thiece

[Nazz]

@Thiece 这个例子里面, BufferReset2 比 BufferReset1 多一次 allocs

https://gist.github.com/lxzan/8f491e332a77ea6a049a78074799e9d7

[Thiece]

@Nazz
Go 语言中的结构体是将 Field 按照声明的顺序进行内存布局。
如果没有使用 unsafe.Offsetof 之类的方法，unsafe.Pointer 获取到的地址就是该结构体的首地址。
结构体的首地址就是其第一个字段的地址，等同于访问该结构体的第一个字段。

BufferReset2 不仅重置了 buf 和 off ，还重置了 lastRead 。

[Nazz]

@Thiece BufferReset2 有内存安全方面的隐患吗?
很好奇为什么多了一次 allocs, 而且 go bench 特别慢, 但是 qps 又挺正常的

[Thiece]

@Nazz
在你的 github 这个代码中，BufferReset2 虽然用了 unsafe 但是操作的都是 Buffer 结构体内定义的字段，没有越界访问或对未初始化内存的操作，所以现在没有安全上的问题。
BufferReset2 中，更改了 buf 、off 和 lastRead 字段，在 BufferReset1 中仅更改了 off 字段。可能是更多字段引起额外的内存分配导致的。