如何扩展Crystal语言语法？实现类原生for循环与多混入指令

嘿，这个问题问到点子上了——其实你说得没错，要实现这种完全类原生语法级别的特性，确实绕不开扩展Crystal的词法/语法分析器，不过咱们可以先拆解下背后的原因，再聊聊有没有相对变通的思路：

为什么普通宏无法实现？ #

Crystal的宏系统是基于**已解析的抽象语法树（AST）**工作的，它能处理的参数必须是符合现有Crystal语法规则的代码片段。像i in list这种写法，在Crystal主语言里根本不是合法的语法单元，宏在解析阶段就会直接报错，更别说接收并处理了——因为宏没办法“拦截”还没被语法分析器处理的原始token，它只能拿到已经被编译器解析后的合法AST节点。

针对你提到的两个需求具体分析 #

1. 类原生for循环 #

你想要的for i in list do end和for k, v in hash do end这种结构，和Crystal现有语法（比如基于each的迭代、内置for宏的写法）差异很大：

• 内置的for宏其实是语法糖，但它的调用方式已经被编译器纳入了语法规则；
• 如果要自定义实现类似的原生感写法，必须让词法分析器先识别for的新语法逻辑，语法分析器生成对应的迭代AST节点——这完全是编译器层面的工作，宏根本做不到。

2. 多混入指令includes MixinX, MixinY, MixinZ #

其实Crystal原生的include（小写）已经支持直接传入多个模块，写法就是include MixinX, MixinY, MixinZ。但如果你是想要自定义includes（复数）作为新的指令，并且希望它像原生include一样直接接收模块名列表（不用括号包裹），那同样需要修改语法规则：让解析器认可includes作为新的关键字，并定义它后面跟随模块列表的语法逻辑——这也不是宏能搞定的。

变通方案（接近需求但非原生语法） #

如果暂时不想修改编译器源码，可以用宏实现接近的效果，但体验上会打折扣：

• 迭代逻辑：可以写一个宏，比如：

  macro for(elem, collection)
    collection.each do |{{elem}}|
      {{@block}}
    end
  end
  

  调用的时候得写成for(i, list) do ... end，而且没法直接支持k, v这种多变量的情况，除非做复杂的参数解析，体验远不如原生语法。
• 多混入扩展：如果是要给多混入加额外逻辑，可以写一个宏：

  macro includes(*modules)
    {% modules.each do |mod| %}
      include {{mod}}
      # 这里可以加额外的混入逻辑，比如日志、依赖检查等
    {% end %}
  end
  

  调用的时候需要写成includes(MixinX, MixinY, MixinZ)——必须加括号，因为宏参数需要符合现有语法规则。

总结 #

如果你的目标是完全复刻原生语法的体验（比如不用括号、直接写for x in y这种无违和感的写法），那确实只能修改Crystal的编译器源码：

• 扩展词法分析器，添加/调整关键字的识别规则；
• 修改语法分析器的定义文件，新增对应的语法生成规则。
  Crystal是开源项目，你可以查看它的src/compiler/crystal/syntax目录下的相关文件，修改后重新编译编译器就能实现你的需求。

内容的提问来源于stack exchange，提问作者drvtiny