Go weak.Make 怎样保存弱引用并避免对象被强引用留住

如果缓存或规范化表直接保存普通指针，表本身会让对象一直可达；但把普通指针换成弱指针，也不能简单理解成“下一次 GC 必然回收”。Go 1.24 的 weak 包提供了这个底层能力：weak.Make 创建弱指针，Pointer.Value 在对象仍然可达时取回原指针，否则可能得到 nil。

本文只围绕一个小问题展开：怎样创建弱引用、怎样读取它，以及什么时候必须保留强引用。弱指针适合构造缓存、规范化映射等基础设施，不适合替代业务对象的生命周期管理。

官方资料：https://pkg.go.dev/weak

适用版本：需要 Go 1.24 或更高版本。

先分清 weak.Pointer 和普通指针

普通指针会让垃圾回收器沿着它继续追踪对象；弱指针不会单独增加对象的可达性。也就是说，创建 weak.Pointer[T] 后，如果程序中没有其它强引用，原对象仍可能被回收。

这里的“可能”很重要：Value 不承诺某个时间点一定变成 nil。官方文档还指出，小对象可能与仍然存活的对象共享分配槽，因此弱指针并不是精确的回收通知。

用 weak.Make 建立最小弱引用

最小用法是先创建对象，再把它交给泛型函数 weak.Make。返回值是 weak.Pointer[T]，不是 *T；真正需要访问对象时再调用 Value，并先判断结果是否为 nil。

package main

import (
    "fmt"
    "weak"
)

type Entry struct {
    Key   string
    Value int
}

func lookup(p weak.Pointer[Entry]) (int, bool) {
    // Value 可能返回 nil，读取字段前必须先判断对象是否仍可达。
    entry := p.Value()
    if entry == nil {
        return 0, false
    }
    return entry.Value, true
}

func main() {
    entry := &Entry{Key: "go", Value: 124}
    cached := weak.Make(entry)

    // 只要 entry 仍是强引用，Value 就有机会取回原对象。
    value, ok := lookup(cached)
    fmt.Println(value, ok)

    // nil 输入得到的弱指针始终无法取回对象。
    empty := weak.Make[Entry](nil)
    _, ok = lookup(empty)
    fmt.Println(ok)
}

代码里的 cached 只记录“如何找到对象”，并不负责让对象继续存活。nil 输入也是合法边界，它对应的 Value 永远返回 nil。

读取 Value 时怎样处理生命周期边界

Value 返回的是创建弱指针时使用的原始指针，或者 nil。不要先判断一次，再在可能跨越较长时间的逻辑里假设对象一定还在；需要使用对象时，应把取值和使用放在尽量紧凑的范围内。

func useIfAlive(p weak.Pointer[Entry]) (string, bool) {
    // 取值后立即使用，避免把弱指针当成稳定缓存的强引用。
    entry := p.Value()
    if entry == nil {
        return "", false
    }
    return entry.Key, true
}

func keepAliveAfterUse(entry *Entry, p weak.Pointer[Entry]) bool {
    // 这里仍用强引用完成本次操作，弱指针只承担旁路索引角色。
    if p.Value() == nil {
        return false
    }
    fmt.Println(entry.Key)
    // 当对象必须在某个调用之后保持可达时，显式延长强引用的语义范围。
    runtime.KeepAlive(entry)
    return true
}

上面的第二个函数需要补充 runtime 导入。runtime.KeepAlive 不是让弱指针变成强指针，而是告诉运行时：在指定调用点之前，传入的强引用仍然必须被视为可达。

哪些场景适合使用，哪些场景不要用

弱指针适合做“对象存在时就复用，不存在就重建”的旁路结构，例如内存敏感缓存、规范化表或弱键关联。它能减少索引结构对对象生命周期的干预，但不会自动完成缓存淘汰、并发控制、重建和错误恢复。

结论与常见问题

记住三点即可：weak.Make 创建的是弱指针；Value 必须按可能返回 nil 处理；需要保证一次操作期间对象存活时，仍要保留强引用并在必要位置使用 runtime.KeepAlive。弱引用解决的是索引结构与对象生命周期之间的耦合，不是通用的内存回收开关。

weak.Pointer 的零值能直接使用吗？

可以把它当成由 nil 创建的弱指针处理：调用 Value 得到 nil，比较时也与同类空弱指针相等。

Value 返回 nil 后还能恢复原对象吗？

不能通过弱指针恢复。若业务仍需要对象，应在对象仍有强引用时完成重建或重新加载。