本文详解如何在 CGO 中正确导出返回 []float64 的 Go 函数，避免“cgo result has Go pointer”运行时错误——核心在于使用 C.malloc 在 C 堆上分配内存，并通过切片头转换实现安全数据传递。
本文详解如何在 cgo 中正确导出返回 `[]float64` 的 go 函数，避免“cgo result has go pointer”运行时错误——核心在于使用 `c.malloc` 在 c 堆上分配内存，并通过切片头转换实现安全数据传递。
在 Go 与 C 交互（CGO）场景中，若需从 Go 导出一个返回双精度浮点数数组的函数（如供 C 程序调用），绝不可直接返回指向 Go 栈或堆上数组的 unsafe.Pointer。这是因为 Go 的垃圾回收器（GC）无法追踪 C 侧持有的 Go 指针，且栈上变量在函数返回后即失效，导致未定义行为或 runtime error: cgo result has Go pointer panic。
正确做法是：在 C 堆上显式分配内存，将数据写入该内存块，并返回其指针和长度。以下为推荐实现：
/*
#cgo LDFLAGS: -lm
#include <stdlib.h>
*/
import "C"
import (
"unsafe"
)
//export Init
func Init(f string) (C.size_t, *C.double) {
const size = 10
// Step 1: 在 C 堆上分配连续内存（单位：字节）
// 注意：C.double 对应 C 的 double 类型，通常为 8 字节
bytes := C.size_t(size) * C.size_t(unsafe.Sizeof(C.double(0)))
p := C.malloc(bytes)
if p == nil {
panic("failed to allocate C memory")
}
// Step 2: 将原始指针转换为 Go 切片，便于索引操作
// 使用 [1<<30 - 1]C.double 避免编译器对数组大小的限制
doubles := (*[1 << 30]C.double)(p)[:size:size]
// Step 3: 初始化数据（注意类型转换：Go float64 → C.double）
doubles[3] = C.double(1.5)
// Step 4: 返回长度（C.size_t）和指向 C 堆内存的 *C.double
return C.size_t(size), (*C.double)(p)
}✅ 关键要点说明：
-
C.malloc分配的内存由 C 管理，不受 Go GC 干预，C 侧可安全长期持有并访问； - 使用
(*[1 创建「零拷贝」切片，既保持 Go 语法便利性，又确保底层内存归属 C； - 所有浮点数值须显式转为
C.double，避免隐式转换引发 ABI 不兼容； -
调用方（C 代码）有责任在使用完毕后调用
free()释放该内存，否则将造成内存泄漏。例如 C 端应类似如下使用：
#include <stdio.h>
#include <stdlib.h>
extern size_t Init(const char* filename, double** out_array);
int main() {
double* arr;
size_t len = Init("config.dat", &arr);
printf("Got %zu doubles, arr[3] = %f\n", len, arr[3]);
free(arr); // ⚠️ 必须释放！
return 0;
}⚠️ 注意事项：
- 若 Go 函数需多次调用并返回新数组，每次均需独立
malloc，避免复用同一内存块引发竞态； - 不要尝试用
C.free在 Go 中提前释放——除非你完全掌控生命周期且确保 C 侧已不再访问； - 如需返回动态长度数组，建议将长度作为输出参数（如上 C 端示例），或通过额外导出
FreeArray(*C.double)函数封装释放逻辑，提升安全性与可维护性。
综上，安全导出数值数组的本质是「内存所有权移交」：Go 负责初始化，C 负责生命周期管理。遵循此原则，即可稳定、高效地桥接 Go 与 C 的数值计算生态。
