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

根据simondobson两篇文章(12),总结比较一下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

相关推荐
前端青山4 小时前
Node.js-增强 API 安全性和性能优化
开发语言·前端·javascript·性能优化·前端框架·node.js
从兄5 小时前
vue 使用docx-preview 预览替换文档内的特定变量
javascript·vue.js·ecmascript
清灵xmf6 小时前
在 Vue 中实现与优化轮询技术
前端·javascript·vue·轮询
薛一半7 小时前
PC端查看历史消息,鼠标向上滚动加载数据时页面停留在上次查看的位置
前端·javascript·vue.js
过期的H2O27 小时前
【H2O2|全栈】JS进阶知识(四)Ajax
开发语言·javascript·ajax
MarcoPage7 小时前
第十九课 Vue组件中的方法
前端·javascript·vue.js
你好龙卷风!!!8 小时前
vue3 怎么判断数据列是否包某一列名
前端·javascript·vue.js
shenweihong9 小时前
javascript实现md5算法(支持微信小程序),可分多次计算
javascript·算法·微信小程序
巧克力小猫猿10 小时前
基于ant组件库挑选框组件-封装滚动刷新的分页挑选框
前端·javascript·vue.js
嚣张农民10 小时前
一文简单看懂Promise实现原理
前端·javascript·面试