Go GC 不感知 C 对内存的引用，局部变量取地址返回会导致悬空指针；C.CString/C.CBytes 需配对 C.free；应将 C 结构体绑定到长生命周期 Go 对象并维持引用链，回调中传 unsafe.Pointer 必须指向堆上且被 Go 持有的对象。
Go 的 GC 不会主动感知 C 代码对 Go 内存的引用，只要 Go 端失去对某块内存的强引用，GC 就可能在任意时刻回收它——哪怕 C 代码正通过裸指针访问其中字段或调用函数指针。这不是 bug，是设计使然；安全边界完全由开发者划定。
为什么 &libevent_eh 返回后 C 拿到的是悬空指针
常见错误是写一个局部变量再取地址返回：
func createNewEventHandler() *C.vde_event_handler {
var libevent_eh C.vde_event_handler
// ... 初始化字段
return &libevent_eh
}
即使逃逸分析把它分配到堆上，只要 Go 运行时找不到任何可达变量持有该结构体（比如没赋给全局变量、没塞进 map/slice、没作为 struct 字段嵌套），GC 就会把它标记为不可达并回收。C 库持有的 &libevent_eh 随即失效。
- Go 编译器不保证局部变量地址在函数返回后长期有效——它只保证“cgo 调用期间”临时 pin 住，不是“C 库整个生命周期”
- C 侧无法触发 Go 的引用计数或 finalizer，GC 对 C 的使用逻辑完全无感
- GDB 中看到函数指针变
NULL或乱码，基本就是这块内存已被重用或清零
C.CString 和 C.CBytes 为什么必须配对 C.free
这两个函数把 Go 数据复制进 C 堆，返回的指针不再受 Go GC 管辖，但也不自动释放：
立即学习“go语言免费学习笔记（深入）”；
在 Go 中使用 google/wire 实现编译时依赖注入——wire.NewSet、wire.Build、wire.Bind（接口→实现）、wire.Struct、wire.Value、wire.Interface
-
C.CString("hello")→ 分配 C 堆内存，拷贝字符串，返回*C.char；不调C.free就是 C 风格内存泄漏 -
C.CBytes([]byte{1,2,3})→ 同理，返回unsafe.Pointer，需显式C.free - 不能用
defer C.free(ptr)在回调函数里——C 可能异步多次调用，defer 只执行一次 - 更安全的做法是封装成 Go struct，用
runtime.SetFinalizer做兜底（但不替代主动释放）
如何让 Go 持有 C 结构体的生命周期控制权
核心原则：把 C 结构体绑定到一个 Go 对象上，并确保该对象在整个 C 使用期间始终可达。
- 定义一个 Go struct 包裹 C 指针：
type EventHandler struct { cPtr *C.vde_event_handler } - 在初始化时用
new(C.vde_event_handler)或C.Cmalloc分配，并赋值给 struct 字段 - 将该 struct 实例存在全局变量、传入 C 的 context 参数、或注册到长生命周期对象（如 server 实例）中
- 避免仅靠局部变量 +
runtime.KeepAlive——它只防编译器优化，不阻止 GC 回收不可达对象
真正起作用的是“引用链”：只要 GC root（如全局变量、goroutine 栈上的变量、活跃 channel）能顺着指针走到这个 struct，它和它持有的 cPtr 就不会被回收。
回调函数里传 unsafe.Pointer 到 Go 函数的坑
C 库回调 Go 函数时，常通过 void* 传上下文。开发者容易直接传 unsafe.Pointer(&x)，但这是高危操作：
- 如果
x是栈变量（如函数参数、局部 struct），回调发生时原栈帧可能已销毁，&x指向垃圾 - 即使
x逃逸到堆，若没有 Go 变量持有它，GC 仍可能回收 - 正确做法是传
unsafe.Pointer指向一个**堆分配且被 Go 长期引用的对象**，例如：unsafe.Pointer(&myHandler)，其中myHandler是全局变量或 server 字段 - 禁止在回调里做
uintptr中转再转回指针——必须原子表达式：(*MyStruct)(ptr)，不能拆成两步存uintptr
最易被忽略的一点：C 侧回调的并发性。多个线程同时调用同一个 Go 函数时，传入的 unsafe.Pointer 必须指向线程安全的 Go 对象，且该对象的生命周期要覆盖所有可能的并发调用窗口——这往往意味着它得活到整个程序退出，或由显式注销逻辑手动清理。
