有没有一种安全的方法可以使用 CGo 从 C 代码中保持对 Go 变量的引用？

Question

当使用 CGo 将 C 代码与 Go 接口时，如果我在 C 端保留对 Go 变量的引用，我是否会冒该对象被垃圾收集器释放的风险，或者 GC 会看到指针中的指针吗？ C端管理的变量？

为了说明我的要求，请考虑以下示例程序：

转码：

package main

/*
typedef struct _Foo Foo;
Foo *foo_new(void);
void foo_send(Foo *foo, int x);
int foo_recv(Foo *foo);
*/
import "C"

//export makeChannel
func makeChannel() chan int {
    return make(chan int, 1)
}

//export sendInt
func sendInt(ch chan int, x int) {
    ch <- x
}

//export recvInt
func recvInt(ch chan int) int {
    return <-ch
}

func main() {
    foo := C.foo_new()
    C.foo_send(foo, 42)
    println(C.foo_recv(foo))
}

C 代码：

#include <stdlib.h>
#include "_cgo_export.h"

struct _Foo {
    GoChan ch;
};

Foo *foo_new(void) {
    Foo *foo = malloc(sizeof(Foo));
    foo->ch = makeChannel();
    return foo;
}

void foo_send(Foo *foo, int x) {
    sendInt(foo->ch, x);
}

int foo_recv(Foo *foo) {
    return recvInt(foo->ch);
}

我是否会冒foo->ch 在foo_new 和foo_send 调用之间被垃圾收集器释放的风险？如果是这样，有没有办法从 C 端固定 Go 变量，以防止它在我持有对它的引用时被释放？

Answer 1

根据gmp CGo example：

垃圾收集是个大问题。围棋世界可以 有指向 C 世界的指针，并在它们出现时释放这些指针 不再需要。为了提供帮助，Go 代码可以定义 Go 对象 持有 C 指针并在这些 Go 对象上使用 runtime.SetFinalizer。

对于 C 世界来说，指向 Go 的指针要困难得多 世界，因为 Go 垃圾收集器不知道内存 由 C 分配。最重要的考虑是不 约束未来的实现，所以规则是 Go 代码可以 将 Go 指针交给 C 代码，但必须单独安排 去挂起对指针的引用，直到 C 完成它。

所以我不确定你是否可以从 C 端固定变量，但你可以通过使用 runtime.SetFinalizer 函数从 Go 端控制变量的垃圾收集。

希望对您有所帮助。