首页 文章

将数据从c返回到Rust FFI中的锈[重复]

提问于
浏览
-1

这个问题在这里已有答案:

我有一个用C编写的函数,它将从Rust调用 . 这个函数构造一个数组,必须将它返回给Rust:

main.rs

extern crate libc;

use libc::c_void;

extern {
    fn construct_array(arr_ptr: *mut u32, arr_size: u32) -> c_void;
}

fn main() {
    let arr_size: usize = 4;
    let mut arr: Vec<u32> = Vec::with_capacity(arr_size);

    unsafe {
        construct_array(arr.as_mut_ptr(), arr_size as u32);
        let result = std::slice::from_raw_parts(arr.as_mut_ptr(), arr_size);
        println!("Result from rust {:?}", result);
    }
}

funcs.cpp

extern "C" void construct_array(uint32_t* arr_ptr, uint32_t arr_size) {
    uint32_t arr[arr_size];

    for (uint32_t i = 0; i < arr_size; i++) {
        arr[i] = i;
    }

    // Print array items
    printf("Result from c++ [");
    printf("%u", arr[0]);
    for (uint32_t i = 1; i < arr_size; i++) {
        printf(", %u", arr[i]);
    }
    printf("]\n");

    arr_ptr = &arr[0];
}

但是,当我运行它时,会打印以下内容:

$ cargo run
Result from c++ [0, 1, 2, 3]
Result from rust [0, 0, 0, 0]

如何在C中正确构造数组并通过FFI将其传递给Rust?

1 回答

  • 1

    您的问题可以单独用C证明:

    int main() {
        uint32_t foo[12];
        construct_array(foo, 12);
    
        printf("Actual result from C++:");
        for (auto i = 0; i < 12; ++i) printf("%u\n", foo[i]);
    }
    

    这会打印垃圾,并且来自您“复制”数组的方式:

    arr_ptr = &arr[0];
    

    这会将数组的地址分配给局部变量 arr_ptr ,并且不对其执行任何操作 . 即使这有效,你也可以让本地数组的地址转义,那就是UB . 相反,您可以跳过 arr 缓冲区并直接使用传递给函数的数组:

    extern "C" void construct_array(uint32_t* arr_ptr, uint32_t arr_size) {
        for (uint32_t i = 0; i < arr_size; i++) {
            arr_ptr[i] = i;
        }
    
        // Print array items
        printf("Result from c++ [");
        printf("%u", arr_ptr[0]);
        for (uint32_t i = 1; i < arr_size; i++) {
            printf(", %u", i);
        }
        printf("]\n");
    }
    

相关问题