如何验证extern "C"的定义签名与实现是否匹配？

先看问题中的代码示例：

main.rs：

mod ffi;
mod impl_do_print;

fn main() {
    unsafe {
        ffi::do_print(42.0);
    }
}

ffi.rs（由bindgen生成，不可修改）：

extern "C" {
    pub fn do_print(x: f32);
}

impl_do_print.rs（可修改的实现）：

#[no_mangle]
pub extern "C" fn do_print(x: i32) {
    println!("{}", x);
}

这里ffi.rs中定义的do_print参数类型是f32，但实现里用了i32，类型不匹配导致运行时输出错误数值1047505936。由于bindgen生成的定义无法修改，我们需要让编译器在编译期就捕获这种签名不匹配问题，而非等到运行时才暴露。

可行的解决方案 #

1. 编译期静态断言强制签名匹配

在实现文件中，将bindgen生成的函数签名提取为类型别名，通过常量赋值让编译器检查实现的函数是否匹配该签名：

修改impl_do_print.rs：

use ffi;

// 提取bindgen生成的函数签名作为类型别名
type DoPrintFn = unsafe extern "C" fn(f32);

// 静态断言：签名不匹配时编译直接报错
const _: DoPrintFn = do_print;

#[no_mangle]
pub extern "C" fn do_print(x: f32) {
    println!("{}", x);
}

如果实现的参数类型与定义不一致（比如仍用i32），编译器会抛出类型不匹配的错误，直接拦截问题。

2. 封装安全层约束实现类型

给bindgen生成的不安全FFI函数编写安全封装，并导出约定的参数类型，让实现依赖该类型定义：

比如在ffi.rs同级模块添加封装逻辑：

// 封装模块或直接在ffi.rs中补充
pub unsafe fn do_print_safe(x: f32) {
    do_print(x);
}

// 导出实现必须遵循的参数类型
pub type DoPrintArg = f32;

实现文件中使用该导出类型：

use ffi::DoPrintArg;

#[no_mangle]
pub extern "C" fn do_print(x: DoPrintArg) {
    println!("{}", x);
}

只要封装层类型与bindgen定义保持一致，实现时就不会手动写错参数类型。

3. cbindgen反向校验（适用于Rust导出给C调用的场景）

如果是用Rust实现函数导出给C调用，同时用bindgen生成C头的Rust绑定，可以用cbindgen从Rust实现代码反向生成C头文件，再与原始C头文件（bindgen的来源）对比，检查签名、调用约定等是否一致，实现双向校验。

内容的提问来源于stack exchange，提问作者Finomnis