从 C 访问 Go 的数组数组

Question

澄清：似乎没有将 GO 映射作为多维数组发送到 C 函数的记录示例。这个问题旨在为从 GO 发送数据集合到 C 的任何人找到一个通用的解决方案。

问题： 我在 Go 中有一个 map[string]string，我希望在 C++ 中迭代这个键/值对。

在 GO 中，我有以下内容来创建多维数组

    var argv = make([][]*C.char, len(keypairs))

    count := 0

    for key, val := range keypairs {

        var argv2 = make([]*C.char, 2)

        csKey := C.CString(key)

        csVal := C.CString(val)

        argv2[0] = csKey

        argv2[1] = csVal

        argv[count] = argv2

        count++

        C.free(unsafe.Pointer(csKey))

        C.free(unsafe.Pointer(csVal))

    }

    C.writeKeyValuePairs(&argv[0])

然后在 C++ 中我有：

bool writeKeyValuePairs(char * pairs[][2]) {

     ...

}

结果是： cannot use _cgo1 (type *[]*_Ctype_char) as type *[2]*_Ctype_char in argument

更新@kostix： 这是现在的位置：

    var argv = make([][2]*C.char, len(tags))

    i := 0

    for key, val := range tags {

        var argv2 = new([2]*C.char)

        argv2[0], argv2[1] = C.CString(key), C.CString(val)

        argv[i] = argv2

        i++

    }

    C.writeKeyValuePairs(&argv[0])

错误是： Cannot use 'argv2' (type *[2]*C.char) as type [2]*C.char

Answer 1

在 Go 中，[]T它并不像你想象的那样：它不是一个数组，而是一个切片。切片由struct三个字段组成：length int，capacity int以及指向基础（支持）数组的第一个元素的指针。相反，在 C 和 C++ 中，a直接T[]是指向内存块的指针（其迭代恰好以字节块的形式完成）。sizeof(T)因此你char *pairs[][2]是指向类型为两个元素的内存块的指针char*[]，其中每个元素都是指向另一个包含未知数量的类型元素的数组的指针char*。…你的 Go[][]*C.char是一个切片的切片（即struct- 类型的切片头，而不是指针）。你可能需要这样的东西：    var argv = make([][2]*C.char, len(keypairs))    i := 0    for key, val := range keypairs {        var argv2 = new([2]*C.char)        argv2[0], argv2[1] := C.CString(key), C.CString(val)        argv[i] = argv2        i++    }    C.writeKeyValuePairs(&argv[0])这里我们分配一个数组切片（长度为 2）。在调用 C 端时，您可以正确获取封闭数组的第一个元素的地址，因此在顶层有一个切片就可以了。这段代码的问题是，您没有传递数据的长度argv，writeKeyValuePairs也没有在该数组的末尾使用哨兵值，但我希望您刚刚从示例中删除了该位。C.CString我也无法理解为什么你立即释放分配的内存。手册说：// Go string to C string// The C string is allocated in the C heap using malloc.// It is the caller's responsibility to arrange for it to be// freed, such as by calling C.free (be sure to include stdlib.h// if C.free is needed).func C.CString(string) *C.char因此，在指向键/值对的指针被分配给相应的数组条目对之后，您似乎立即释放了键/值对的内存块。我怀疑这是一个错误：释放必须在 C 函数完成执行后进行。

Answer 2

我在 Go 中有一个 map[string]string，我希望在 C++ 中迭代这个键/值对。用你的例子，package main/*#include <stdlib.h>#include <stdio.h>#include <stdbool.h>bool writeKeyValuePairs(char *pairs[][2], size_t size) {&nbsp; &nbsp; for (size_t i = 0; i < size; i++ ) {&nbsp; &nbsp; &nbsp; &nbsp; if (fprintf(stdout, "%s: %s\n", pairs[i][0], pairs[i][1]) < 0) {&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; return false;&nbsp; &nbsp; &nbsp; &nbsp; }&nbsp; &nbsp; }&nbsp; &nbsp; return true;}*/import "C"import (&nbsp; &nbsp; "fmt"&nbsp; &nbsp; "os"&nbsp; &nbsp; "unsafe")func allocCPairs(m map[string]string) (*[2]*C.char, C.size_t) {&nbsp; &nbsp; kv := make([][2]*C.char, 0, len(m)+1)&nbsp; &nbsp; for k, v := range m {&nbsp; &nbsp; &nbsp; &nbsp; kv = append(kv, [2]*C.char{0: C.CString(k), 1: C.CString(v)})&nbsp; &nbsp; }&nbsp; &nbsp; return &kv[:cap(kv)][0], C.size_t(len(kv))}func freeCPairs(cPairs *[2]*C.char, size C.size_t) {&nbsp; &nbsp; gPairs := (*[1 << 30][2]*C.char)(unsafe.Pointer(cPairs))[:size]&nbsp; &nbsp; for _, pair := range gPairs {&nbsp; &nbsp; &nbsp; &nbsp; for _, p := range pair {&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; C.free(unsafe.Pointer(p))&nbsp; &nbsp; &nbsp; &nbsp; }&nbsp; &nbsp; }}func writeKeyValuePairs(m map[string]string) error {&nbsp; &nbsp; cPairs, size := allocCPairs(m)&nbsp; &nbsp; defer freeCPairs(cPairs, size)&nbsp; &nbsp; rv := C.writeKeyValuePairs(cPairs, size)&nbsp; &nbsp; if !rv {&nbsp; &nbsp; &nbsp; &nbsp; return fmt.Errorf("writeKeyValuePairs: write error")&nbsp; &nbsp; }&nbsp; &nbsp; return nil}func main() {&nbsp; &nbsp; m := map[string]string{&nbsp; &nbsp; &nbsp; &nbsp; "K1": "V1",&nbsp; &nbsp; &nbsp; &nbsp; "K2": "V2",&nbsp; &nbsp; &nbsp; &nbsp; // ...&nbsp; &nbsp; &nbsp; &nbsp; "Kn": "Vn",&nbsp; &nbsp; }&nbsp; &nbsp; fmt.Println(m)&nbsp; &nbsp; err := writeKeyValuePairs(m)&nbsp; &nbsp; if err != nil {&nbsp; &nbsp; &nbsp; &nbsp; fmt.Fprintln(os.Stderr, err)&nbsp; &nbsp; &nbsp; &nbsp; return&nbsp; &nbsp; }}输出：map[K1:V1 K2:V2 Kn:Vn]K1: V1K2: V2Kn: Vn