CGO中如何将Go的[]string转换为C的char * const []类型？

问题背景 #

现有C语言函数定义：

int init(int argc, char * const argv[]) {
    // 业务代码
}

需要将Go语言的命令行参数os.Args传递给该C函数，原Go实现代码如下：

func main() {
    args := os.Args
    arg_C := convertCSliceToCharArray(args)
    C.init(C.int(len(args)), arg_C)
}

func convertCSliceToCharArray(slice []string) []*C.char {
    slice_C := make([]*C.char, len(slice))
    for i, s := range slice {
        char_c := C.CString(s)
        defer C.free(unsafe.Pointer(&char_c))
        slice_C[i] = char_c
    }
    return slice_C
}

执行go build时触发错误：

cannot use _cgol(variable of type []*_Ctype_char) as type **_Ctype_char in argument to _Cfunc_init

已知CGO中C的char * const []类型对应Go的**_Ctype_char类型，需解决[]string到该类型的正确转换问题。

问题分析 #

1. 类型不匹配：Go的[]*C.char是切片类型，而C的char * const argv[]本质是指向指针的指针（**char），直接传递切片会触发类型错误。
2. 内存释放错误：原代码中defer C.free(unsafe.Pointer(&char_c))写法错误，应该直接传递char_c本身（unsafe.Pointer(char_c)），否则释放的是指针变量的地址而非C字符串的内存；且循环内使用defer会导致所有内存释放操作延迟到函数结束时执行，大量参数场景下会占用过多内存。

正确实现代码 #

package main

/*
#include <stdlib.h>
// 声明C函数
int init(int argc, char * const argv[]);
*/
import "C"
import (
    "os"
    "unsafe"
)

func main() {
    args := os.Args
    argCount := len(args)
    
    // 将每个Go字符串转换为C字符串，存入切片
    cArgs := make([]*C.char, argCount)
    for i, arg := range args {
        cArgs[i] = C.CString(arg)
    }
    
    // 统一延迟释放所有C字符串内存
    defer func() {
        for _, cArg := range cArgs {
            C.free(unsafe.Pointer(cArg))
        }
    }()
    
    // 将[]*C.char转换为**C.char类型，传递给C函数
    // 核心转换逻辑：通过unsafe获取切片底层指针，转为足够大的数组指针后切片
    C.init(
        C.int(argCount),
        (*[1 << 30]*C.char)(unsafe.Pointer(&cArgs[0]))[:argCount:argCount],
    )
}

关键说明 #

• 类型转换核心：通过unsafe.Pointer(&cArgs[0])获取切片第一个元素的地址，转换为一个超大数组指针（(*[1 << 30]*C.char)），再切片为对应长度，CGO会自动将其识别为**C.char类型，匹配C函数的参数要求。
• 内存管理：使用defer包裹循环释放逻辑，确保所有C分配的内存都能被正确回收，避免内存泄漏。
• 避免循环内defer：循环内的defer不会立即执行，会累积到函数结束，大量参数场景下会造成不必要的内存占用，统一延迟释放更高效。

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