案例研究

本仓库展示了一些我在多年使用各种高级Rust宏库(包括我自己的和其他人的)工作中遇到的棘手Rust代码示例。

:postal_horn: 要点

本项目致力于一个关于Rust宏开发的深刻见解:宏方面的专家和能手之间的区别,大多与他们"宏"的能力无关。

90%能让人们在追求强大和用户友好的宏库API时突破可能性极限的,是他们对宏之外的Rust其他方面的掌握,以及他们将普通语言特性以手写代码中可能不会出现的有趣方式组合在一起的创造力。

你可能偶尔会遇到一些你觉得非常高级或神奇的Rust宏。如果你有这种感觉,我鼓励你仔细看看,你会发现就宏实现本身而言,这些库都没有做任何特别有趣的事情。如果是过程宏,它们总是以一种无聊的方式解析一些输入,以一种无聊的方式遍历一些语法树来了解输入,然后以一种无聊的方式拼凑一些输出代码,就像你通过学习我的过程宏工作坊的任何部分几小时就能学到的那样。如果是macro_rules宏,从概念上讲一切都同样无聊,但当被推到极限时,它会变成一种即使对作者来说也难以理解的只写语法,更不用说其他不熟悉macro_rules基础知识的人了。

宏开发中的所有技巧都围绕着宏输出什么代码,而不是宏如何输出代码。这个认识对那些带着过程宏是某种"编译器插件"的模糊概念进入宏开发的人来说可能会感到惊讶,他们想象这一定意味着有各种复杂的API来如何与编译器的其他部分集成。事实并非如此。宏所做的唯一一件事就是生成本可以手写的代码。如果你无法想出那些神奇宏中的一些棘手代码,学习更多"关于宏"的知识并不会改变这一点;但学习更多关于Rust其他部分的知识会有帮助。相反,一旦你想出你想生成什么代码,编写宏来生成它通常是容易的部分。