Go中传递给C函数的指针父结构体是否被隐式保活？需用runtime.KeepAlive吗？

是否需要使用runtime.KeepAlive？ #

不需要。

原因分析： #

在这个MyCall方法中，接收者a和参数b属于当前Go函数的局部变量（接收者本质上也是函数参数），在执行C.MyCall(a.handle, b.handle)的整个过程中，它们的引用会保留在Go栈上，Go垃圾回收器会将其视为活跃对象，不会在C函数调用期间回收a或b实例，因此也不会触发它们的finalizer（避免提前释放handle指向的C内存）。

只有当C函数调用完成后，Go代码不再使用a/b但C端会异步持有handle并访问对应资源时，才需要runtime.KeepAlive来延长a、b的生命周期，防止finalizer提前触发。但你的示例中C.MyCall是同步调用，完全不需要额外处理。

隐式固定是否延伸到父结构体？ #

首先明确：官方文档中提到的**“传递给C函数的Go指针所指向的内存会被隐式固定”，仅针对指向Go分配内存的指针**（比如*int、*struct{...}这类Go原生类型指针），且这种固定只作用于该指针指向的内存本身，不会自动延伸到包含它的父结构体。

回到你的示例：传递给C的是*C.my_type（指向C分配内存的指针），不属于Go指针范畴，因此不会触发这种隐式固定机制。哪怕你传递的是MyType结构体中的某个Go指针字段，隐式固定也只会保护该指针指向的内存，不会自动保护MyType实例本身——如果MyType实例没有其他活跃引用，依然可能被GC回收。

内容的提问来源于stack exchange，提问作者Theodore Tsirpanis