weak 指针放进 map 后怎样清理失效键

我第一次把 weak.Pointer 放进索引 map 时，最容易误判的一点是：对象被回收后，map 中的键不会自动消失。weak 包只负责“不让这条引用阻止回收”，真正的 map 删除仍然要由业务代码完成。实用做法是把 weak.Pointer.Value() 返回 nil 作为失效信号，在访问路径或定期维护任务中执行 delete。

本文对应的官方包地址是 https://pkg.go.dev/weak。weak 在 Go 1.24 进入标准库，适合缓存、规范化 map 和弱键关联等场景；它不是带自动过期回调的容器。

先看清：失效键为什么还在 map 里

weak.Pointer[T] 本身是可比较值，可以作为 map 的键。它记录的是由原始指针形成的对象与偏移关系，而不是一个会主动通知 map 的句柄。目标对象变得不可达后，Value() 可能返回 nil，但 map 仍然保存这个 weak 值和它对应的业务数据。

因此，清理不是“等 GC 替我们 delete”，而是一次普通的 map 维护操作。也不要把 Value() 的 nil 当作稳定计时信号：官方文档明确说明，回收不保证在某个确定时间发生，某些小型无指针对象还可能因分配批处理而迟迟不变成 nil。

用扫描删除真正失效的条目

下面的示例把弱指针作为索引键。代码中的 name 只是索引附加信息，不能反向持有对象；否则所谓的弱引用就会被业务字段悄悄变成强引用。

package weakindex

import (
    "runtime"
    "sync"
    "weak"
)

type Item struct{ Name string }

type Index struct {
    mu    sync.Mutex
    items map[weak.Pointer[Item]]string
}

func (x *Index) Sweep() int {
    x.mu.Lock()
    defer x.mu.Unlock()
    removed := 0
    for key := range x.items {
        // Value 为 nil 表示目标已经不可用，此时只删除索引条目。
        if key.Value() == nil {
            delete(x.items, key)
            removed++
        }
    }
    return removed
}

func (x *Index) Put(item *Item) {
    x.mu.Lock()
    defer x.mu.Unlock()
    // map 只保存弱键和字符串，不把 item 存进 value。
    x.items[weak.Make(item)] = item.Name
    // 若后续仍要使用 item，KeepAlive 放在最后一次使用之后。
    runtime.KeepAlive(item)
}

实际初始化时应先创建 items，并在所有读写与扫描操作上使用同一把锁。Sweep 可以被定时维护任务调用，也可以在命中某个分片或达到条目阈值时触发。若只在读取时清理，则长期不访问的分片仍可能积累失效键。

惰性清理和定期扫描怎么选

我更倾向于“访问时清理加低频兜底扫描”：前者让热点路径自然回收索引，后者处理沉默条目。扫描时不要等待一次强制 GC 来证明逻辑正确，也不要把清理次数写成命中率。weak 指针的核心保证是“不阻止回收”，不是“按计划回收”。

并发、保活和对象身份的边界

map 本身不是并发安全的，后台 Sweep 与前台 Put/Get 同时运行时必须加锁，或按分片使用独立锁。另一个常见坑是先取得 weak 指针，再假定目标一定还活着。需要在一次调用中稳定使用对象时，应先从强引用变量读取 Value()，完成操作后再调用 runtime.KeepAlive；不要连续多次调用 Value() 并假设结果不会变化。

如果 map 的业务语义要求“同一个逻辑对象永远对应同一个 ID”，不要直接把 weak 指针当持久身份。它适合做生命周期跟随的内存索引，持久身份应由业务 ID、哈希或数据库主键承担。对象重建后，即使字段相同，也应按业务规则决定是否建立新的索引项。

常见问题

Value() 返回 nil 后还能从 map 取出原对象吗？

不能。此时应删除条目或按业务 ID 重建对象，不能把 nil 当作可恢复的对象地址。

删除失效键前需要手动调用 runtime.GC 吗？

不需要。GC 只能影响对象何时变得不可达，清理逻辑应直接检查 Value；测试中也不要依赖固定回收时刻。

把弱指针放在 value 里而不是 key 里可以吗？

可以，但清理条件仍是对 value 调用 Value；如果 value 旁边保存了目标对象本身，就已经形成强引用。

结论很简单：weak 指针负责放弃所有权，map 清理负责回收索引记录。把 Value() == nil、锁保护和兜底 Sweep 组合起来，才是可维护的弱引用 map。