2311rust过程宏的示例

原文

Rust2018中的过程宏

Rust2018版本中,我最喜欢的功能是过程宏.在Rust中,过程宏有着悠久而传奇的历史(并继续拥有传奇的未来!)
因为2018年版极大改善了定义和使用它们的体验.

什么是过程宏

过程宏是,在编译时一段语法,生成新语法的函数.Rust2018中的过程宏有三个风格:

1,自Rust1.15以来,#[derive]模式宏一直很稳定,并把#[derive(Debug)]所有优点和易用性也带到了用户定义的特征中,如Serde#[derive(Deserialize)].
2,函数式宏,在2018版中是新的稳定版本,并允许在基于crates.io的库中定义:

env!("FOO") 
format_args!("...")

宏.类似macro_rules!宏.

3,我最喜欢的属性宏,也是2018版中的新功能,它允许在Rust函数上提供轻量注解,来编译时语法转换代码.

可在清单中用proc-macro=true指定宏.使用时,Rust编译器会加载过程宏,并在展开调用时执行它.
Cargo可控制过程宏版本,且可像其他Cargo依赖项一样轻松使用它们!

定义过程宏

这三类的定义方式略微不同,在此以属性宏为例.首先,标记Cargo.toml:

[lib]
proc-macro = true

然后在src/lib.rs中,可编写宏:

extern crate proc_macro;
use proc_macro::TokenStream;
#[proc_macro_attribute]
pub fn hello(attr: TokenStream, item: TokenStream) -> TokenStream {//...
}

然后可在tests/smoke.rs中编写单元测试:

#[my_crate::hello]
fn wrapped_function() {}
#[test]
fn works() {wrapped_function();
}

…就这样!执行cargo test的测试时,Cargo编译过程宏.之后,它编译编译时加载宏的单元测试,执行hello函数并编译生成的语法.

可见过程宏的几个重要属性:

1,输入/输出TokenStream类型
2,编译时可执行任意代码,即几乎不受限!
3,过程宏模块系统整合,即可像其他名字一样导入.

先深入了解其中的一些要点.

宏和模块系统

宏现在与Rust中的模块系统整合.表明导入宏时不再需要笨拙的#[macro_use]属性!不是:

#[macro_use]
extern crate log;
fn main() {debug!("hello, ");info!("world!");
}

你可以如下:

use log::info;
fn main() {log::debug!("hello, ");info!("world!");
}

好处不仅限于!风格的macro_rules宏,因为现在可转换如下代码:

#[macro_use]
extern crate serde_derive;
#[derive(Deserialize)]
struct Foo {//...
}
//为
use serde::Deserialize;
#[derive(Deserialize)]
struct Foo {//...
}

甚至不需要显式依赖Cargo.toml中的serde_derive!,只需要:

[dependencies]
serde = { version = '1.0.82', features = ['derive'] }

TokenStream内部

神秘的TokenStream类型,来自编译器提供的proc_macro仓库.
首次添加TokenStream时,只能调用to_string()parse()来回来转换其为从串转换.
Rust2018开始,可直接操作TokenStream中的令牌.

TokenStream"只是"TokenTree上的一个迭代器.Rust中的所有语法都分四类,即TokenTree的四种变体:
1,Ident是如foobar的标识.它还包含如selfsuper的关键字.
2,字面(Literal)包括像1,"foo""b"等内容.所有字面都是表示程序中常量值一个令牌.
3,Punct表示标点符号,而不是分隔符.

.foo.bar字段访问中的Punct令牌.像=>多符标点符号表示为两个Punct标记,一个表示=,一个表示>,Spacing枚举表示=与>相邻.

4,Group"树"项最相关的地方,因为Group代表一个分隔子令牌流.如,(a,b)是以括号作为分隔符Group,内部令牌流a,b.

最小化TokenTree对稳定性至关重要.
稳定RustAST是不可行的,因为那表示不能改变它.(想像假如如果不能添加?符号).

TokenStream过程宏通信,在同时可编译和处理较旧过程宏时,编译器添加新的语言语法.不过,先看看如何从TokenStream中取有用的信息.

解析TokenStream

但,只需要看看syn仓库.
使用syn仓库,可用单行代码解析RustAST:

#[proc_macro_attribute]
pub fn hello(attr: TokenStream, item: TokenStream) -> TokenStream {let input = syn::parse_macro_input!(item as syn::ItemFn);let name = &input.ident;let abi = &input.abi;//...
}

syn仓库不仅可解析内置语法,且还可轻松地为自己的语法编写递归下降解析器.更多.

生成TokenStream

不仅要以TokenStream作为过程宏的输入,还要生成TokenStream作为输出.一般要求输出是有效的Rust语法,但与输入一样,它只是要构建的令牌列表.
创建TokenStream的唯一方法是通过其FromIterator实现,即必须逐个创建每个令牌并聚集它到TokenStream中.
不过,这很乏味,所以看看synquote兄弟仓库.
quote仓库是Rust的准引用实现,主要提供了一个方便的宏:

