Vala与C混合编程时两次调用C函数引发内存泄漏求助

问题原因分析 #

你遇到的内存泄漏本质是旧的GTree资源未被释放就被覆盖：

• 第一次调用c_function时，tree是未初始化的空指针，C函数为它分配了外层GTree和3个嵌套GTree。程序直接退出时，操作系统会回收进程的所有内存，因此valgrind不会报告泄漏。
• 第二次调用c_function时，tree已经指向了一个已分配的GTree，但C函数直接用*tree = g_tree_new(...)覆盖了这个指针——原来的外层GTree和里面的嵌套GTree都没有被销毁，这些内存就变成了无法访问的泄漏块。

另外还要注意你代码里的一个潜在问题：g_tree_insert的key参数是gpointer类型，直接传int值在64位系统会导致指针截断，正确的做法是用GINT_TO_POINTER(i)把整数转为指针。

解决方案 #

有两种可行的修复方式，核心都是在覆盖指针前递归销毁旧的GTree（包括嵌套的子树）：

方案1：在Vala中手动销毁旧树

先在C代码中添加递归销毁GTree的函数，因为GTree默认不会自动销毁子节点：

#include <glib.h>

gint treeCompareFunction (gint a, gint b) {
    if (a < b) return -1;
    if (a == b) return 0;
    return 1;
}

// 销毁单个嵌套GTree
void destroy_nested_tree(gpointer key, gpointer value, gpointer user_data) {
    g_tree_destroy((GTree*) value);
}

// 递归销毁外层GTree及其所有子树
void destroy_tree(GTree* tree) {
    if (tree == NULL) return;
    g_tree_foreach(tree, (GFunc) destroy_nested_tree, NULL);
    g_tree_destroy(tree);
}

void extern c_function (GTree **tree) {
    *tree = g_tree_new ((GCompareFunc)treeCompareFunction);
    for (int i = 0; i < 3; i++) {
        GTree * nestedTree = g_tree_new ((GCompareFunc)treeCompareFunction);
        // 修复key的指针转换问题
        g_tree_insert (nestedTree, GINT_TO_POINTER(i), "value 1");
        g_tree_insert (*tree, GINT_TO_POINTER(i), (gpointer) nestedTree);
    }
}

然后在Vala代码中声明这个销毁函数，并在第二次调用c_function前调用它：

using GLib;

[CCode (cname = "c_function")]
public static extern void c_function (out Tree<int, Tree<int, string>> tree);

[CCode (cname = "destroy_tree")]
public static extern void destroy_tree (Tree<int, Tree<int, string>> tree);

public static int main () {
    Tree<int, Tree<int, Tree<int, string>>> tree;
    c_function (out tree);
    
    // 销毁第一次创建的树及其子树
    destroy_tree(tree);
    
    c_function (out tree);
    
    // 程序结束前销毁第二次创建的树（可选，但更规范）
    destroy_tree(tree);
    
    return 0;
}

方案2：在C函数内部自动处理旧树

修改C函数，当传入的*tree不为空时，先递归销毁旧树再创建新树，这样Vala代码不需要额外操作：

#include <glib.h>

gint treeCompareFunction (gint a, gint b) {
    if (a < b) return -1;
    if (a == b) return 0;
    return 1;
}

void destroy_nested_tree(gpointer key, gpointer value, gpointer user_data) {
    g_tree_destroy((GTree*) value);
}

void extern c_function (GTree **tree) {
    // 如果存在旧树，先销毁
    if (*tree != NULL) {
        g_tree_foreach(*tree, (GFunc) destroy_nested_tree, NULL);
        g_tree_destroy(*tree);
    }
    
    *tree = g_tree_new ((GCompareFunc)treeCompareFunction);
    for (int i = 0; i < 3; i++) {
        GTree * nestedTree = g_tree_new ((GCompareFunc)treeCompareFunction);
        g_tree_insert (nestedTree, GINT_TO_POINTER(i), "value 1");
        g_tree_insert (*tree, GINT_TO_POINTER(i), (gpointer) nestedTree);
    }
}

对应的Vala代码可以保持简洁：

using GLib;

[CCode (cname = "c_function")]
public static extern void c_function (out Tree<int, Tree<int, string>> tree);

public static int main () {
    Tree<int, Tree<int, string>> tree;
    c_function (out tree);
    c_function (out tree);
    
    // 可选：程序结束前销毁最后一个树
    // 可以再声明destroy_tree函数来调用
    return 0;
}

验证方法 #

重新编译代码：

valac Main.vala main.c -g

用valgrind检查泄漏：

valgrind --leak-check=yes ./Main

此时应该不会再出现内存泄漏报告了。

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