使用CGo调用带有双指针输出参数的C函数

Question

我正在尝试找出调用 this function 的正确方法:

size_t
fz_buffer_storage(fz_context *ctx, fz_buffer *buf, unsigned char **datap)
{
    if (datap)
        *datap = (buf ? buf->data : NULL);
    return (buf ? buf->len : 0);
}

使用 CGo 获取底层字符串及其长度作为 Go 中的字节数组。

这是正确的做法吗？

var bufferContents *C.uchar
length := C.fz_buffer_storage(ctx, buf, &bufferContents)
bytes := C.GoBytes(unsafe.Pointer(bufferContents), C.int(length))

由于 C 代码覆盖了 *datap，我不确定垃圾收集器是否仍会做正确的事情。

我看到了一个答案here提出一些类似的建议

var tempUcharPtr *C.uchar
bufferContents := C.malloc(C.size_t(unsafe.Sizeof(tempUcharPtr)))
defer C.free(bufferContents)
length := C.fz_buffer_storage(ctx, buf, (**C.uchar)(bufferContents))
bytes := C.GoBytes(unsafe.Pointer(*(**C.uchar)(bufferContents)), C.int(length))

这似乎也有效，但它更复杂，我想知道它是否比以前的版本更好/更安全。

Answer 1

显然，第一个版本没问题。引用 the docs :

Go code may pass a Go pointer to C provided the Go memory to which it points does not contain any Go pointers.

据我了解，由于 var bufferContents *C.uchar 将被初始化为 nil，因此它不算作上述规则的“Go 指针”。以下简化的代码示例证实了这一点:

package main

// void F(char **p) {}
import "C"

func main() {
    var p *C.char = new(C.char)
    C.F(&p)
}

将触发“ panic :运行时错误:cgo 参数有指向 Go 指针的 Go 指针”

package main

// void F(char **p) {}
import "C"

func main() {
    var p *C.char
    C.F(&p)
}

即使设置 GODEBUG=cgocheck=2 也能正常工作。

感谢 Gophers Slack 社区的#cgo channel 上的人们帮助我理解了这一点!