使用C接口操作含动态数据的Struct时出现随机错误值的问题

问题描述 #

我编写了C与Raku交互的代码：

• C端：定义包含动态分配data属性的CField结构体，make_field函数中执行两次malloc分配内存，free_field函数中执行两次free释放内存；
• Raku端：通过NativeCall封装该结构体为Wrapper类，实现[]操作符用于复制Wrapper对象。

运行测试代码时，有时会出现随机错误值，有时正常；若注释Wrapper类的DESTROY方法则始终正常，但会引发内存泄漏。请问问题根源是什么？如何修复？

复现步骤 #

1. 编译C代码为共享库：

   gcc -std=c99 -Wall -fPIC -shared -olibfield.so field.c
   

2. 运行Raku测试代码：

   raku -I. -MField -e'for ^1_000 { my $a = Wrapper.new([1, 2, 3]); my $b = $a[*].as-list; die "$_: {$b.raku}" unless $b eqv (1, 2, 3) }; say "no error"'
   

环境信息 #

• Ubuntu 20.04
• Rakudo v2023.09
• MoarVM v2023.09

问题根源 #

核心问题是浅拷贝导致的重复释放内存：

• 当通过[]操作符复制Wrapper对象时，默认是浅拷贝逻辑——新实例直接复用了原实例指向C端CField结构体的指针，并未真正复制C端的动态分配内存；
• 当两个Wrapper实例的DESTROY方法被调用时，都会触发free_field函数，导致同一块C端内存被两次free，进而触发未定义行为（随机错误值就是典型表现）；
• 注释DESTROY方法后，内存不会被释放，自然不会出现重复释放的问题，但会造成内存泄漏。

修复方案 #

需要实现深拷贝逻辑，确保复制Wrapper对象时同步复制C端的动态分配内存：

1. C端新增拷贝函数 #

添加copy_field函数，负责复制CField结构体及其中的动态内存：

#include <stdlib.h>
#include <string.h>

typedef struct {
    int len;
    int* data;
} CField;

CField* copy_field(const CField* original) {
    if (!original) return NULL;
    
    // 分配结构体本身内存
    CField* new_field = malloc(sizeof(CField));
    if (!new_field) return NULL;
    
    // 复制非动态属性
    new_field->len = original->len;
    
    // 分配data数组内存并复制内容
    new_field->data = malloc(original->len * sizeof(int));
    if (!new_field->data) {
        free(new_field);
        return NULL;
    }
    memcpy(new_field->data, original->data, original->len * sizeof(int));
    
    return new_field;
}

2. Raku端修改拷贝逻辑 #

在Wrapper类的[]操作符实现中，调用C端的copy_field函数创建独立的C结构体实例：

use NativeCall;

class Wrapper is repr('CPointer') {
    # 声明C端函数
    sub make_field(int32, int32*) returns Wrapper is native('libfield') { * }
    sub free_field(Wrapper) is native('libfield') { * }
    sub copy_field(Wrapper) returns Wrapper is native('libfield') { * }

    # 构造函数
    multi method new(@values) {
        my $len = @values.elems;
        my $data = CArray[int32].new(@values);
        self.bless(make_field($len, $data));
    }

    # []操作符实现深拷贝
    multi method postcircumfix:<[ ]>(Whatever) {
        my $new_ptr = copy_field(self);
        Wrapper.bless($new_ptr);
    }

    # 转换为Raku列表
    method as-list() {
        my $struct = nativecast(CStruct[int32, Pointer[int32]], self);
        my $data-ptr = nativecast(CArray[int32], $struct.data);
        ($data-ptr[^$struct.len],).flat;
    }

    # 销毁时释放内存
    method DESTROY() {
        free_field(self);
    }
}

3. 重新编译共享库 #

将新增的copy_field函数编译到libfield.so中，确保Raku端能调用到该函数。

修改后，每个Wrapper实例都拥有独立的C端内存空间，DESTROY方法释放内存时不会出现重复释放的问题，同时彻底避免了内存泄漏。

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