Question

我通过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\0".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的正确方法是什么？

Answer 1

根据the function's documentation：

使用LLVMDisposeMessage释放字符串。

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

如果某个功能的文档要求您使用free，那么如果您的应用未链接到与该库相对应的free，那么您就会遇到问题{1}}（例如，您的应用程序与msvcr120链接，但库链接与msvcr100）。这就是为什么好的库提供了一种解除分配给你的资源的方法的原因。

Rust中的默认内存分配器不是C malloc，而是另一个名为jemalloc的分配器。 malloc假设字符串是使用Rust的内存分配器分配的，所以当CString的析构函数运行时，它会运行jemalloc的CString（你可以告诉它）来自调用堆栈中的free - 前缀函数），但它失败了，因为字符串没有分配给jemalloc＆＃39; je_。

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

1 个答案: