如何强制Rust子Crate实现父Crate指定函数（非Trait方式）

1. 父Crate parent 的定义 #

在parent中仅声明函数签名，不提供实现，让链接器在后续阶段寻找具体实现：

// parent/src/lib.rs
/// 必须由子Crate实现的核心函数
pub extern "Rust" fn f_parent() -> bool;

2. 子Crate的实现（以child-1为例） #

子Crate需要严格遵循父Crate的函数签名，通过#[no_mangle]确保函数符号不被编译器混淆，提供具体逻辑：

// child-1/src/lib.rs
use parent;

#[no_mangle]
pub extern "Rust" fn f_parent() -> bool {
    // child-1专属业务逻辑
    true
}

child-2的实现仅需替换函数内部逻辑：

// child-2/src/lib.rs
use parent;

#[no_mangle]
pub extern "Rust" fn f_parent() -> bool {
    // child-2专属业务逻辑
    false
}

3. 中间Library Crate的使用 #

Library仅依赖parent的API，无需关心具体实现：

// library/src/lib.rs
use parent;

pub fn execute_business_logic() {
    let result = parent::f_parent();
    match result {
        true => println!("执行child-1的逻辑结果"),
        false => println!("执行child-2的逻辑结果"),
    }
}

4. 主Crate的依赖与运行 #

主Crate同时引入Library和目标子实现Crate，链接时会自动绑定子Crate的实现：

Cargo.toml 配置 #

[dependencies]
library = { path = "../library" }
child-1 = { path = "../child-1" } # 切换实现时替换为child-2即可

主函数代码 #

// src/main.rs
use library::execute_business_logic;

fn main() {
    execute_business_logic();
}

核心原理说明 #

• 编译/链接强制检查：父Crate仅声明函数符号，若主Crate未引入任何实现该函数的子Crate，链接器会抛出「未定义符号」错误，强制用户选择实现。
• 无Trait的静态绑定：通过链接阶段的符号解析实现静态绑定，无需面向对象或Trait，切换实现仅需修改依赖配置。
• 符号一致性保障：#[no_mangle]确保子Crate的函数符号与父Crate声明的完全匹配，避免链接失败。

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