必须用 T 而不是 T 才能修改调用方指针变量本身的地址,如链表头插入、BST 根赋值;T 只是副本,改了不影响外部;传 T 需用 &head。

如何理解Golang中多级指针_Golang指针嵌套使用场景  第1张

什么时候必须用 **T 而不是 *T

当你需要在函数内部**改变调用方那个指针变量本身指向的地址**时,*T 不够用——它只是原指针的副本,改了不影响外面;只有传 **T(即指针的地址),才能真正更新外部变量持有的指针值。

  • 典型场景:链表头节点插入、BST 根节点首次赋值、延迟初始化一个 *int 变量
  • 错误现象:prepend(head *Node, val int) 里写了 head = newNode,但调用后原 head 还是 nil
  • 关键区别:*T 解引用得到值,**T 解引用一次得 *T,再解一次才得值;传参时必须用 &head 才能把变量地址送进去

**int 初始化和解引用怎么写才不 panic

多级指针空值风险高,每一层都可能为 nil,解引用前必须逐层检查,否则运行时报 invalid memory address or nil pointer dereference

  • 声明:var p **int → 此时 p == nil,不能直接 *p
  • 安全初始化顺序:a := 10pa := &appa := &pa;或更常见:ppa := new(*int),再 *ppa = new(int)
  • 安全读取:if p != nil && *p != nil { fmt.Println(**p) }
  • 别踩坑:局部变量地址不要直接赋给 **T,比如 temp := 42; *pp = &temp —— temp 可能栈逃逸失败,应改用 *pp = new(int) 再赋值

CGO 和反射里为什么绕不开 ***C.char**reflect.Value

这类场景不是“想用”,而是 C ABI 或反射机制强制要求——Go 必须用多级指针对接底层约定。

  • CGO 示例:C 函数声明 void get_config(char ***keys, int *n),Go 端必须用 var keys ***C.char + C.get_config(keys, &n),因为 C 需要写入新分配的字符串数组地址
  • 反射示例:想通过 reflect.Value 给一个 nil *string 赋新值,得先传 &ptr(即 **string),再用 reflect.ValueOf(&ptr).Elem().Set(reflect.ValueOf(newStr))
  • 性能影响:无额外开销,但类型转换繁琐;unsafe.Pointer 中转时尤其要注意对齐和生命周期

替代方案比 **T 更常用,什么情况下该放弃它

Go 鼓励显式数据流,90% 的“想用二级指针”场景其实更适合返回新值、封装结构体或用接口抽象。

立即学习“go语言免费学习笔记(深入)”;

  • 链表操作:用 type LinkedList struct { head *Node },所有方法接收 *LinkedList,直接改 l.head,不用暴露 **Node
  • 资源初始化:函数返回 *Resource 而非接受 **Resource,调用方自己赋值:r = NewResource()
  • 配置加载:用 func LoadConfig() (map[string]interface{}, error),而不是传 **map
  • 真正该用 **T 的信号:函数签名里反复出现 err := someFunc(&p),且 p 是调用方长期持有的、需被原地重定向的指针变量

多级指针不是语法糖,它是 Go 在保持值语义前提下,提供的一条“直达内存地址”的窄路。走这条路时,没人帮你检查中间层是否为空,也没人替你管理哪一层该分配在堆上——这些都得你自己盯紧。