如何用Julia的ccall调用返回数组的C++函数及处理std::array

对于你提供的get_array函数，需要处理两个核心点：将C++返回的指针转换为Julia数组，以及内存管理（避免泄漏）。

步骤1：补充C++释放函数 #

C用new[]分配的内存无法被Julia的GC自动回收，必须手动释放。在你的C代码中添加配套的释放函数：

extern "C" {
    double* get_array() {
        double * my_array = new double[3] {1.1, 2.2, 3.3};
        return my_array;
    }

    void free_array(double* arr) {
        delete[] arr;
    }
}

编译为动态库（以GCC为例）：

g++ -shared -fPIC -o libarray.so your_file.cpp

步骤2：Julia包装函数 #

用ccall获取指针，通过unsafe_wrap创建临时数组，复制数据后释放原内存：

function get_array()::Vector{Float64}
    # 调用C函数获取数组指针
    ptr = ccall((:get_array, "./libarray.so"), Ptr{Float64}, ())
    # 基于指针创建临时数组（不接管内存）
    temp_arr = unsafe_wrap(Vector{Float64}, ptr, 3; own=false)
    # 复制数据到新数组，避免原内存释放后失效
    result = copy(temp_arr)
    # 释放C++分配的内存
    ccall((:free_array, "./libarray.so"), Cvoid, (Ptr{Float64},), ptr)
    return result
end

如果用malloc而非new[]分配内存，可让Julia直接接管内存，但new[]必须用delete[]释放，因此上述复制+手动释放是最安全的方案。

std::array是C++模板类型，无法直接通过extern "C"导出（C语言不支持模板），不能让Julia直接接收其返回值。除了返回data()指针外，还有两种更规范的方案：

方案1：用C兼容结构体包装返回 #

在C++中定义C语言可识别的结构体，封装std::array的数据和长度：

#include <array>

extern "C" {
    struct CArray {
        const double* data;
        size_t size;
    };

    CArray get_std_array() {
        // 用static保证数组生命周期超出函数范围
        static std::array<double, 3> arr{1.1, 2.2, 3.3};
        return {arr.data(), arr.size()};
    }
}

Julia侧定义对应结构体并调用：

struct CArray
    data::Ptr{Float64}
    size::Csize_t
end

function get_std_array()::Vector{Float64}
    c_arr = ccall((:get_std_array, "./libarray.so"), CArray, ())
    # static数组生命周期永久，直接包装为Julia数组
    return unsafe_wrap(Vector{Float64}, c_arr.data, c_arr.size; own=false)
end

若std::array是堆分配的，需额外添加释放函数避免泄漏。

方案2：让C++函数填充Julia传入的数组 #

修改C++函数，改为接收Julia提前分配好的数组指针，避免返回复杂类型：

extern "C" void fill_std_array(double* dest) {
    std::array<double, 3> arr{1.1, 2.2, 3.3};
    std::copy(arr.begin(), arr.end(), dest);
}

Julia侧代码：

function get_std_array()::Vector{Float64}
    arr = Vector{Float64}(undef, 3)
    ccall((:fill_std_array, "./libarray.so"), Cvoid, (Ptr{Float64},), arr)
    return arr
end

这种方案无需处理内存所有权问题，是最安全的交互方式。

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