讲师中心 微信公众号
AI工具推荐 视频效率加速

c++ cxx-rs绑定 c++如何安全地与rust代码交互

梦枫大大_9349

梦枫大大_9349

发布时间:2026-03-24 16:16:31

|

566人浏览过

|

来源于php中文网

原创

Rust函数导出供C++调用必须同时满足:extern "C"指定C ABI、#[no_mangle]禁用符号修饰、参数返回值为C兼容类型;cxx::bridge定义跨语言契约,未声明的类型/函数不可见;需确保Rust运行时初始化,内存生命周期须双方严格对齐。

c++ cxx-rs绑定 c++如何安全地与rust代码交互

rust函数导出时必须用 extern "C" 且禁用 name mangling

直接从 C++ 调用 Rust 函数,Rust 端必须显式声明为 C ABI 接口。否则 C++ 链接器找不到符号,或因 name mangling 导致 undefined reference 错误。

常见错误:只写 pub fn 不加 extern "C",或者漏掉 #[no_mangle] —— Rust 默认会把 add 编译成类似 _ZN3lib3add17habc123... 的符号名,C++ 完全无法识别。

  • extern "C" 告诉 Rust 用 C 调用约定(参数压栈顺序、栈清理责任等)
  • #[no_mangle] 禁用符号重命名,确保导出的函数名就是源码里写的那个
  • 返回值和参数类型只能是 C 兼容类型:i32、f64、*const u8、*mut i32 等;不能直接传 String、Vec、&str

示例(Rust 端):

#[no_mangle]
pub extern "C" fn compute_sum(a: i32, b: i32) -> i32 {
    a + b
}

cxx-rs 绑定中 #[cxx::bridge] 的作用不是“自动互通”,而是定义契约边界

cxx-rs 不是魔法桥,它生成的是严格类型检查的胶水代码,所有跨语言交互必须在 #[cxx::bridge] 模块里提前声明。没在这里出现的类型、函数、结构体,C++ 根本看不到。

立即学习“C++免费学习笔记(深入)”;

容易踩的坑是以为写了 Rust 函数就能被 C++ 调用,结果编译时报 use of undeclared identifier 或链接失败。

C++14
C++14

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

下载
  • #[cxx::bridge] 内部要分 extern "Rust" 和 extern "C++" 两块,分别描述各自语言侧的接口
  • Rust 结构体若需被 C++ 使用,必须加 #[derive(Debug, Clone)] 且字段全为 C 兼容类型;含 Box、Rc、闭包的结构体不能跨语言传递
  • C++ 类型如 std::string、std::vector 可以用,但需在 #[cxx::bridge] 中显式声明为 string、vector<i32> 等,并依赖 cxx 自带绑定

示例片段(Rust):

#[cxx::bridge]
mod ffi {
    extern "Rust" {
        fn process_data(input: &str) -> Box<str>;
    }

    extern "C++" {
        include!("my_header.h");
        type MyCppClass;
        fn create_instance() -> UniquePtr<MyCppClass>;
    }
}

C++ 侧调用前必须确保 Rust 运行时已初始化,尤其涉及 std 或分配器时

如果 Rust 代码用了 String::from、Vec::new 或任何依赖全局分配器的操作,而 C++ 主程序没触发过 Rust 运行时初始化,首次调用可能 crash 在 malloc 或空指针解引用上,错误信息常是 segmentation fault 或 abort()。

这不是 cxx-rs 的 bug,而是 Rust std 的惰性初始化机制导致的 —— 它依赖第一个 std:: 符号被加载时才 setup allocator 和 panic handler。

  • 最稳妥做法:在 C++ main() 开头调用一次空的 Rust 函数(比如 rust_init_early()),该函数内部只做 std::hint::black_box(0) 或访问一个 static 变量即可触发初始化
  • 避免在 DSO(动态库)中首次调用分配操作;若必须,可手动调用 std::alloc::set_global_allocator(极少见,通常不推荐)
  • 纯 no_std 场景无此问题,但也就意味着不能用 String、Vec、println! 等

字符串和切片传递必须手动管理生命周期,Rust 不会替你 hold C++ 内存

C++ 传给 Rust 的 const char* 或 std::string,Rust 函数返回的 UniquePtr<CxxString> 或 Pin<Box<[i32]>>,背后全是裸指针。谁分配、谁释放,必须双方对齐,否则 double-free 或 use-after-free。

典型错误:C++ 把栈上字符串地址传过去,Rust 试图长期保存指针;或 Rust 返回了堆内存,C++ 忘记调用 .into_raw() 对应的释放逻辑。

  • 传入字符串建议统一用 SharedPtr<CxxString> 或 &CxxString(由 cxx 自动管理 refcount)
  • 传出字符串优先用 UniquePtr<CxxString>,C++ 侧用完后自动析构(前提是没调用 .release())
  • 切片(Span<const i32>)是零拷贝视图,但 lifetime 必须短于原始数据;不要把它存进类成员或跨异步回调使用

示例(C++):

auto result = rust::process_data("hello");
// result 是 UniquePtr<CxxString>,离开作用域自动释放
Rust 和 C++ 之间的安全边界不在语法层面,而在每个指针、每块内存、每次跨语言调用的 ownership 和 lifetime 约定上。cxx-rs 帮你挡住了大部分类型错误,但没挡住你绕过它的尝试。

相关文章

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

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

下载

相关标签:

c++

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

热门AI工具

更多
墨刀AI
墨刀AI Hot

一款AI图像与设计工具,主要用于产品经理的专属智能体,适合需要提升相关任务效率的用户。

VibeKnow
VibeKnow Hot

一款AI视频创作工具,主要用于全球首个AI知识视频创作平台,文档、文章、网页,一键生成视频,适合需要提升相关任务效率的用户。

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

Loomy
Loomy Hot

一款AI工具,主要用于科大讯飞发布的桌面级 AI 助理,比 OpenClaw 更易用、更安全!,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

相关专题

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

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

106

2025.12.22

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

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

258

2026.02.11

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

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

622

2026.03.05

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

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

477

2026.05.29

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

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

276

2026.06.29

string转int
string转int

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

6499

2023.08.02

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

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

2238

2023.09.20

js 字符串转数组
js 字符串转数组

js字符串转数组的方法:1、使用“split()”方法;2、使用“Array.from()”方法;3、使用for循环遍历;4、使用“Array.split()”方法。本专题为大家提供js字符串转数组的相关的文章、下载、课程内容,供大家免费下载体验。

1758

2023.08.03

Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

0

2026.10.22

热门下载

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

精品课程

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

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

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

共0课时 | 0人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn