Golang指针的基本用法与常见误区

Go指针本质是存储内存地址的变量,核心操作为&取地址、解引用、T声明类型;需注意nil检查、循环变量陷阱及生命周期管理。

怎么声明、取地址、解引用——三步搞清指针本质

Go 里的指针就是存「内存地址」的变量,不是值本身。它只有三个核心动作:& 取地址、* 解引用、*T 声明类型。

  • & 只能作用于变量(比如 &x),不能对字面量或表达式用(&42&(a+b) 都报错)
  • * 在声明时是类型修饰符(var p *int),在使用时是解引用操作(*p = 10)——别混淆上下文
  • 未初始化的指针默认是 nil,直接 fmt.Println(*p) 就 panic
func main() {
    x := 42
    p := &x        // ✅ 合法:取变量地址
    fmt.Println(*p) // 输出 42

    var q *int
    // fmt.Println(*q) // ❌ panic:nil pointer dereference
    if q != nil {
        fmt.Println(*q)
    }
}

函数传参用指针,是为了改原值还是省拷贝?

传指针的核心目的就两个:修改调用方的原始数据,或避免大结构体复制开销。但不是所有情况都该用。

  • 基础类型(intstring)传指针几乎没收益,还增加 nil 判断负担
  • 结构体字段多、体积大(比如含切片、map、嵌套结构)时,*UserUser 传参更高效
  • 方法接收者用指针(func (u *User) SetName(...))才能修改字段;值接收者只能读,且每次调用都拷贝整个结构体
type Config struct {
    Timeout int
    Hosts   []string // 占内存大
}

func loadConfig(c *Config) { // ✅ 推荐:避免拷贝整个 Config
    c.Timeout = 30
    c.Hosts = append(c.Hosts, "localhost")
}

map 和切片里存指针,最容易踩哪几个坑?

*T 存进 map[string]*T[]*T 很常见,但循环中一不留神就全指向同一个地址。

  • 循环变量复用地址:写 for _, name := range names { u := User{Name: name}; m[name] = &u } → 所有 key 都指向最后一次迭代的 u
  • 正确做法是每次迭代新建对象并取地址:m[name] = &User{Name: name}(Go 逃逸分析会自动分配到堆)
  • []*T 切片本身不共享底层数组,但多个元素若指向同一结构体,修改一个会影响所有 —— 这是预期行为还是 bug,得看业务逻辑
// ❌ 错误:循环变量地址被反复覆盖
users := make(map[string]*User)
data := []string{"Alice", "Bob"}
for _, name := range data {
    u := User{Name: name}
    users[name] = &u // 所有指针最终指向同一个栈变量
}

// ✅ 正确:每次构造新对象,地址独立
for _, name := range data {
    users[name] = &User{Name: name} // Go 自动分配到堆
}

为什么有时 p == nil 是 false,但 *p 还是 panic?

这不是矛盾,而是接口或嵌套指针导致的“假非空”——最典型的是接口变量内部包着 nil 指针。

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

  • 接口本身不为 nil,但底层存储的是 (*T)(nil),此时 if iface != nil 成立,但解引用仍 panic
  • map 查找返回零值:如果 map 值类型是 *T,而 key 不存在,得到的是 nil 指针,必须判空再用
  • 结构体字段是指针类型时,初始化结构体不等于初始化字段:u := User{}u.Profilenil,不是未定义
type User struct {
    Profile *Profile
}
u := User{} // u.Profile 是 nil,不是未初始化
// if u.Profile != nil { ... } // 必须这样判断,不能跳过
Go 的指针不支持运算、不允许多重间接、也不允许隐式转换,这些限制让它的行为比 C 更可预测。真正难的从来不是语法,而是想清楚:这个指针生命周期归谁管?它会不会被提前释放?多个 goroutine 是否可能同时读写它指向的数据?这些问题没答案,*p 就永远带着风险。