面试题：Rust中unsafe fn与extern关键字结合使用的深度分析

内存管理问题

所有权转移：
- 在Rust与C语言交互时，C语言通常不遵循Rust的所有权规则。例如，C函数可能分配内存，然后返回给Rust。Rust需要确保在使用完这块内存后正确释放，避免内存泄漏。
- 相反，Rust分配的内存传递给C函数时，C函数不应释放它（除非有特别约定），因为Rust可能仍然持有所有权。
内存布局差异：
- Rust和C语言可能对数据类型有不同的内存布局。例如，结构体中字段的对齐方式可能不同。这可能导致在传递结构体时出现未定义行为。Rust通过repr(C)属性来指定结构体具有与C语言兼容的内存布局。

调用约定问题

ABI（应用二进制接口）：
- extern关键字用于指定外部函数的ABI。与C语言交互时，通常使用extern "C"，它指定使用C语言的调用约定。不同的调用约定决定了函数参数如何传递（例如，通过寄存器还是栈）以及函数返回值如何处理。
命名重整：
- Rust编译器会对函数名进行重整以支持重载等特性，而C语言通常不进行这种重整。extern "C"确保函数名不被重整，以便C语言能够正确链接到该函数。

在Rust中妥善处理的方法

使用repr(C)结构体：
- 定义与C语言结构体兼容的Rust结构体。
- 示例：

// 假设C语言有这样一个结构体定义
// struct Point {
//     int x;
//     int y;
// };
#[repr(C)]
struct Point {
    x: i32,
    y: i32,
}

内存分配与释放：
- 可以使用libc库中的函数（如malloc和free）来模拟C语言的内存分配和释放。
- 示例：

extern crate libc;
use std::ffi::CString;
use std::ptr;

// 假设C函数声明如下
// char* create_string(const char* input);
// void free_string(char* str);

// Rust中调用C函数的包装
extern "C" {
    fn create_string(input: *const libc::c_char) -> *mut libc::c_char;
    fn free_string(str: *mut libc::c_char);
}

fn main() {
    let input = CString::new("Hello").unwrap();
    let result = unsafe { create_string(input.as_ptr()) };
    if!result.is_null() {
        let rust_string = unsafe { CString::from_raw(result) };
        println!("Result from C: {}", rust_string.to_str().unwrap());
        let c_string = rust_string.into_raw();
        unsafe { free_string(c_string) };
    }
}

处理函数调用：
- 正确定义外部函数，确保参数和返回值类型与C语言函数匹配。
- 示例：

// 假设C函数声明如下
// int add_numbers(int a, int b);
extern "C" {
    fn add_numbers(a: i32, b: i32) -> i32;
}

fn main() {
    let result = unsafe { add_numbers(2, 3) };
    println!("Result from C: {}", result);
}

通过这些方法，可以在Rust与C语言库交互时实现稳定且高效的交互，妥善处理内存管理和调用约定问题。

星途面试题库

面试题：Rust中unsafe fn与extern关键字结合使用的深度分析

知识考点

面试题答案

内存管理问题

调用约定问题

在Rust中妥善处理的方法