如何在 Rust 中释放通过 FFI 分配的 *char?

How do I free a *char allocated via FFI in Rust?

我通过 Rust 的 FFI 调用 LLVM API。 LLVMPrintModuleToString uses strdup to create a string。但是,当我将指针包装在 CString 中时,Rust 删除它时出现错误。

#![feature(cstr_memory)]
use std::ffi::CString;

extern crate llvm_sys as llvm;

fn main() {
    let llvm_ir_cstring;
    unsafe {
        let module = llvm::core::LLVMModuleCreateWithName(b"nop[=10=]".as_ptr() as *const _);
        let llvm_ir_char_ptr = llvm::core::LLVMPrintModuleToString(module);
        llvm::core::LLVMDisposeModule(module);
        llvm_ir_cstring = CString::from_ptr(llvm_ir_char_ptr);
    }

    println!("llvm_ir_cstring: {:?}", llvm_ir_cstring);
}

Valgrind 错误:

==10413== Invalid read of size 4
==10413==    at 0x4870586: pthread_mutex_lock (in /usr/lib/libpthread-2.21.so)
==10413==    by 0x17F89B: je_arena_dalloc_small (in /home/wilfred/projects/bfc/target/debug/bfc)
==10413==    by 0x178C30: je_sdallocx (in /home/wilfred/projects/bfc/target/debug/bfc)
==10413==    by 0x10FA57: heap::imp::deallocate::h1fb92d59333c497bkja (heap.rs:268)
==10413==    by 0x10F999: heap::deallocate::h5680e3fedc9e96320da (heap.rs:89)
==10413==    by 0x10F929: heap::exchange_free::h452463f962f7ec23kfa (heap.rs:131)
==10413==    by 0x10F8C5: Box$LT$$u5b$u8$u5d$$GT$::drop.1769::haf7017472635c7cf (in /home/wilfred/projects/bfc/target/debug/bfc)
==10413==    by 0x10F836: std..ffi..c_str..CString::drop.1766::h04d2b3db8d468f0c (in /home/wilfred/projects/bfc/target/debug/bfc)
==10413==    by 0x10F5FF: main::h04b7feb343e229ccgaa (in /home/wilfred/projects/bfc/target/debug/bfc)
==10413==    by 0x16DBCA: rt::unwind::try::try_fn::h2403085009213705177 (in /home/wilfred/projects/bfc/target/debug/bfc)
==10413==    by 0x16FF5A: rust_try_inner (in /home/wilfred/projects/bfc/target/debug/bfc)
==10413==    by 0x16FF33: rust_try (in /home/wilfred/projects/bfc/target/debug/bfc)
==10413==  Address 0x1d684 is not stack'd, malloc'd or (recently) free'd

这是为什么?从 C API 处理 *char 的正确方法是什么?

根据the function's documentation

Use LLVMDisposeMessage to free the string.

在一般情况下,如果您在一个分配内存的库中调用一个函数,您应该调用该库中另一个释放内存的函数;这通常应记录为函数合同的一部分。

如果某个函数的文档告诉您使用 free,那么如果您的应用程序未链接到对应于库的 mallocfree,您就会遇到问题(例如,您的应用程序链接到 msvcr120,但库链接到 msvcr100)。这就是为什么优秀的库会提供一种方法来释放它为您分配的资源的原因。

Rust 中的默认内存分配器不是 C 的 malloc,而是另一个名为 jemalloc 的分配器。 CString 假设字符串是用 Rust 的内存分配器分配的,所以当 CString 的析构函数运行时,它会运行 jemalloc 的 free (你可以从 je_ 中的前缀函数中看出你的调用堆栈),但它失败了,因为字符串没有分配给 jemalloc 的 malloc.