Go cgo 调用返回后 C 指针为什么不能保存到 Go

先纠正一个容易误解的说法：cgo 返回的 C 指针并不是一律不能保存到 Go。如果内存确实由 C.malloc 等 C 分配函数取得，Go 可以用 unsafe.Pointer 暂存它；真正受限制的是把 Go 分配的指针交给 C 后，让 C 在调用返回后继续保存未固定的 Go 指针。很多“保存失败”最后其实是指针归属、释放时机或类型转换出了问题。

先看内存从哪里来，而不是看指针类型

cgo 文档把“Go pointer”定义为指向 Go 分配内存的指针，把“C pointer”定义为指向 C 分配内存的指针。一个 unsafe.Pointer 可能装着两者，所以只看类型无法判断边界。

例如 C.CString 和 C.CBytes 返回的都是 C 堆内存，Go 可以暂存其地址；但它们不会自动由 Go 垃圾回收，调用方仍要在最后一次使用后释放。相反，&buf[0] 指向 Go 的 backing array，即使把它转换成了 C 可接受的形式，归属仍然是 Go。

调用返回后，哪一种指针不能继续留在 C

Go 传给 C 的指针，默认只在这次 C 调用期间隐式固定。调用返回后，C 不能继续保存这个 Go pointer；只有使用 runtime.Pinner 固定符合条件的 Go 内存，并且在 C 仍持有期间不解除固定，才可能延长存活区间。字符串、切片、channel 等包含 Go 指针，不能靠这个方式长期交给 C。

因此下面的判断比“能不能保存到 Go”更准确：

保存 C 指针时，代码至少要把生命周期写清楚

一个小型包装器可以把“取得、持有、释放”放在同一处。下面的示例只展示结构，未把示例输出当作本机运行结果：

// C 端只负责申请和释放自己拥有的堆内存。
// 返回的缓冲区不包含 Go 指针字段。
/*
#include 
#include 

static char* make_buffer(void) {
    const char* text = "cgo-owned";
    char* p = (char*)malloc(strlen(text) + 1);
    if (p != NULL) {
        memcpy(p, text, strlen(text) + 1);
    }
    return p;
}
*/
import "C"
import "unsafe"

type CBuffer struct {
    // ptr 指向 C 堆；它不是 Go 字符串，也不由 GC 负责释放。
    ptr unsafe.Pointer
}

func newCBuffer() *CBuffer {
    // C.malloc 一类返回的是 C 内存，可以由 Go 暂存。
    p := unsafe.Pointer(C.make_buffer())
    return &CBuffer{ptr: p}
}

func (b *CBuffer) Close() {
    // 释放后立刻清空字段，避免同一对象被重复释放或继续使用。
    if b != nil && b.ptr != nil {
        C.free(b.ptr)
        b.ptr = nil
    }
}

这里的关键不是 unsafe.Pointer 让规则失效，而是它只保存了 C 内存地址，没有把 Go 指针写进 C 缓冲区。生产代码还应让关闭动作可重复调用，并在并发场景下用锁或对象所有权保证读写与释放不重叠。

遇到崩溃或 cgocheck 报错怎么查

1. 找分配点：确认地址来自 malloc、C.CString，还是来自 Go 变量地址。
2. 找释放点：记录是否已经 C.free，以及是否存在重复释放、释放后读取。
3. 查内部字段：C 结构体若保存了 Go 指针，调用结束后的检查可能直接报错；需要复制数据或使用 runtime/cgo.Handle 传递 Go 值。
4. 查存活区间：只把 Go 指针交给 C 本次调用使用；不要用关闭 cgocheck 掩盖未定义行为。

官方 cgo 规则还提醒，C 内存传回 Go 前应避免未初始化内容看起来像 Go 指针；需要在 C 侧清零后再交给 Go 处理。这样能减少运行时检查对脏内存的误判。

常见问题

把 C 指针存成 uintptr 可以绕过限制吗？

不可以。改成整数不会延长 C 内存寿命，也不会把悬空地址变安全；使用后仍要按 C API 的约定释放。

Go 保存 C 指针后会被垃圾回收吗？

Go GC 不负责释放 C 堆。Go 变量只是在持有地址，释放责任仍属于调用方或约定的 C API。

为什么转成 Go 字符串后就能长期使用？

C.GoString 会把 C 字符串内容复制到 Go 内存，复制结果与原 C 缓冲区分离；但原缓冲区仍要在合适时机释放。