编程界的“二向箔”——Dart元编程

阅读过《三体》的同学肯定知道“降维打击”，从更高维度看问题，直接将对手KO。今天我们闲聊一下编程界的“二向箔”——元编程。

概念

我们听过了太多太多的名词，耳朵似乎都有点名词麻痹症了。比如，有些名词为了装x或者其本身的意义难以定义，就会加上一些似乎闪烁着光芒的前缀——如meta。计算机软件这行业就有meta data, meta model, meta programming。今天我们的主角就是meta programming——元编程。其实网络上也能搜出很多相关的文章，对于该词的定义参考wikipedia的一句话：

Metaprogramming is a programming technique in which computer programs have the ability to treat other programs as their data. It means that a program can be designed to read, generate, analyze or transform other programs, and even modify itself while running. 

简而言之，就是将程序作为数据，可以用于操作程序或者自身，而实现某些能力，比如将运行时工作移到编译时。按照编译器发展的进程，元编程可实现如代码替换（通过宏实现），泛型编程（从宏演变而来，脱离类型，高度抽象逻辑，可减少代码量），或者在更高级的语言中，运行时通过内省/反射机制来操作代码逻辑，或者随着编译过程的解耦和开放，可以实现在中间语言阶段（AST，IL），操作语法树和中间语言，实现更可扩展性的能力。

Dart做为一门现代高级语言，除了模板化能力，也能基于中间语言来操作代码。本篇文章主要讨论如何基于其中间语言（dill），通过AST树的操作来进行元编程，并实现一些现有dart语法本身实现不了的能力。并且这种实现在编译时，对于程序在运行时的性能几乎没有影响。

Dart元编程

背景知识

我们知道，几乎任何语言中，代码在 "编译"（解释型语言在运行时也有编译的过程） 的过程中，都会生成一种树状的中间状态，这就是 AST