宏编程：C++宏、Rust宏和Lisp宏比较

根据simondobson两篇文章（1、2），总结比较一下C++宏 Rust宏和Lisp宏：

Rust 宏：Rust 有两种类型的宏：

• 声明性宏：这些模式匹配参数来生成代码。

• 过程宏：这些宏执行从代码到代码的更一般的转换。

Lisp 宏：

• Lisp 具有一种宏，它也可以从一个代码操作到另一个代码，利用其同像性，其中代码和数据共享相同的结构。

C++宏：

• 预处理器宏： 基于文本替换，简单但容易引发错误。
• 模板： 用于编译时元编程，通过类型参数进行代码生成，虽然功能强大，但会导致复杂的错误信息和较长的编译时间。

功能和复杂性

• C++宏：
  • 预处理器宏功能有限，容易出错。
  • 模板功能强大，但复杂，需要理解模板特化和SFINAE（替换失败不是错误），增加开发难度。
• Rust宏：
  • 声明式宏和过程宏都很强大，但过程宏需要理解令牌流，增加了编写宏的难度。
  • 过程宏在使用上更加复杂，需要更多的语法和编译过程知识。
• Lisp宏：
  • 功能强大，直接操作代码作为数据，利用同像性简化宏的创建。Lisp 宏只需要了解 Lisp 本身，而不需要了解其内部结构，并且可以对代码参数的整个详细结构进行操作。这是同像性威力的一个显著例子。
  • 由于代码和数据共享相同的结构，宏的创建和使用更为直接和简单。

与C++宏相比：

• Lisp（当然还有 Rust）宏可以抽象语法以及类和值，因此允许使用新的编译时一流结构来扩展语言。

设计哲学

• C++：
  • 设计相对严格，模板元编程虽然强大，但代码可读性较差，语法复杂。
• Rust：
  • 宏是语言的扩展，核心功能并不依赖于宏。尽管强大，但使用起来比较繁琐。
• Lisp：

  • 设计强调简单和灵活性，宏是语言的核心功能，甚至基本操作如defun都是宏。代码更容易阅读和维护。

总结：
模板仅限于实例化用固定语法编写的模板；

• 在 Lisp 中，语法必须是“Lisp 式的”，尽管这是一个非常轻微的限制；
• 而在 Rust 中，宏可以使用 Rust 可以标记的任何语法。

虽然 C++ 模板有时被描述为宏编程（或元编程），但它们处理的用例与 Lisp 或 Rust 宏处理的用例有很大不同，并且在更受限制的计算和语法范围内进行。

Rust宏与Lisp宏这两种语言方法的主要区别在于宏是Rust 的附加功能，但Lisp 是固有功能defun

• Rust 的核心都不使用宏：它们用于扩展。

• Lisp 中常见操作实际上也是扩展到更简单核心操作的宏。

这或许解释了 Rust 设计者决定使宏在语法上有所不同。

C++宏、Rust宏和Lisp宏各有优劣：

• C++宏提供了基本的文本替换功能，但其模板系统尽管强大，却复杂且难以调试。

• Rust宏在功能上更强大，提供了声明式和过程宏，但需要更深的语言和编译过程理解，增加了编写和使用的复杂性。

• Lisp宏由于其同像性，允许直接操作代码作为数据，宏的创建和使用最为简单和强大，整体设计更为灵活。

综上所述，Lisp的宏系统在功能和易用性方面通常更具优势，C++和Rust的宏系统在特定场景下也各有独特的优势和应用。

更多元编程：https://www.jdon.com/74818.html