Go与C语言互操作：结构体及结构体数组的正确传递方法

本文详细探讨了go语言与c语言之间传递结构体及结构体数组时常见的类型不匹配问题，特别是go `int`与c `int`在内存布局上的差异。文章提供了两种解决方案：显式类型匹配和更推荐的c类型别名方式，并结合示例代码，演示了如何安全有效地传递单个结构体、连续结构体数组以及结构体指针数组，旨在帮助开发者避免cgo交互中的潜在错误，确保数据传输的准确性和程序稳定性。

1. Go与C结构体类型不匹配问题解析

在Go语言与C语言通过CGO进行互操作时，结构体的数据传递是一个常见且容易出错的环节。核心问题在于Go和C对相同数据类型（如int）的底层表示和内存布局可能存在差异。

1.1 潜在的类型差异

以int类型为例，在Go语言中，int类型的大小通常与CPU架构相关，例如在64位系统上，int通常是64位（8字节）。然而，在C语言中，int类型的大小则由编译器和目标平台决定，它通常是32位（4字节），即使在64位系统上也是如此。这种差异会导致Go中定义的结构体与C中定义的结构体在内存布局上不一致，从而引发数据读取错误甚至程序崩溃（SIGSEGV）。

考虑以下C和Go结构体定义：

// C语言中的Foo结构体
typedef struct {
    int a; // 假设为32位
    int b; // 假设为32位
} Foo;

// Go语言中与C结构体对应的Foo结构体
type Foo struct {
    A int // 在64位系统上可能为64位
    B int // 在64位系统上可能为64位
}

如果Go的int是64位，而C的int是32位，那么Go的Foo结构体大小将是16字节（8+8），而C的Foo结构体大小将是8字节（4+4）。当Go尝试将一个16字节的Foo结构体指针传递给C函数，而C函数期望接收一个8字节的Foo结构体时，C函数将按照其自身对Foo结构体大小的理解去读取内存，这会导致b字段被错误地读取，甚至访问到不属于该结构体的内存区域，引发未定义行为。

1.2 原始问题示例与错误现象

以下是原始问题中导致错误的代码片段，它尝试传递Go结构体到C：

package main

/*
#include 

typedef struct {
    int a;
    int b;
} Foo;

void pass_struct(Foo *in) {
    fprintf(stderr, "[%d, %d]\n", in->a, in->b);
}

void pass_array(Foo **in) {
    int i;
    for(i = 0; i < 2; i++) {
        fprintf(stderr, "[%d, %d]", in[i]->a, in[i]->b);
    }
    fprintf(stderr, "\n");
}
*/
import "C"

import (
    "unsafe"
)

type Foo struct {
    A int
    B int
}

func main() {
    foo := Foo{25, 26}
    foos := []Foo{{25, 26}, {50, 51}}

    // 传递单个结构体：预期 [25, 26]，实际输出 [25, 0]
    C.pass_struct((*_Ctype_Foo)(unsafe.Pointer(&foo)))

    // 传递结构体数组：尝试直接转换Go切片指针，导致SIGSEGV
    // C.pass_array((**_Ctype_Foo)(unsafe.Pointer(&foos[0])))

    // 传递结构体指针数组：预期 [25, 26], [50, 51]，实际输出 [25, 0], [50, 0]
    out := make([]*_Ctype_Foo, len(foos))
    out[0] = (*_Ctype_Foo)(unsafe.Pointer(&foos[0]))
    out[1] = (*_Ctype_Foo)(unsafe.Pointer(&foos[1]))
    C.pass_array((**_Ctype_Foo)(unsafe.Pointer(&out[0])))
}

错误分析：

• [25, 0] 结果： 这表明C函数正确读取了a字段（25），但在读取b字段时发生了错误，通常是因为C函数期望的b字段位置与Go结构体中b字段的实际位置不符。例如，如果Go的A是64位，C的a是32位，那么C函数在读取b时，实际上可能读取的是Go结构体中A字段的剩余部分，或者是一个填充字节，导致出现0。
• SIGSEGV 错误： 当尝试直接将Go切片[]Foo的第一个元素的地址强制转换为**_Ctype_Foo时，Go切片在内存中是连续的Foo结构体，而不是Foo结构体指针的数组。C函数期望接收一个Foo*的