告诉你真实的Common.Lisp的宏

本文介绍了Common Lisp中的四种宏,包括macro、reader macro、compiler macro和symbol macro,阐述它们在编译过程中的作用和区别。宏观上看,这些宏都是编译器的hook,允许程序员在不同阶段对代码进行定制和优化。尽管提供了强大的能力,但同时也带来了复杂性和挑战,因为开发者需要使用原始手段来实现这些功能。
摘要由CSDN通过智能技术生成

Common Lisp总共有4种被称为“宏”(macro)的东西。

下面分别说说他们的作用(这里仅仅只说编译的事情,而且还很模糊没说是哪种编译器(一个Common Lisp实现必须要实现至少两个不同的编译器,分别对应不同的语义))。
总之,为了不把Common Lisp的复杂给显露出来吓跑人,先将就吧。

  • macro
    • 编译器在遇到一个宏调用的时候,把当前的环境(环境在标准里面只是一个玄乎的不明所以的存在,环境访问的API在标准化的过程中被去掉了)和调用时的代码作为参数传给这个函数以调用这个函数, 然后把这个函数返回的结果放到原来宏调用的位置,替换原有内容。 实际上这货就是个“你的代码->Common Lisp代码”的编译器。 说好听这是C宏的“加强版”,因为可以执行复杂的逻辑,实际上它不可能像C的宏那样自由的传入和传出部分代码, 并且Common Lisp基本上不给这个功能提供任何便利, 基本上也只有一个hook接口了(你必须使用非常原始和复杂的方法去实现你的这个小型编译器)。
  • reader macro
    • Common Lisp的Reader(或者说是一个lexer也可以 ,反正这货就是读入一段文本,然后返回一个这段文本所表示的对象)的hook。 reader在扫描到reader macro所设置的对应的字符的时候, 就调用这个reader macro(实际上也一样对应个函数),让它去扫描和解析代码,然后返回对应的对象。 Common Lisp不给这种功能提供什
  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值