c++ rust ffi c++如何安全地调用rust代码

浅晨吖_1425

浅晨吖_1425

2026-03-21

841人浏览

原创

c++oding="utf-8" ?>

rust导出c兼容函数必须加extern "c"和#[no_mangle],参数返回值限c类型,c++头文件需extern "c"包裹声明,内存管理须双方约定free方式,构建需panic=abort且用release模式。

c++ rust ffi c++如何安全地调用rust代码

rust 生成 C 兼容 ABI 的函数必须加 extern "C" 和 #[no_mangle]

不加这两者,C++ 链接器根本找不到符号——Rust 默认用 mangling 编码函数名,且默认是 Rust ABI,C++ 完全不认。哪怕函数签名看起来“对得上”,链接时也会报 undefined reference to `xxx`。

实操建议:

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
  • extern "C" 声明告诉 Rust 编译器:按 C 调用约定导出,禁用 Rust 特有 ABI(比如返回 Result 或泛型会直接编译失败)
  • #[no_mangle] 禁用名字混淆,让函数名在动态库中就是你写的原样,比如 add_two,不是 _ZN3lib7add_two17h9a8b7c6d...
  • 所有参数和返回值必须是 C 兼容类型:i32、f64、*const u8、*mut i32 等;不能用 String、Vec、&str、Result
  • 如果要传字符串,用 *const std::ffi::CStr + std::ffi::CStr::from_ptr() 解析;返回字符串则需返回 *const i8 并由 C++ 管理内存生命周期(或用 malloc 分配 + 提供 free_string 函数)

C++ 头文件里声明函数时必须用 extern "C" 包裹

否则 C++ 编译器会尝试对函数名做 C++ mangling,导致链接时和 Rust 导出的 C 符号对不上——即使 Rust 端用了 #[no_mangle],C++ 端没关 mangling 还是白搭。

常见错误现象:undefined reference to 'add_two',但 nm -D libmylib.so | grep add_two 明明能看到符号。

实操建议:

  • 头文件中写成:
    extern "C" {
    int32_t add_two(int32_t a, int32_t b);
    }
  • 不要只在单个函数前加 extern "C",而要用大括号块包裹所有 FFI 函数声明
  • 确保头文件被 C++ 源文件 #include,且没有被 #ifdef __cplusplus 意外屏蔽
  • 如果头文件也被 C 代码包含,可加 #ifdef __cplusplus 判断,但对纯 C++ 项目非必需

Rust 返回堆内存给 C++ 时,谁负责 free 必须明确约定

这是最常踩的坑:Rust 用 Box::into_raw 或 CString::into_raw 返回指针,C++ 拿到后直接 delete 或 free ——行为未定义,大概率 crash。

原因:Rust 默认用系统 malloc(Linux 是 malloc),但 C++ 的 delete 可能调用的是 libc++ 的 operator delete,不一定匹配;更安全的方式是 Rust 提供配套的 free 函数。

实操建议:

  • Rust 端分配内存用 std::alloc::alloc 或 CString::into_raw(底层也是 alloc),并提供对应 free_buffer(ptr: *mut u8) 函数,内部调用 std::alloc::dealloc
  • C++ 端拿到指针后,必须调用 Rust 提供的 free_buffer,而不是 free 或 delete
  • 若返回固定大小结构体(如 struct Result { int code; const char* msg; }),可让 Rust 用 Box::leak 泄露内存,但需文档强约束:C++ 绝不释放该内存,仅读取
  • 避免返回 Vec<u8></u8> 的裸指针 + len 组合——除非你也一并导出 free_vec 并严格要求 C++ 调用它

构建时必须关闭 Rust 的 panic=abort,并用 cargo build --release 生成静态/动态库

默认 panic=unwind 会导致 Rust 抛异常时触发 C++ 的栈展开机制冲突,C++ 侧可能直接 abort;而 debug 构建的库体积大、含调试符号、性能差,不适合集成进 C++ 工程。

实操建议:

  • 在 Cargo.toml 中显式设置:
    [profile.release]
    panic = "abort"
  • 用 cargo build --release --lib,输出 target/release/libmylib.so(Linux)或 .dylib(macOS)、.dll(Windows)
  • C++ 项目链接时,确保链接顺序正确:C++ 目标文件在前,Rust 库在后(尤其用 g++ -o app main.o -L. -lmylib)
  • Windows 下注意 Rust 默认生成 MSVC 工具链库,若 C++ 用 MinGW 编译会链接失败——统一用 MSVC 或改用 x86_64-pc-windows-gnu 工具链

真正难的不是写通第一个函数,而是让字符串、错误码、内存生命周期在两边都稳住。很多问题不会在编译时报错,而是在某个特定输入路径下才触发段错误或内存泄漏——所以一定要测边界值、空字符串、null 指针、多线程并发调用。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
C++系统编程内存管理_C++系统编程怎么与Rust竞争内存安全
C++系统编程内存管理_C++系统编程怎么与Rust竞争内存安全

C++系统编程中的内存管理是指 对程序运行时内存的申请、使用和释放进行精细控制的机制,涵盖了栈、堆、静态区等不同区域,开发者需要通过new/delete、智能指针或内存池等方式管理动态内存,以避免内存泄漏、野指针等问题,确保程序高效稳定运行。它核心在于开发者对低层内存有完全控制权,带来灵活性,但也伴随高责任,是C++性能优化的关键。

2025.12.22

86

5

Rust异步编程与Tokio运行时实战
Rust异步编程与Tokio运行时实战

本专题聚焦 Rust 语言的异步编程模型,深入讲解 async/await 机制与 Tokio 运行时的核心原理。内容包括异步任务调度、Future 执行模型、并发安全、网络 IO 编程以及高并发场景下的性能优化。通过实战示例,帮助开发者使用 Rust 构建高性能、低延迟的后端服务与网络应用。

2026.02.11

258

16

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

2026.03.05

602

19

Rust 系统编程入门与实战
Rust 系统编程入门与实战

统讲解近年最受关注的系统级编程语言 Rust 的核心知识体系,涵盖 Rust 的安装与 Cargo 项目管理、变量绑定与不可变性设计哲学、所有权(Ownership)/ 借用(Borrowing)/ 生命周期(Lifetime)三大核心概念、结构体/枚举与模式匹配(match)、Trait 特征系统与泛型编程、错误处理(Result/Option)、智能指针(Box/Rc/Arc)、并发编程的无畏并发(Fearless Concurre

2026.05.29

477

21

Rust异步网络服务与Tokio Runtime深度实践
Rust异步网络服务与Tokio Runtime深度实践

本专题围绕 Rust 在高并发网络服务中的应用展开,系统讲解 Tokio 异步运行时、任务调度模型、Future 执行机制以及高性能网络编程方式。结合实际服务端案例,帮助开发者构建低延迟、高可靠的异步服务架构。

2026.06.29

256

13

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.02

6039

3

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

549

3

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

2024.03.01

1678

6

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

2118

7

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习