宏 在 rust 中,我们一开始就在使用宏,例如 println!, vec!, assert_eq! 等。看起来宏和函数在使用时只是多了一个 !。 实际上这些宏都是声明式宏(也叫示例宏或macro_rules!),rust 还支持过程宏,过程宏为我们提供了强大的元编程工具。 声明式宏 声明式宏类似于 match 匹配。 和 match 不同的是,宏里的值是一段 rust 源代码。所有这些都发生在编译期,并没有运行期的性能损耗。下面是一个例子: // 声明一个add宏 macro_rules! 而 Rust 编译器会自动处理变量名和作用域,确保宏展开后的代码不会引入未预料的变量冲突。下面是一个C/C++中使用宏的例子。 这也是rust的宏是 Hygienic Macros 的体现。
Rust管理内存上实际上是以牺牲语法上的可读性和随意性来获取自动管理内存的优势。在初学或看代码时,是否发现各种 #[],!,都什么玩意,print!,println! Rust之所以难,这也有很大的关系,把宏设计的比传统的宏要复杂一些,在记忆中宏就是代码替换,但Rust已经超出了这个定义。3年前,你在学习Rust,3年后,你还在学习Rust,可见Rust入坑要谨慎。 Rust宏的分类声明式宏和函数宏可以简单的理解为代码替换,也可以理解为传统的宏。声明式宏和过程宏的区别声明式宏按模式去匹配进行代码模板替换。按常规理解就行。 基础类型元变量含义示例匹配解释expr表达式x + y, foo(), 42任何 Rust 表达式stmt语句let x = 5;, foo();语句(可能包含分号)ty类型i32, Vec<String (config)数据库连接池UI 框架过程宏(Rust GUI)宏名所属框架用途示例说明#[component]yewYew 组件#[function_component] fn Comp()WebAssembly
过程宏是rust里的强大的武器,非常值得学习rust的人去掌握。但过程宏的编写有点难度,且文档也不太详细,最近也专门学习了下过程宏,算是有点收获,写下一点东西。 对于宏编程,Rust中提供了几种过程宏的库操作支持,即: 1、Syn 它是基于TokenStream的一种语法分析过程,它并不很强大,需要自定义扩展一些宏,比如Rust中的函数和闭包等。 什么是过程宏? 过程宏(Procedure Macro)是Rust中的一种特殊形式的宏,它将提供比普通宏更强大的功能。方便起见,本文将Rust中由macro_rules!定义的宏称为规则宏以示区分。 但这篇文章只讲stable rust里的过程宏,如果想了解nightly rust的过程宏,可以去看maud 和Rocket,前者是一个HTML模板引擎,大量使用了过程宏,模板都是编译时生成,所以性能非常高 结语 过程宏确实是rust里的黑魔法,希望这篇文章能帮助到一些人了解并使用过程宏,体会到rust的强大。 实例代码可以在这里看到。
概念 在编写过程宏时,经常需要对TokenStream 进行解析和处理。 而Syn库就是专门用于对TokenStream进行解析。 Syn is a parsing library for parsing a stream of Rust tokens into a syntax tree of Rust source code. Syn 用于将Rust tokens 解析为Rust 源码语法树。 实践 在过程宏使用Syn解析的流程: 定义自己存储结构 实现syn::parse::Parse 使用parse_macro_input!()生成源码树。 使用过程宏为struct添加hello方法: 使用parse_macro_input 解析到DeriveInput 获取struct name TokenStream 使用quote!
宏是Rust中的一种特殊函数,它可以接受代码片段作为输入,并根据需要生成代码片段作为输出。 本篇博客将深入探讨Rust中的声明宏,包括声明宏的定义、声明宏的特点、声明宏的使用方法,以及一些实际场景中的应用案例,以便读者全面了解Rust声明宏的魔力。 1. 声明宏的基本概念 1.1 声明宏的定义 在Rust中,声明宏是一种特殊的宏,使用macro_rules!关键字来定义。声明宏的基本语法如下: macro_rules! 结论 本篇博客深入探讨了Rust中的声明宏,包括声明宏的定义、声明宏的特点、声明宏的使用方法,以及一些实际场景中的应用案例。 声明宏是Rust中强大的元编程工具,通过模式匹配和代码生成,它使得代码更加灵活、易读和简洁。希望通过本篇博客的阐述,读者对Rust声明宏有了更深入的了解,并能在实际项目中灵活运用。谢谢阅读!
Rust那些事之过程宏 1.过程宏 过程宏是一种扩展Rust编译器和提供可用于扩展该语言的插件的方法。 过程宏的工作原理非常简单:取一段称为输入TokenStream的代码,将其转换为抽象语法树(ast),从输入处获得的内容构建一个新的TokenStream(使用syn::parse()方法),并将其作为输出代码注入编译器 2.derive宏 使用侧: #[derive(StructShow)] pub struct Point { x: f64, y: f64 } 我们需要使用proc-macro来实现该功能 将rust语法转位TokenStream返回给编译器即可。 ("{}", p); 今天写的这个例子比较简单,过程宏功能很强大,后续继续研究,期待一起探讨~ 本节完~
概念 宏的作用就是在编译期间对原代码进行扩展,实现目标功能。简单的说宏就是生成代码的代码。 . — The Rust Reference (你可以简单认为,过程宏是一个将原有AST语法树转换为另外一个AST语法树的函数) 个人理解,Rust 宏相比C++中的宏定义, 它提供了一种可用让开发人员更容易介入代码编译过程的入口 Rust 过程宏定义分三种 #[proc_macro] 函数似宏 和macro_rules! #[proc_macro_attribute] 属性宏 用于属性宏, 用在结构体、字段、函数等地方,为其指定属性等功能 其中 Derive Macro 派生宏和 Attribute Marco 宏的区别是 :派生宏生成代码,然后将其添加到同一模块中,而属性宏生成代码来替换它们所应用的项目。
属性宏允许开发者在代码上方添加自定义的属性,并对代码进行定制化处理。在本篇博客中,我们将深入探讨Rust中的属性宏,包括属性宏的定义、使用方法以及一些实际应用案例,以帮助读者充分了解属性宏的魅力。 属性宏的基本概念 1.1 属性宏的定义 在Rust中,属性宏是一种特殊的宏,它允许开发者在代码上方添加自定义的属性,并在编译期间对代码进行处理。 1.2 属性宏的特点 属性宏在Rust中具有以下几个特点: 代码定制化处理:属性宏允许开发者在代码上方添加自定义的属性,并根据属性的输入对代码进行定制化处理。 代码安全性:属性宏生成的代码必须是合法的Rust代码,它们受到Rust编译器的类型检查和安全检查。这保证了宏生成的代码不会引入潜在的编译错误和安全漏洞。 2. 希望通过本篇博客的阐述,读者对Rust属性宏有了更深入的了解,并能在实际项目中灵活运用。谢谢阅读!
宏是Rust中的一种特殊函数,它可以接受代码片段作为输入,并根据需要生成代码片段作为输出。 本篇博客将深入探讨Rust中的宏,包括宏的定义、宏的分类、宏的使用方法,以及一些实际场景中的应用案例,以便读者全面了解Rust宏的神奇之处。 1. 宏的基本概念 1.1 宏的定义 在Rust中,宏是一种特殊的函数,可以使用macro_rules!关键字来定义。宏定义的基本语法如下: macro_rules! 过程宏:是一种更为高级的宏,它通过编写Rust代码来处理输入的代码,并在编译期间生成新的代码。 Rust宏的应用案例 Rust宏在实际开发中有许多应用案例,以下是一些常见的应用场景: 5.1 DRY原则(Don’t Repeat Yourself) 宏可以帮助我们遵循DRY原则,减少代码的重复编写
在本篇博客中,我们将深入探讨Rust中的派生宏,包括派生宏的定义、使用方法以及一些实际应用案例,以帮助读者充分了解派生宏的魅力。 1. 派生宏的基本概念 1.1 派生宏的定义 在Rust中,派生宏是一种特殊的宏,它允许开发者为自定义的数据类型自动实现trait。 代码安全性:派生宏生成的trait实现代码必须是合法的Rust代码,它们受到Rust编译器的类型检查和安全检查。这保证了派生宏生成的trait实现不会引入潜在的编译错误和安全漏洞。 2. 派生宏的局限性 虽然派生宏在Rust中非常强大,但它也有一些局限性需要注意: trait的限制:派生宏只能自动实现由Rust标准库或第三方库定义的trait,无法自动实现用户自定义的trait。 总的来说,派生宏为Rust开发者提供了一种强大的元编程工具,使得代码生成和转换变得简单高效。
导言 Rust是一门现代的、安全的系统级编程语言,它提供了丰富的元编程特性,其中类函数宏(Function-Like Macros)是其中之一。 在本篇博客中,我们将深入探讨Rust中的类函数宏,包括类函数宏的定义、使用方法以及一些实际应用案例,以帮助读者充分了解类函数宏的魅力。 1. 类函数宏的基本概念 1.1 类函数宏的定义 在Rust中,类函数宏是一种特殊的宏,它允许开发者创建类似函数调用的宏,并在编译期间对代码进行生成和转换。 代码安全性:类函数宏生成的代码必须是合法的Rust代码,它们受到Rust编译器的类型检查和安全检查。这保证了宏生成的代码不会引入潜在的编译错误和安全漏洞。 2. 结论 本篇博客中,我们深入探讨了Rust中的类函数宏,包括其定义、使用方法以及应用案例。
场景开发过程宏时经常需要处理结构体或枚举体上的属性参数,如下 Command 结构体的 args 字段有属性 each = "arg",#[derive(Builder)]pub struct Command ], }, }, }, // 其它字段省略 宏入口
今天尝试下使用Rust中的过程宏来实现类似功能。
课程主题:《通过实战理解 Rust 宏》 课程时间: 2021年8月15日 20:30-21:30 课程介绍: 如果想用 Rust 开发大型目,或者学习大型项目代码,特别是框架级别的项目,那么 Rust 的宏机制肯定是一个必须掌握的技能。 语言强大的一个特点就是可以创建和利用宏,不过创建宏看起来挺复杂,常常令刚接触 Rust 的开发者生畏惧。 在本次公开课中帮助你理解 Rust Macro 的基本原理,学习如何创自已的 Rust 宏,以及查看源码学习宏的实现。 课程大纲 什么是 Rust 宏 什么是宏运行原理 如何创建 Rust 宏过程 阅读 datafuse 项目源码, 学习项目中宏的实现
Rust中打印语句为什么使用宏?在Rust中,打印语句使用宏(例如println!和format!)的主要原因是为了在编译时进行字符串格式检查,并在不引入运行时开销的情况下提供更高的性能和安全性。 Rust宏允许在字符串中插入变量,而在编译时,编译器可以检查这些插值是否与实际的变量类型匹配。这有助于捕获潜在的格式化错误,防止运行时发生类型不匹配或其他问题。 在编译时,Rust会检查实际传递的参数是否与占位符的数量和类型匹配。2. 零成本抽象Rust中的宏提供了一种零成本的抽象。这意味着使用宏并不会引入运行时开销。在编译时,宏会被展开为实际的代码。 宏的简化定义。通过宏,可以将代码的抽象层次提高,同时不会影响性能。宏展开后,println!("Hello, world!") 和类似的宏使得代码更加灵活、可重用,并允许在编译时进行更多的优化。这是 Rust 中推崇的一种编程风格,有助于编写安全、高性能的代码。
Rust 宏定义,拯救运行时错误 如果你碰巧在 Rust 应用程序中使用 Lua ,你可以编写一个小宏,在 Lua 上强制执行它并运行 Lua 解释器以在编译时捕获相关错误。 作者以 Aerospike 分布式键值存储为,展开了如何通过 rust 宏中展开 lua 解析到 AST 上并校验 Aerospike 规则的方法。 C++ vs Rust :可变性和所有权 本文中,作者比较了 C++ 和 Rust 可变性,所有权等特性。 这篇文章可能对刚开始接触 Rust 的 C++ 开发人员特别有帮助。 侯盛鑫 坏姐姐 社区学习交流平台订阅: Rust.cc 论坛: 支持 rss 微信公众号:Rust 语言中文社区
改进 Rust 宏中的自动完成功能 自动完成是 IDE 提供的一种功能,可以帮助开发者在编写代码时快速找到正确的关键字和参数。在 Rust 宏中,自动完成功能可能会出现不准确或不完整的情况。 文章作者介绍了以下几种方法来改进 Rust 宏中的自动完成功能, 这样可以使你的宏在使用的过程中体验更好. 原文链接 https://blog.emi0x7d1.dev/improving-autocompletion-in-your-rust-macros/ IoT 和 Rust: 在 ESP 上连接 wifi 原文链接 https://dev.to/apollolabsbin/iot-with-rust-on-esp-connecting-wifi-4be6 Rust和 C++ 的两种动态分派方式 Rust Rust 和 C++ 动态分派的优缺点 Rust 优点: trait object 是类型安全的,这意味着编译器可以确保您不会调用不兼容的类型上的方法。 trait object 的性能开销很小。
之后,我业余时间基本上都在更新我在极客时间上的《Rust 第一课》。上个月终于结课,才慢慢有更多业余时间得以继续更新公众号,以及做些视频。 这个长周末,Tubi Holiday 加马丁路德金日,一下子整出来四天假期,于是我有了大段的时间开始构思在《Rust 第一课》中,读者们呼声很高的宏编程,打算搞个加餐。 于是,就有了这个「Rust 过程宏」系列的三期视频。 第一期,我不用 syn/quote 徒手写了个通过 JsonSchema 生成 Rust struct 的函数宏,从最底层的逻辑出发,让大家了解 Rust 的 TokenStream,以及如何把包含代码的字符串转换成 这个 Builder 宏的需求来自于 dtolnay 的 proc-macro-workshop 中的一个练习,Jon Gjengset 在他的 Procedural Macros in Rust 视频中
rust-complie-process 上图中间部分为 Rust 代码的整体编译过程,左右两边分别为过程宏和声明宏的解释过程。 Rust 语言是基于 LLVM 后端实现的编程语言。 Rust 宏展开 Rust 本质上存在两类宏:声明宏(Declarative Macros) 与 过程宏(Procedural Macros) 。 你可能会有疑问,其他语言的宏都是直接操作 AST ,为什么 Rust 的宏在 Token 层面来处理呢? 所以后来 Rust 引入了过程宏。过程宏允许你在宏展开过程中进行任意计算。但我们不是说,Rust 没有暴露 AST API 吗?为什么过程宏可以做到这么强大? 理解过程宏的展开原理,将有助于你学习过程宏。 小结 本篇文章主要介绍了 Rust 代码的编译过程,以及 Rust 宏代码的展开机制,学习这些内容,将有助于你深入理解 Rust 的概念。
作用 通过派生宏 #[derive(With)] 给结构体字段生成 with_xxx 方法,通过链式调用 with_xxx 方法来构造结构体。 named struct 每个字段生成 with_xxx 方法 #[derive(With)] pub struct Foo { pub a: i32, pub b: String, } 宏生成代码 self } } 2.给 tuple struct 每个字段生成 with_xxx 方法 #[derive(With)] pub struct Bar (i32, String); 宏生成代码 指定字段实现 with_xxx 方法 #[derive(With)] #[with(a)] pub struct Foo { pub a: i32, pub b: String, } 宏生成代码 4.通过下标给 tuple struct 指定字段生成 with_xxx 方法 #[derive(With)] #[with(1)] pub struct Bar (i32, String); 宏生成代码