在Go语言中使用cgo结合CString时如何正确释放内存？

我正在尝试了解Go语言中使用cgo结合CString时如何正确释放内存，以实现代码的内存安全。以下是当前可正常运行的代码：

现有可运行代码 #

basic.go #

package main

// #include <stdlib.h>
import "C"

import (
        "github.com/pemistahl/lingua-go"
)

var lan lingua.Language


//export Langdetectfunct
func Langdetectfunct(text *C.char) int {
    textS := C.GoString(text);

    detector := lingua.NewLanguageDetectorBuilder().
        FromAllLanguages().
        Build()

    language, _ := detector.DetectLanguageOf(textS)

    return int(language)
}

func main() {}

basic1.cpp #

#include "basic.h"

int main() {
    auto text = "It is a beautiful day, today";
    int res = Langdetectfunct(const_cast<char *>(text));
    std::cout << "res: " << res << std::endl;
}

编译运行命令及输出 #

编译Go代码为共享库：

raphy@raohy:~/go-lang-detect$ go build -o basic.so -buildmode=c-shared basic.go

编译C++代码：

raphy@raohy:~/go-lang-detect$ g++ -o basic basic1.cpp ./basic.so

运行结果：

raphy@raohy:~/go-lang-detect$ ./basic 
res: 17

错误的内存释放尝试 #

尝试1：将C.free放在return之后 #

修改后的basic.go：

package main

// #include <stdlib.h>
import "C"
import "unsafe"

import (
        "github.com/pemistahl/lingua-go"
)

var lan lingua.Language

//export Langdetectfunct
func Langdetectfunct(text *C.char) int {
    textS := C.GoString(text);

    detector := lingua.NewLanguageDetectorBuilder().
        FromAllLanguages().
        Build()

    language, _ := detector.DetectLanguageOf(textS)

    return int(language)

    C.free(unsafe.Pointer(text))
}

func main() {}

编译报错：

raphy@raohy:~/go-lang-detect$ go build -o basic.so -buildmode=c-shared basic.go
./basic.go:39:1: missing return

原因是return语句后的代码永远不会执行，编译器判定代码不可达，触发语法错误。

尝试2：将C.free放在return之前 #

修改后的basic.go：

package main

// #include <stdlib.h>
import "C"
import "unsafe"

import (
        "github.com/pemistahl/lingua-go"
)

var lan lingua.Language

//export Langdetectfunct
func Langdetectfunct(text *C.char) int {
    textS := C.GoString(text);

    detector := lingua.NewLanguageDetectorBuilder().
        FromAllLanguages().
        Build()

    language, _ := detector.DetectLanguageOf(textS)

    C.free(unsafe.Pointer(text))

    return int(language)
}

func main() {}

运行时触发错误：

raphy@raohy:~/go-lang-detect$ go build -o basic.so -buildmode=c-shared basic.go
raphy@raohy:~/go-lang-detect$ g++ -o basic basic1.cpp ./basic.so
raphy@raohy:~/go-lang-detect$ ./basic 
free(): invalid pointer
Aborted (core dumped)

正确的内存安全解决方案 #

核心原则：内存的分配和释放必须由同一侧负责，具体规则：

• 如果指针是Go侧通过C.CString分配的堆内存，必须由Go侧调用C.free释放。
• 如果指针是C侧分配的（包括栈上字符串、C侧malloc/new的堆内存），则必须由C侧负责释放，Go侧不能调用C.free操作该指针。

当前场景问题分析 #

你的C++代码中传入的是字符串字面量，它存储在程序的只读数据段/栈中，并非通过malloc分配的堆内存。Go侧调用C.free释放栈指针，必然触发invalid pointer错误。

正确代码调整方式 #

场景1：C侧传入堆分配字符串（约定Go侧释放）

若需要Go侧负责释放，C++代码需先通过malloc分配堆内存并复制字符串：

#include "basic.h"
#include <cstdlib>
#include <cstring>

int main() {
    const char* original = "It is a beautiful day, today";
    // 分配堆内存并复制字符串
    char* text = static_cast<char*>(malloc(strlen(original) + 1));
    strcpy(text, original);
    
    int res = Langdetectfunct(text);
    std::cout << "res: " << res << std::endl;
}

此时Go侧可以安全调用C.free，建议用defer确保无论函数是否出错都会释放内存：

//export Langdetectfunct
func Langdetectfunct(text *C.char) int {
    defer C.free(unsafe.Pointer(text))
    textS := C.GoString(text)

    detector := lingua.NewLanguageDetectorBuilder().
        FromAllLanguages().
        Build()

    language, _ := detector.DetectLanguageOf(textS)

    return int(language)
}

场景2：C侧传入栈/只读段字符串（无需Go侧释放）

如果C侧传入的是字符串字面量或栈上字符串，Go侧不需要做任何释放操作，保持最初的可运行代码即可，内存由C侧运行时负责管理。

额外性能优化：复用语言检测器

当前代码每次调用都会重新创建检测器，性能损耗较大，可将检测器初始化移到全局：

package main

// #include <stdlib.h>
import "C"

import (
        "github.com/pemistahl/lingua-go"
)

// 全局初始化检测器，仅创建一次
var detector = lingua.NewLanguageDetectorBuilder().
        FromAllLanguages().
        Build()

//export Langdetectfunct
func Langdetectfunct(text *C.char) int {
    textS := C.GoString(text)
    language, _ := detector.DetectLanguageOf(textS)
    return int(language)
}

func main() {}

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