如何在Go语言中获取C函数的输出参数？附代码正确性验证

问题背景 #

我有一个C语言函数：

void sign(const char *in, int in_size, char *out, int *out_size);

想在Go语言中调用它，以下是我的实现代码，请问是否正确？

data:="123456"
cData := C.CString(data)
defer C.free(unsafe.Pointer(cData))
var _skcy [30]C.char
var outLen C.int
C.sign(cData, C.int(len(data)), &_skcy[0], &outLen)
skcy := C.GoStringN(&_skcy[0], outLen-1)

解答：大体思路正确，但有几个细节需要注意和优化 #

你的代码整体方向是对的，但有几个关键细节需要确认和调整，避免潜在的问题：

• 内存管理的正确性：你用C.CString转换Go字符串为C字符串，并且用defer C.free释放内存，这部分是完全正确的，能有效避免内存泄漏。
• 输出缓冲区的大小风险：你定义的_skcy是固定大小的30字节数组，这里要确保sign函数的输出不会超过这个长度，否则会触发缓冲区溢出，导致程序崩溃或内存污染。如果sign函数有明确的最大输出长度（比如文档说明最多输出29字节+1个终止符），那这个大小没问题；如果没有明确说明，建议动态分配足够的内存，或者先调用sign传入out_size为0来获取所需的缓冲区大小（如果函数支持这种用法的话）。
• outLen的处理逻辑：这里的核心是要明确sign函数返回的outLen代表什么：
  • 如果outLen是输出内容的总字节数（包含末尾的null终止符），那你用outLen-1是正确的，这样可以去掉最后的空字符，得到有效的Go字符串；
  • 如果outLen是实际有效字符的数量（不含null终止符），那你不需要减1，直接用outLen作为C.GoStringN的长度参数即可——如果此时你减1，会丢失最后一个字符。
    一定要对照sign函数的文档或实现来确认这个定义，这是最容易出错的点。
• 类型转换的边界情况：len(data)转换为C.int是可行的，但要注意在32位系统上C.int是32位整数，如果data的长度超过2^31-1（也就是2GB左右），会发生溢出错误——不过对于大多数场景下的短字符串，这个问题可以忽略。

优化后的示例代码（假设outLen是含null的总长度） #

data := "123456"
// 转换Go字符串为C字符串，记得释放内存
cData := C.CString(data)
defer C.free(unsafe.Pointer(cData))

// 假设sign函数最大输出不超过29字节+1个终止符，定义足够大的缓冲区
const maxOutputSize = 30
var outBuf [maxOutputSize]C.char
var outLen C.int

// 调用C函数
C.sign(cData, C.int(len(data)), &outBuf[0], &outLen)

// 确认输出长度不超过缓冲区大小，避免越界
if outLen <= 0 || outLen > maxOutputSize {
    // 处理错误，比如返回空字符串或抛出错误
    panic("invalid output length from sign function")
}

// 转换C缓冲区为Go字符串，去掉末尾的null终止符
result := C.GoStringN(&outBuf[0], outLen-1)

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