第 21 章 宏
吉姆•布兰迪
cento(来自拉丁语,意为“拼凑而成”)是一种完全由引自其他诗人的诗句组成的诗。
——Matt Madden
Rust 支持宏。宏是一种扩展语言的方式,它能做到单纯用函数无法做到的一些事。例如,我们已经见过 assert_eq! 宏,它是用于测试的好工具:
这也可以写成泛型函数,但是 assert_eq! 宏能做到一些无法用函数做到的事。一是当断言失败时,assert_eq! 会生成一条错误消息,其中包含断言的文件名和行号。函数无法获取这些信息,而宏可以,因为它们的工作方式完全不同。
宏是一种简写形式。在编译期间,在检查类型并生成任何机器码之前,每个宏调用都会被展开。也就是说,每个宏调用都会被替换成一些 Rust 代码。前面的宏调用展开后大致如下所示:
panic! 也是一个宏,它本身可以展开为更多的 Rust 代码(此处未展示)。这些代码使用了另外两个宏,即 file!() 和 line!()。一旦 crate 中的每个宏调用都已完全展开,Rust 就会进入下一个编译阶段。
在运行期,断言失败时是这样的(同时指出了 gcd() 函数中存在 bug,因为 2 才是正确答案):
如果你是 C++ 用户,那么可能对宏有过一些不好的体验。Rust 宏采用了完全不同的设计,类似于 Scheme 的 syntax-rules。与 C++ 宏相比,Rust 宏能与语言的其余部分更好地集成,因此更不容易出错。宏调用总是标有感叹号,因此在你阅读代码时很容易发现它们,并且当你想要调用函数时也不会意外调用它们。Rust 宏永远不会插入不匹配的方括号或圆括号,它们天生支持模式匹配,因此编写既可维护又易于使用的宏非常容易。
公开
同步至部落
取消
完成
0/2000
荧光笔
直线
曲线
笔记
复制
AI
- 深入了解
- 翻译
- 解释
- 总结
Rust宏是一种强大的扩展语言方式,与C++宏不同,Rust宏采用了类似于Scheme的设计,更容易集成并避免出错。宏模式是一种迷你语言,用于匹配代码的正则表达式,而宏模板则用于填充匹配到的代码片段。文章还提到了宏的高级技术,以及称为过程宏的更强大的机制。通过深入理解宏,读者可以获得更多的回报,并且文章还提供了进一步学习的指导,以便读者深入了解宏的高级技术和过程宏的更强大机制。文章还介绍了Rust宏与其他语言的差异,以及宏在实际编程中的应用。总的来说,本文全面介绍了Rust宏的基础知识和高级技术,对于想要深入了解Rust宏的读者来说是一份很好的参考资料。文章还提到了Rust宏的卫生机制,以及如何在匹配过程中避免语法错误。同时,还介绍了宏的导入和导出,以及如何在宏中使用绝对路径和$crate关键字。文章还介绍了过程宏的独立机制,以及如何利用它们实现自定义属性和处理自定义派生。此外,文章还提到了构建脚本生成Rust代码的方法,为读者提供了多种选择来处理复杂的功能需求。
仅可试看部分内容,如需阅读全部内容,请付费购买文章所属专栏
《Rust 程序设计(第 2 版)》
《Rust 程序设计(第 2 版)》
立即购买
登录 后留言
精选留言
由作者筛选后的优质留言将会公开显示,欢迎踊跃留言。
收起评论