use quote::quote;
#[proc_macro_attribute]
pub fn hello(attr: TokenStream, item: TokenStream) -> TokenStream {let input = syn::parse_macro_input!(item as syn::ItemFn);let name = &input.ident;//输入函数总是等价于返回`42`,对不?let result = quote! {fn #name() -> u32 { 42 }};result.into()
}

quote!宏这里允许你编写大部分Rust语法,并用#foo环境快速插值变量.

令牌和跨度(Span)

也许Rust2018中过程宏的最大特性是可自定义和使用每个令牌上的Span信息,这样可从过程宏中取得惊人语法错误消息:

error: expected `fn`--> src/main.rs:3:14|
3 | my_annotate!(not_fn foo() {});|              ^^^^^^

完全自定义的错误消息:

 错误:`导入`方法必须至少`有一个`参数--> invalid-imports.rs:12:5|
12 |     fn f1();|     ^^^^^^^^

Span可看作是原始源文件的指针,一般表示,foo,"Ident令牌来自文件bar.rs,第4行第5列,长度为3个字节".
此信息主要由包含警告和错误消息的编译器诊断使用.

Rust2018中,每个TokenTree都有个与之关联的Span.即,如果把所有输入令牌Span保留到输出中,则即使生成全新语法,编译器的错误消息仍是准确的!
如,如下一个小宏:

