在Go中通过Cgo调用C函数时，若需传递“指向Go指针的数组”（即Go指针的切片），会因违反cgo的内存安全规则而触发cgo argument has Go pointer to Go pointer panic；根本解法是借助C端分配的连续内存管理指针数组，避免Go运行时无法追踪的嵌套指针引用。
在go中通过cgo调用c函数时，若需传递“指向go指针的数组”（即go指针的切片），会因违反cgo的内存安全规则而触发`cgo argument has go pointer to go pointer` panic；根本解法是借助c端分配的连续内存管理指针数组，避免go运行时无法追踪的嵌套指针引用。
Cgo对指针传递有严格限制：禁止将包含Go指针的Go数据结构（如切片、结构体）直接传入C函数，尤其当该结构体内又持有Go指针（例如 []*C.int 或 []C.pInt，其中 C.pInt = *C.int）时，Go运行时无法保证底层Go内存不被GC移动或回收，从而导致未定义行为。因此，unsafe.Pointer(&ps[0]) 传递一个由Go分配、且元素本身为Go指针的切片首地址，是明确被禁止的。
正确的做法是：将指针数组的内存分配完全移交C端，仅在Go中构造原始指针值，并逐个写入C分配的连续内存块。这样，C函数接收的是纯C内存中的指针数组，Go侧只负责值写入与生命周期管理（配合free）。
以下为可直接运行的合规实现：
package main
/*
#include <stdlib.h>
#include <stdio.h>
typedef int* pInt;
void foo(pInt p[]) {
if (p && p[0]) *p[0] = 100; // 示例：修改第一个目标int
printf("foo() called\n");
}
// C辅助函数：分配/释放指针数组内存
pInt* allocPtrArray(size_t n) { return (pInt*)calloc(n, sizeof(pInt)); }
void freePtrArray(pInt* p) { free(p); }
*/
import "C"
import "unsafe"
func main() {
// 1. 在Go中声明目标变量（生命周期需覆盖C调用）
var target C.int
// 2. 分配C端指针数组（容纳2个 C.pInt）
n := 2
cArr := C.allocPtrArray(C.size_t(n))
defer C.freePtrArray(cArr) // 确保释放
// 3. 将C分配的内存映射为Go切片（类型转换+切片头构造）
// 注意：此处 ps 是 []C.pInt，但底层数组由C malloc分配，元素值为合法C指针
ps := (*[1 << 20]C.pInt)(unsafe.Pointer(cArr))[:n:n]
// 4. 构造单个C指针（指向Go变量，允许——单层Go指针可传入C）
p1 := (*C.int)(unsafe.Pointer(&target))
p2 := (*C.int)(unsafe.Pointer(&target)) // 可指向同一变量或不同变量
// 5. 写入C分配的数组
ps[0] = p1
ps[1] = p2
// 6. 安全调用C函数（传入C内存中的指针数组）
C.foo(cArr)
// 验证副作用
println("target =", int(target)) // 输出: target = 100
}✅ 关键要点总结：
立即学习“go语言免费学习笔记（深入）”；
- 不可省略C辅助函数：allocPtrArray 和 freePtrArray 是必需的，无法纯Go绕过（Go无法安全分配可被C长期持有的指针数组内存）；
- Go变量生命周期必须延长：被C指针引用的Go变量（如 target）不能是临时栈变量，需确保其地址在整个C调用期间有效（本例中为main局部变量，作用域足够）；
- 避免切片逃逸陷阱：ps 切片仅用于便捷写入，其底层数组归属C堆，cArr 才是真实所有者；
- 生产环境建议增强：为foo添加长度参数（如 void foo(pInt p[], size_t len)），并在C端校验边界，提升健壮性。
此方案严格遵循cgo指针规则，在不修改原有C库签名的前提下，实现了安全、可控的跨语言指针数组交互。
