使用灵活数组来初始化 C 结构成员

对于一个Golang开发者来说，牢固扎实的基础是十分重要的，golang学习网就来带大家一点点的掌握基础知识点。今天本篇文章带大家了解《使用灵活数组来初始化 C 结构成员》，主要介绍了，希望对大家的知识积累有所帮助，快点收藏起来吧，否则需要时就找不到了！

我正在尝试在 go 端初始化一个 c 数组结构。 我是cgo新手。仍在尝试了解用例。

测试.h

typedef struct reply {
  char     *name;
  reply_cb  callback_fn;
} reply_t;

typedef struct common {
  char      *name;
  int        count;
  reply_t    reply[];
} common_t;


int
init_s (common_t *service);

测试.go

name := C.CString("ABCD")
    defer C.free(unsafe.Pointer(name))

    num := C.int(3)

    r := [3]C.reply_t{{C.CString("AB"), (C.s_cb)(unsafe.Pointer(C.g_cb))},
                       {C.CString("BC"), (C.s_cb)(unsafe.Pointer(C.g_cb))},
                       {C.CString("CD"), (C.s_cb)(unsafe.Pointer(C.g_cb))}}

    g := C.common_t{
        name: name,
        count: num,
        reply : r,
    }

    rc := C.init_s(&g)

我在类型结构文字中的“reply: r”未知字段“r”上收到错误

任何帮助将不胜感激。目标是初始化，然后使用 c init_s 中的值进行处理。

正确答案

您不能使用 Go 中的灵活数组字段：https://go-review.googlesource.com/c/go/+/12864/。

我认为原因很简单：这个 C 语言通常需要你执行一个技巧，分配一个足够长的正确对齐的内存缓冲区，以容纳 sizeof(struct_type) 本身在该缓冲区的开头加上 sizeof( array_member[0]) * array_element_count 字节。这并不映射到 Go 的类型系统，因为在其中，结构具有编译时已知的固定大小。如果 Go 不会在定义中隐藏 reply，那么它将引用一个零长度字段，无论如何你都无法使用它做任何有用的事情 - 请参阅 #20275。

不要被使用文字初始化灵活数组成员字段的代码示例所欺骗：正如 torek 指出的那样，它是一个 GCC 扩展，但更重要的是，它需要编译器的一部分进行工作 - 即，它分析文字，理解它出现的上下文，并生成一个代码，该代码分配足够大的内存块来容纳结构体和灵活数组的所有成员。
Go 代码中数组的初始化可能表面上看起来相似，但它有一个重要的区别：它分配一个单独的数组，该数组与它应该“放置”的结构的内存块无关。进入”。
更重要的是，Go 的数组与 C 的数组不同：在 C 中，数组是伪装的指针，在 Go 中，数组是一等公民，当您分配数组或将其传递给函数调用时，整个数组将按值复制 -与 C 术语中的“退化为指针”相反。 因此，即使 Go 编译器不会隐藏 reply 字段，对其赋值也会失败。

我认为如果没有用 C 编写的附加帮助程序代码，您无法直接使用 Go 中的这种类型的值。例如，要初始化 common_t 的值，您需要编写一个 C 帮助程序，它首先分配足够长的内存缓冲区，然后公开指向 Go 代码的一对指针：指向缓冲区的开头（类型为 *C.common_t），以及指向数组的第一个元素 - 如 *C.reply_t。

如果此 C 代码是您拥有的代码，我建议您删除灵活数组并在 reply 字段中维护指向“正常”数组的指针。 是的，这意味着 CPU 需要额外的指针追逐，但与 Go 的互操作会更简单。

今天带大家了解了的相关知识，希望对你有所帮助；关于Golang的技术知识我们会一点点深入介绍，欢迎大家关注golang学习网公众号，一起学习编程~