Julia中ccallable函数的指针指针获取、malloc及memcpy实现问题

1. 获取指针指针（Pointer to Pointer） #

在Julia中，创建指针的指针最直接的方式是使用Ref类型。Ref{T}会包装一个类型为T的值，当作为Ptr{Ptr{Cchar}}参数传递给@ccallable函数时，Julia会自动将其转换为对应的指针指针。

在测试函数中，需将原代码里的：

msg_p::Ptr{Cchar} = C_NULL
msg_p_p = <pointer to msg_p>

替换为：

msg_p = Ref{Ptr{Cchar}}(C_NULL)  # 用Ref包装指针，作为指针指针使用

通过msg_p[]可以访问或修改Ref内部的指针值，确保能获取到函数调用后的内存地址变化。

2. 正确执行malloc内存分配与memcpy复制操作 #

原代码的核心错误是直接修改了函数参数msg_p_p的本地变量值，并未修改传入的指针指针指向的内存内容。正确步骤如下：

• 调用标准库函数分配内存，得到指向新内存块的指针
• 使用unsafe_store!将新指针写入到msg_p_p指向的内存位置，让调用方的指针指向这块新内存
• 将Julia字符串的内容复制到malloc分配的内存中，确保包含字符串终止符\0

修正后的完整代码 #

#!/usr/bin/env julia

module ProductionCode
    import Printf
    using Libc  # 引入Libc库，方便调用C标准库的malloc/free

    Base.@ccallable function determine_string(msg_p_p::Ptr{Ptr{Cchar}})::Nothing
        println("determine_string(): msg_p_p ", msg_p_p)

        # 生成可变长度目标字符串
        json_string::String = join([Printf.@sprintf("%15.7f", rand()) for i in 1:10])
        # 计算内存大小：字符串长度 + 终止符\0
        size_for_malloc::Csize_t = length(json_string) + 1

        # 分配内存
        new_msg_ptr = Libc.malloc(size_for_malloc)::Ptr{Cchar}
        println("determine_string(): allocated pointer ", new_msg_ptr)

        println("determine_string(): json_string ", json_string)

        # 将新分配的指针写入调用方传入的指针指针指向的位置
        unsafe_store!(msg_p_p, new_msg_ptr)

        # 复制字符串内容到分配的内存
        ccall(:memcpy, Cvoid, (Ptr{Cchar}, Ptr{Cchar}, Csize_t), new_msg_ptr, pointer(json_string), size_for_malloc)

        return nothing
    end

end # ProductionCode

function test()::Nothing
    # 初始化Ref包装的指针指针，初始值为C_NULL
    msg_p = Ref{Ptr{Cchar}}(C_NULL)

    println("test(): msg_p (before call) ", msg_p[])
    ProductionCode.determine_string(msg_p)
    println("test(): msg_p (after call) ", msg_p[])

    # 用C的printf打印字符串
    ccall(:printf, Cint, (Ptr{Cchar}, Ptr{Cchar}), "printf: %s\n", msg_p[])

    # 转换为Julia字符串
    julia_string::String = unsafe_string(msg_p[])
    println("Julia string: ", julia_string)

    # 释放内存
    Libc.free(msg_p[])
    msg_p[] = C_NULL

    return nothing
end

test()

关键修改说明 #

• 使用Libc.malloc替代直接ccall(:malloc)，更符合Julia代码规范
• 通过**unsafe_store!**将新内存地址写入调用方的指针指针，而非修改本地变量
• memcpy的目标是new_msg_ptr（malloc分配的内存块），而非msg_p_p
• 测试函数中通过msg_p[]访问Ref内部的指针值，确保能捕捉到函数调用后的内存地址变化

内容的提问来源于stack exchange，提问作者TradingDerivatives.eu