#[proc_macro]
pub fn make_pub(item: TokenStream) -> TokenStream {let result = quote! {pub #item};result.into()
}

按如下调用:

my_macro::make_pub! {static X: u32 = "foo";
}

是无效的,因为从应该返回u32的函数返回一个,编译器帮助诊断问题为:

 `error[E0308]`:`类型`不匹配--> src/main.rs:1:37|
1 | my_macro::make_pub!(static X: u32 = "foo");|                                     ^^^^^ expected u32, found reference|=注意:期望类型为`"U32"`找到类型`'&'staticstr'`错误:因为上一个错误而中止

在此可见,尽管正在生成全新语法,但编译器可保留span信息,以继续为编写代码提供针对性的诊断.

生态中的过程宏

syn,quoteproc-macro2是编写过程宏首选库.方便自定义解析器,解析现有语法,创建新语法,使用旧版本Rust等等!

Serde这里及SerializeDeserialize继承宏可能是生态中最常用的宏.它们有令人印象深刻的配置量,是小注解但强大的很好示例.

wasm-bindgen项目在Rust中,使用属性宏轻松定义接口,并从JS导入接口.
#[wasm_bindgen]轻量注解方便理解传入和传出内容,并删除了大量转换样板.

gobject_gen!宏是GNOME项目的实验性IDL,来在Rust中安全地定义GObject对象,避免手写来与C语言通信,并用Rust写其他GObject实例交互期望的所有胶水.

Rocket框架最近切换到了过程宏,并展示了过程宏的一些最新功能,如自定义诊断,自定义跨度创建等.

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/150566.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

JS:给数字添加千分位符(每3位数用逗号隔开)

背景 如果一串数字的长度太长,就不方便阅读,因此可以采用分隔符对数字进行分割本文的分割规则是: 如果数字的长度大于等于5则进行分割,每3位数用逗号分割开 解决 数字可以分为:number类型的数字和字符串类型的数字&…

前端反卷计划-组件库-03-组件样式

Hi, 大家好!我是程序员库里。 今天开始分享如何从0搭建UI组件库。这也是前端反卷计划中的一项。 在接下来的日子,我会持续分享前端反卷计划中的每个知识点。 以下是前端反卷计划的内容: 目前这些内容持续更新到了我的 学习文档 中。感兴趣…

基于yolov5模型的200种鸟类检测识别分析系统

该专栏仅支持购买本专栏的同学学习使用,不支持以超级会员、VIP等形式使用,请谅解!【购买专栏后可选择其中一个完整源码项目】 本文是我新开设的专栏《完整源码项目实战》 的第十三篇全源码文章,包含数据集在内的所有资源,可以实现零基础上手入门学习。前面系列文章链接如下…

uniapp 防抖节流封装和使用

防抖(debounce):定义一个时间,延迟n秒执行,n秒内再次调用,会重新计时,计时结束后才会再次执行 主要运用场景: 输入框实时搜索:在用户输入内容的过程中,使用防抖可以减少频繁的查询…

【ARM Trace32(劳特巴赫) 使用介绍 5 -- Trace32 ELF 文件加载介绍】

请阅读【ARM Coresight SoC-400/SoC-600 专栏导读】 文章目录 1.1 Trace32 加载符号表1.1.1 ELF 文件加载1.1.2 其它格式文件加载1.1.3 多个 ELF 的加载1.2 Trace32 UEFI 配置1.2.1 x86 32-BIT1.2.2 x86 64-BIT1.2.3 ARM1.1 Trace32 加载符号表 劳特巴赫 TRACE32 可以显示目标…

【每周一测】Java阶段三第三周学习

目录 1、事务四个隔离级别中,哪一个不能防止脏读 2、关于sleep()和wait(),以下描述错误的一项是() 3、以下关于Servlet生命周期说法错误的是( ) 4、下列概念解释说明错误的是 5、在 JWT 中&#xff0c…

数据结构与算法【二叉搜索树】Java实现

介绍 二叉搜索树(也称二叉排序树)是符合下面特征的二叉树: 树节点增加 key 属性,用来比较谁大谁小,key 不可以重复对于任意一个树节点,它的 key 比左子树的 key 都大,同时也比右子树的 key 都…

SQL-对比两表中数据

需求:表1中有多行id相同 select a.item_code, totalAmount , b.online_qty from (select item_code, sum(a.online_qty) as TotalAmountfrom serial_bal awhere a.wh_code SJ38group by item_code) a left join(select item_code,online_qtyfrom wh_bal bwhere b.…

ESP32 MicroPython 图像采集及拍照功能的使用⑧

ESP32 MicroPython 图像采集及拍照功能的使用⑧ 1、摄像头应用2、图像采集5、实验结果6、按键拍照7、实验内容8、参考代码9、实验结果 1、摄像头应用 小车配有摄像头,可以使用摄像头实现拍照、图像显示、图像识别等功能。小车已经内置有我们专门移植的摄像头驱动库…

[Docker]六.Docker自动部署nodejs以及golang项目

一.自动部署nodejs 1.创建node项目相关文件 app.js代码如下: var express require(express);var appexpress();app.get(/,function(req,res){res.send(首页update); }) app.get(/news,function(req,res){res.send(首页); })//docker做端口映射的时候不要指定ip app.listen(30…

大模型重塑软件设计,南京真我加入飞桨技术伙伴,大模型生态圈成员又添一员!

为帮助伙伴更快、更好的应用大模型技术,飞桨技术伙伴体系及权益基于星河共创计划全面升级,通过丰富的场景、技术、算力、品牌等资源,为伙伴企业提供一站式的大模型资源对接,全面降低创建AI原生应用的门槛。 近日,南京…

二十三种设计模式全面解析-解密职责链模式:请求处理的设计艺术

当我们构建软件系统时,经常会遇到需要处理各种不同类型请求的情况。有时,请求的处理逻辑可能相当复杂,需要按照一定的规则和条件进行处理。在本文中,我们将深入探讨职责链模式在请求处理中的应用。职责链模式通过将请求发送者和接…

win10家庭版系统远通过一根网线程连接另一台机器

用网线连接两个机器 打开cmd命令行 输入ipconfig,查看 复制 IPv4地址 打开 远程桌面 程序 点击连接 输入在另外一机器设置好的用户名和密码即可

docker打包chatpdf(自写)

docker打包上传 docker build -t kitelff/chatpdf:v0.1 .##修改镜像名字 docker tag c2c1a0eb4e08 kitelff/chatpdf:v0.1## push docker push kitelff/chatpdf:v0.1上传文件,测试效果

【brpc学习实战二】brpc client构建基本流程

client基本概念及学习指南 https://github.com/luozesong/brpc/blob/master/docs/cn/client.md 一、编写proto 这里与服务一致,实际开发中需要双端共同确定proto内容; 二、初始化channel rpc channel可以视为socket编程中的client对象 定义一个chan…

字符串统计

题目部分 题目字符串统计难度易题目说明给定两个字符集合,一个是全量字符集,一个是已占用字符集,已占用字符集中的字符不能再使用,要求输出剩余可用字符集。输入描述1. 输入一个字符串 一定包含,前为全量字符集 后的为…

BananaPi BPI-M6(Raspberry Pi 5) Android 平板电脑镜像测试温度

我已经在本文中介绍了 全新的Banana Pi BPI-M6,并讨论了其与Raspberry Pi 5的硬件特性比较。 然后我将 Android 平板电脑固件上传到 eMMC,从而使 Banana Pi 实际可用。一开始有点坎坷,但文章中有更多内容。 在另一台电脑上,一切都…

Arcgis小技巧【16】:ArcMap的那些功能在ArcGIS Pro里都去哪儿了?

有部分小伙伴现在已经用上了ArcGIS Pro,但可能还会有些不习惯。 一个很重要的原因,原来在ArcMap中的一些功能,好像在Pro里消失了。 不排除一些功能确实被移除了,但大部分其实是因为UI的变化,给放在了别的地方。 这里…

Linux CentOS7配置网络参数

CentOS6及以前版本中主要使用ifconfig工具,查看、配置网络参数。后来对推荐使用ip命令查看配置网络参数。而centos7中,不再赞成使用ifconfig工具,取而代之的是nmcli工具,服务管理也是以systemctl工具取代了service,这些之前版本的…

音视频项目—基于FFmpeg和SDL的音视频播放器解析(十二)

介绍 在本系列,我打算花大篇幅讲解我的 gitee 项目音视频播放器,在这个项目,您可以学到音视频解封装,解码,SDL渲染相关的知识。您对源代码感兴趣的话,请查看基于FFmpeg和SDL的音视频播放器 如果您不理解本…