string 转 []byte
通用的转换会发生内存拷贝,但是如下利用unsafe.Pointer实现的强转则不需要拷贝
func TestDemo(t *testing.T) {
a := "aaa"
b := "bbbbbbb"
// ssh 是 a 的内存地址
// 通过将字符串的底层地址强制转换成 StringHead 结构来获取字符串的底层指针和长度
// type StringHeader struct {
// Data uintptr // 指向字符串实际内容的指针
// Len int // 字符串的长度
// }
ssha := *(*reflect.StringHeader)(unsafe.Pointer(&a))
sshb := *(*reflect.StringHeader)(unsafe.Pointer(&b))
// 使用 unsafe.Pointer 将 ssh 转换为 []byte 类型的指针
// 然后再通过 * 运算符将其解引用,得到了一个字节切片
// type SliceHeader struct {
// Data uintptr // 指向切片元素(字节数组)实际内容的指针
// Len int // 切片的长度
// Cap int // 切片的容量
// }
b1 := *(*[]byte)(unsafe.Pointer(&ssha))
b2 := *(*[]byte)(unsafe.Pointer(&sshb))
fmt.Printf("%v", b1)
fmt.Printf("%v", b2)
}
内存逃逸
变量会携带有一组校验数据,用来证明它的整个生命周期是否在运行时完全可知。
如果变量通过了这些校验,就可以在栈上分配。否则就说它逃逸了,必须在堆上分配。
能引起变量逃逸到堆上的典型情况:
- 在方法内把局部变量指针返回
局部变量原本应该在栈中分配,在栈中回收。但是由于返回时被外部引用,因此其生命周期大于栈,则溢出。 - 发送指针/发送带有指针的值到 channel
在编译时,是没有办法知道哪个 goroutine 会在 channel 上接收数据。
所以编译器没法知道变量什么时候才会被释放。 - 在一个切片上存储指针或带指针的值
一个典型的例子就是 []*string 。这会导致切片的内容逃逸。
尽管其后面的数组可能是在栈上分配的,但其引用的值一定是在堆上。 - slice 的背后数组被重新分配
因为 append 时可能会超出其容量( cap )。
slice 初始化的地方在编译时是可以知道的,它最开始会在栈上分配。
如果切片背后的存储要基于运行时的数据进行扩充,就会在堆上分配。 - 在 interface 类型上调用方法
在 interface 类型上调用方法都是动态调度,方法的真正实现只能在运行时知道