go学习-基本知识点

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)
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

内存逃逸

变量会携带有一组校验数据，用来证明它的整个生命周期是否在运行时完全可知。
如果变量通过了这些校验，就可以在栈上分配。否则就说它逃逸了，必须在堆上分配。

能引起变量逃逸到堆上的典型情况：

• 在方法内把局部变量指针返回
  局部变量原本应该在栈中分配，在栈中回收。但是由于返回时被外部引用，因此其生命周期大于栈，则溢出。
• 发送指针/发送带有指针的值到 channel
  在编译时，是没有办法知道哪个 goroutine 会在 channel 上接收数据。
  所以编译器没法知道变量什么时候才会被释放。
• 在一个切片上存储指针或带指针的值
  一个典型的例子就是 []*string 。这会导致切片的内容逃逸。
  尽管其后面的数组可能是在栈上分配的，但其引用的值一定是在堆上。
• slice 的背后数组被重新分配
  因为 append 时可能会超出其容量( cap )。
  slice 初始化的地方在编译时是可以知道的，它最开始会在栈上分配。
  如果切片背后的存储要基于运行时的数据进行扩充，就会在堆上分配。
• 在 interface 类型上调用方法
  在 interface 类型上调用方法都是动态调度，方法的真正实现只能在运行时知道