当前位置: 首页 > news >正文

2311rust对接C

原文
为了与其他语言通信,Rust提供了(FFI)外部函数接口.FFIRustC间的函数调用,与C函数调用有相同性能的零成本抽象.

FFI绑定还可利用(如所有权和借用)语言功能来提供强制指针和其他资源协议的安全接口.

Rust与C对话

Rust调用C代码的简单示例开始.如下为C代码:

int double_input(int input) {return input * 2;
}

要从Rust调用它,可如下编写程序:

extern crate libc;
//外部仓库.
extern {fn double_input(input: libc::c_int) -> libc::c_int;//写签名.
}
fn main() {let input = 4;let output = unsafe { double_input(input) };//不安全中调用.println!("{} * 2 = {}", input, output);
}

就这样!在源码级,除了声明签名外,就行了.
但有些细节:
首先,看到extern crate libc.此libc仓库在与C语言通信时,为FFI绑定提供了许多有用的类型定义,且确保C和Rust跨语言边界类型上保持一致.
再看:

extern {fn double_input(input: libc::c_int) -> libc::c_int;
}

Rust中,这是外部可用函数的声明.可按C头文件对待.这里编译器要了解函数的输入和输出,可在上面看到,这与C中定义匹配.
接着,程序主体:

fn main() {let input = 4;let output = unsafe { double_input(input) };println!("{} * 2 = {}", input, output);
}

在此看到了RustFFI关键方面,即不安全块.编译器对double_input的实现一无所知,因此它必须假设调用外部函数时,都可能内存不安全.
再看看是否可验证零成本.
为了了解Rust做了什么,直接进入上述main函数对double_input调用的汇编代码:

mov    $0x4,%edi
callq  3bc30 <double_input>

如前,就是这样!在此可见,把参数移动到位后,从Rust调用C函数恰好涉及一个调用指令,这与C语言中的成本完全相同.

安全抽象

Rust中绑定C库时,不仅是零成本,还可比C更安全!
如,考虑解析tarballC库.该库公开取读tarball每个文件内容函数,可能如下:

 //在`tarball`中,在给定`索引`处,取文件的数据,如果不存在`该文件`,则返回`NULL`.如果成功,用文件大小`填充`,`"size"`指针.
const char *tarball_file_data(tarball_t *tarball, unsigned index, size_t *size);

但是,此函数假定返回的char*指针生命期不超过输入的tarball.绑定到Rust中时,此API可能如下:

pub struct Tarball { raw: *mut tarball_t }
impl Tarball {pub fn file(&self, index: u32) -> Option<&[u8]> {unsafe {let mut size = 0;let data = tarball_file_data(self.raw, index as libc::c_uint, &mut size);if data.is_null() {None} else {Some(slice::from_raw_parts(data as *const u8, size as usize))}}}
}

这里的*mut tarball_t指针,由Tarball所有,并由它负责析构和清理.
此外,file方法返回生命期隐式与源tarball自身生命期相关联(&self参数)的借用切片.

这是Rust指示,只能在tarball的生命期内使用返回slice,静态避免了直接使用C时易产生的悬挂针错误.

因为Rust的静态检查,使用Rust端的API根本不可能造成段错误.所有这些都是零成本的:无额外分配或成本,可在Rust中表示C语言中的原始类型.

Rust令人惊叹的社区,已围绕现有的C库构建了一些实质性的安全绑定,包括OpenSSL,libgit2,libdispatch,libcurl,sdl2,UnixAPIlibsodium.
1
2
3
4
5
6
7
更多.

C语言与Rust对话

零成本FFI不仅适合Rust调用C,也适合C调用Rust!
首先,从Rust代码开始:

#[no_mangle]
pub extern fn double_input(input: i32) -> i32 {input * 2
}

与之前Rust代码一样,首先,用#[no_mangle]属性标记了函数定义.
指示编译器不要装饰double_input函数的符号名.Rust使用类似C++混杂名来确保库名不会相互冲突.
extern,可与C函数兼容.编译为lib文件,而不是rlib库.

#include <stdint.h>
#include <stdio.h>
extern int32_t double_input(int32_t input);
int main() {int input = 4;int output = double_input(input);printf("%d * 2 = %d\n", input, output);return 0;
}

Rust没有垃集和运行时,因此实现了从C到Rust无缝过渡.外部C代码不需要安装Rust执行设置,使得过渡成本非常低.

http://www.lryc.cn/news/231123.html

相关文章:

  • MYSQL字符串函数详解和实战(字符串函数大全,内含示例)
  • 从C语言到C++_40(多线程相关)C++线程接口+线程安全问题加锁(shared_ptr+STL+单例)
  • Angular 指令介绍及使用(三)
  • 小学生加减乘除闯关运算练习流量主微信小程序开发
  • 普通测径仪升级的智能测径仪 增添11大实用功能!
  • vue做的一个一点就转的转盘(音乐磁盘),点击停止时会在几秒内缓慢停止,再次点击按钮可以再次旋转,
  • Spring6(一):入门案例
  • Linux中报错no space device解决思路
  • vue3使用element-plus
  • 高质量实时渲染笔记
  • 云原生下GIS服务规划与设计
  • VBA 宏For WPS(完整版)-供大家学习研究参考
  • 【Linux】八、进程通信
  • 不同类型的软件企业该如何有效的管理好你的软件测试团队?
  • vue echart 立体柱状图 带阴影
  • vscode远程linux安装codelldb
  • 【中间件篇-Redis缓存数据库08】Redis设计、实现、redisobject对象设计、多线程、缓存淘汰算法
  • 华为云优惠券介绍、领取入口及使用教程
  • OPTEE安全通告之CVE-2023-41325(Double free in shdr_verify_signature)
  • 第12章 关于 Micro SaaS 的结论
  • postman调用接口报{“detail“:“Method \“DELETE\“ not allowed.“}错误, 解决记录
  • 基于单片机的线路差动保护系统设计
  • vscode 快速打印console.log
  • drawio连接线的样式设置
  • 【力扣题:循环队列】
  • 配置开启Docker2375远程连接与解决Docker未授权访问漏洞
  • 土木非科班转码测开,斩获10家大厂offer
  • HarmonyOS 高级特性
  • Spring整合redis的key时出现\xac\xed\x00\x05t\前缀问题
  • centos 6.10 安装 tcmalloc