Golang中*操作符的两种含义_类型声明与解引用

1次阅读

go中在类型前(如int)表示指针类型,属编译期类型构造;在表达式中(如*p)表示解引用,属运行时内存操作,二者语义不同,不可混淆。

Golang中*操作符的两种含义_类型声明与解引用

Go 里 * 出现在类型前面,是声明指针类型

比如 var p *int,这里的 * 不是运算,而是类型构造的一部分,意思是“指向 int 的指针类型”。它和 C 不同,不绑定在变量名上(如 int* p),而是紧贴类型,强调“这是个新类型”。

常见错误是误以为 *T 是对某个值做了解引用——其实只要没出现在表达式里,就完全不涉及运行时行为。

  • *String*[]byte*map[string]int 都是合法类型,哪怕右边是复合类型
  • 函数签名里写 func f(x *int),表示参数类型是“指向 int 的指针”,不是“把 x 解引用后再传”
  • 结构体字段用 *T(如 data *MyStruct)很常见,但要注意:零值是 nil,直接 dereference 会 panic

Go 里 * 出现在表达式中,是对指针做解引用

只有当 * 作用于一个指针类型的值(比如变量、函数返回值、字段访问结果)时,才是解引用操作。它要求操作数必须是地址可取的(addressable)且非 nil。

典型报错:panic: runtime Error: invalid memory address or nil pointer dereference,往往就是忘了判空就写了 *p

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

  • 不能对字面量或临时值解引用,比如 *42*len(s) 直接报错:cannot indirect
  • *p 的结果是可寻址的(可以取地址、可以赋值),所以 *p = 10 合法,等价于修改原变量
  • 如果 p*int,那 **p 是语法错误(Go 不支持多重间接),除非 p 实际是 **int

什么时候该用 *T 类型,而不是 T

核心判断依据是:是否需要修改调用方的原始值,或是否想避免复制开销。

小类型(intbool、小 struct)传值开销极低,强行用指针反而模糊语义;大 struct 或 slice/map/chan 等本身已含指针的类型,传值成本低,多数情况也不必加 *

  • 想让函数能修改外部变量?用 *T 参数,然后在函数内写 *x = ...
  • 接收者方法想修改结构体字段?接收者必须是 *T,否则改的是副本
  • 接口值内部存的是具体类型的值,如果类型是 *T,那接口里存的就是指针;如果是 T,存的就是拷贝 —— 这会影响 == 比较和内存布局

&* 必须配对使用,但位置和时机容易混淆

&x 取地址得到 *T*p 解引用回到 T。看似对称,但实际用的时候常漏掉一环。

最典型的坑:函数返回局部变量地址(如 return &x),Go 编译器会自动逃逸处理,安全;但若返回局部变量的字段地址(如 return &s.field),而 s 本身是栈上分配,就可能出问题——不过现代 Go 编译器基本也能识别并逃逸,但逻辑上仍要警惕。

  • 不要对 map 元素或 slice 元素直接取地址:&m["k"]&s[0] 报错:cannot take the address of …
  • slice 底层数组可寻址,但元素不可直接取地址;得先用变量中转:tmp := s[0]; p := &tmp(注意这取的是拷贝的地址)
  • new(T) 返回 *T,等价于 var t T; return &t,但别把它和 make 混用 —— make 专用于 slice/map/channel

事情说清了就结束。真正容易被忽略的,是类型声明里的 <em></em> 和表达式里的 虽然符号一样,但一个是编译期类型系统的事,一个是运行期内存操作,混在一起想,八成会绕晕。

text=ZqhQzanResources