本文作者:包子也沉默

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

包子也沉默 3年前 (2019-08-31) ( 08-31 ) 880 0条评论
摘要: ..)或者其本身的意义难以定义,就会加上一些似乎闪烁着光芒的前缀——如meta。计算机软件这行业就有metadata,metamodel,metaprogramming。今天我们装x的主角就是metaprogramming——元编程。其实网络上也能搜出很多相关的文章,对于该词的定义参考wikipedia的一句话:Metaprogrammingisaprogrammingtechniqueinwhi
版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/yunqiinsight/article/details/100133787

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

的mirror能力至今未推荐使用(原因分析可参考这篇文章),那我们是否可以基于DillManipulation实现一个简单轻量的LiteMirror库呢?并基于这个LiteMirror库实现更上层的J

1. 什么是元编程

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

令获取、解码、寄存器、执行单元和写回存储器。总体而言,RV16X-NANO使用了超过14000个单独的晶体管,碳纳米管产率为100%。也就是说,这14000个晶体管每个都有效,没有一个报废。RV16X

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. In some cases, this allows programmers to minimize the number of lines of code to express a solution, in turn reducing development time. It also allows programs greater flexibility to efficiently handle new situations without recompilation.

rocedureKind.Method,functionNode,//...参数从略);returnprocedure;}//调用函数创建,并添加到类定义中ProcedureoverridedToJs

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

eToJsonProc,bodyStatements,InterfaceType(mapClass));youClazz.addMember(overridedToJsonFunc);2.3.4其他基

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

应晶体管(CNFET),与金属氧化物半导体场效应管(MOSFET)类似,它是构建下一代计算机的基本单元。芯片的功能由逻辑门的组合来实现,而通过CNFET的组合可以构造出逻辑门。△ 用碳纳米管制成的反相

2. Dart中的元编程简介

2.1 背景知识

programmerstominimizethenumberoflinesofcodetoexpressasolution,inturnreducingdevelopmenttime.Italsoal

我们知道,几乎任何语言中,代码在 "编译"(解释型语言在运行时也有编译的过程) 的过程中,都会生成一种树状的中间状态,这就是 AST(抽象语法树)。AST 描述了每个表达式/语句中的子语句的执行顺序和执行逻辑,因而它可以被很方便地翻译成目标代码 。基于这种抽象,能合理的将编译器拆分为三阶段:FrontEnd,Optimizer, Backend,从而实现能兼容各种语法形式的语言,更易于迁移并兼容不同架构的cpu。见下图:

ocedure=newProcedure(Name(referProcedure.canonicalName.name,referProcedure.name.library),ProcedureKi

 

ment(inst));2.3.3创建函数这个例子是参考某个函数的声明形式来创建新函数,篇幅所限,一些参数从略。staticProcedurecreateProcedure(Procedurerefe

开源了一个基于Source_gen的方案,但使用上也不友好(还有其他一些方案如Dason等,但依赖于Mirror,详见这里的比较)。其实遍历Map或者List并装配对象这样的操作逻辑很简单,我们也可以

这三个阶段围绕这IL(intermediate language)进行。IL语言隔离了语法(能轻易适配各种新的语种),平台架构等的差异性。

rammingisaprogrammingtechniqueinwhichcomputerprogramshavetheabilitytotreatotherprogramsastheirdata.I

 

ment(inst));2.3.3创建函数这个例子是参考某个函数的声明形式来创建新函数,篇幅所限,一些参数从略。staticProcedurecreateProcedure(Procedurerefe

开源了一个基于Source_gen的方案,但使用上也不友好(还有其他一些方案如Dason等,但依赖于Mirror,详见这里的比较)。其实遍历Map或者List并装配对象这样的操作逻辑很简单,我们也可以

2.2 Dart的编译流程

然后让它们沉淀在表面上。不幸的是,这个过程通常会产生一个随机取向的纳米管薄膜,由大量碳纳米管聚集而成,并且其中会混入一些金属纳米管。MIT的研究人员和亚德诺半导体公司的科学家找到了解决所有这些问题的方

Dart的设计也类似,其中间语言就是Dill。不同的是,这里的Dill不像java的IL或者DotNet的IL那样开放出来可以直接编写,而是通过程序的方式操作实现。

二向箔”——元编程。1.什么是元编程我们听过了太多太多的名词,耳朵似乎都有点名词麻痹症了。比如,有些名词为了装x(比如笔者的文章标题...)或者其本身的意义难以定义,就会加上一些似乎闪烁着光芒的前缀—

这种方式其实就是基于AST库对Dill进行manipulation。

这个库内的组件包含了所有AST树涉及到的节点的定义和访问,将类型,函数,语句,声明,表达式等编程基本概念抽象成了对象。基于这些对象我们可以遍历整个AST树, 或者生成新的类型和函数,插入代码语句,实现新的逻辑。

没有人能够给出一个确切的时间。但Shulaker表示,可能不到五年。论文传送门:https://www.nature.com/articles/s41586-019-1493-8—完—AI社群|与优秀

2.3 几个栗子

l;inst.sex=m.[]("sex")iscore::bool?{core::bool}m.[]("sex"):null;inst.houses=m.[]("houses")iscore::Ma

入门其实很简单,看一下例子代码就可以啦。

mic,dynamic>}block{core::Map<core::String,core::String>mymap;mymap=col::LinkedHashMap::from

2.3.1. 比如以下语句定义了一个新的Map变量,并且调用了它的构造函数:

xM.Shulaker和GageHills是2013年第一台碳纳米管计算机研究成果第一作者和第二作者。当时,他们还在斯坦福大学读博士。这次取得的进展,建立在这一研究的基础上。2016年7月,MaxM.

//组装参数
Arguments mapFromArgs = Arguments.empty();
mapFromArgs.positional.add(MapLiteral([], keyType:keyInterType));
//调用from构造函数
StaticInvocation mapConstructor = StaticInvocation(MapFromFactoryProc, mapFromArgs);
//声明一个名字为jsonMap的Map类型变量
VariableDeclaration mapInstDecl = VariableDeclaration("jsonMap", type:mapInterType);
//相当于var jsonMap = new Map();
VariableSet set_mymap = VariableSet(mapInstDecl, mapConstructor);

2.3.2. 创建函数体

Hills是MIT的博士后研究员,负责大部分芯片的设计工作。ChristianLau,是MIT的硕士研究生,负责大部分芯片的制造工作。此外,作者中还有两位来自亚德诺半导体。据悉,这家公司是这项研究的支

函数体其实就是Block。

点的定义和访问,将类型,函数,语句,声明,表达式等编程基本概念抽象成了对象。基于这些对象我们可以遍历整个AST树,或者生成新的类型和函数,插入代码语句,实现新的逻辑。2.3几个栗子入门其实很简单,看一

Block bodyStatements = Block(List<Statement>());
bodyStatements.addStatement(mapInstDecl);
bodyStatements.addStatement(ExpressionStatement(inst));

2.3.3 创建函数

m.[]("age"):null;inst.squres=m.[]("squres")iscore::double?{core::double}m.[]("squres"):null;inst.sex

这个例子是参考某个函数的声明形式来创建新函数,篇幅所限,一些参数从略。

本的计算机中需要改进的地方。增加电流的第一步是减小晶体管沟道长度。2个碳纳米管的沟道长度可以缩小到5nm。第二步是将每个通道中纳米管的密度从每微米10个增加到每微米500个。新的沉积技术可将这种网络中

static Procedure createProcedure(Procedure referProcedure ,Statement bodyStatements, DartType returnType) {
      FunctionNode functionNode = new FunctionNode(bodyStatements,
          //...参数从略
      );
      Procedure procedure = new Procedure(
        Name(referProcedure.canonicalName.name, referProcedure.name.library),ProcedureKind.Method, functionNode,
        //...参数从略
      );
      return procedure;
  }
//调用函数创建,并添加到类定义中
Procedure overridedToJsonFunc = createProcedure(jsonTypes.StaticBaseToJsonProc, bodyStatements, InterfaceType(mapClass));
youClazz.addMember(overridedToJsonFunc);

2.3.4 其他

状的中间状态,这就是AST(抽象语法树)。AST描述了每个表达式/语句中的子语句的执行顺序和执行逻辑,因而它可以被很方便地翻译成目标代码。基于这种抽象,能合理的将编译器拆分为三阶段:FrontEnd,

基于AST还可以创建复杂的表达式和语句,如ForInStatement(for...in循环)等,语句和表达式还可以通过ExpressionStatement和BlockExpression互相转化。更多的技巧可参考AST的定义。

dart/your/dill/file/path/output/dill/text/file.text打开的text文件是类似于这样的:staticmethod__from_Json1(core::M

2.4 如何调试

当然,聪明的你或许已经发现,DillManipulation不可避免的要对编译流程进行定制,这就要求比如在Flutter环境中,需要对FlutterTool进行定制,以加入Dill再编辑的环节。剧透一

编辑好的Dill似乎是个黑盒,除了看日志或者看异常堆栈,并不能进行单步调试,给开发带来了一些困难。但Dart提供了已将将kernel dill转成可阅读的文本的工具,方便调试:

下面的金属触点用于在不同晶体管之间传递信号,而而纳米管上方的单独金属触点用于供电。改进空间RV16X-NANO芯片里晶体管通道长度约为1.5微米,相当于硅芯片中的Intel80386,这款处理器于19

$DartHome/dart ../../pkg/vm/bin/dump_kernel.dart /your/dill/file/path /output/dill/text/file.text

打开的text文件是类似于这样的:

dure(jsonTypes.StaticBaseToJsonProc,bodyStatements,InterfaceType(mapClass));youClazz.addMember(overr

    static method  __from_Json1(core::Map<dynamic, dynamic> m) → aop2::UserDataT {
      aop2::UserDataT inst;
      inst = new aop2::UserDataT::•();
      inst.name = m.[]("name") is core::String ?{core::String} m.[]("name") : null;
      inst.city = m.[]("city") is core::String ?{core::String} m.[]("city") : null;
      inst.age = m.[]("age") is core::int ?{core::int} m.[]("age") : null;
      inst.squres = m.[]("squres") is core::double ?{core::double} m.[]("squres") : null;
      inst.sex = m.[]("sex") is core::bool ?{core::bool} m.[]("sex") : null;
      inst.houses = m.[]("houses") is core::Map<dynamic, dynamic> ?{core::Map<dynamic, dynamic>} block {
        core::Map<core::String, core::String> mymap;
        mymap = col::LinkedHashMap::from<core::String, core::String>(<core::String, core::String>{});
        for (core::String item in (m.[]("houses") as core::Map<dynamic, dynamic>).keys) {
          mymap.[]=(item, (m.[]("houses") as core::Map<dynamic, dynamic>).[](item) is core::String ?{core::String} (m.[]("houses") as core::Map<dynamic, dynamic>).[](item) : null);
        }
      } =>mymap : null;
      return inst;
    }

3. 应用畅想

基于Dill的Manipulation,我们可以实现往代码中注入新的逻辑。比如闲鱼科技之前开源的AOP库AspectD的原理就是通过加载dill文件生成AST,然后遍历AST,寻找到已经annotation到的函数或语句,在dill层面操作后又生成dill参加到编译器后续的流程,最终实现了AOP。

类似的,我们知道Dart对于Json解析操作不是很方便,jsonDecode不能直接生成业务对象,而是Map或者List之类的集合,还需要用户自己手动代码遍历这些集合并装载对象。虽然官方开源了一个基于Source_gen的方案,但使用上也不友好(还有其他一些方案如Dason等,但依赖于Mirror,详见这里的比较)。其实遍历Map或者List并装配对象这样的操作逻辑很简单,我们也可以通过Dill Manipulation来做。

其使用方式简便,举例如下:

ng.Insomecases,thisallowsprogrammerstominimizethenumberoflinesofcodetoexpressasolution,inturnreducin

@JsonModel()
class UserData {
  String name;
  String city;
  UserData son;
}

void main(){
    var str = """
    {
      "name": "Jim",
      "city": "hangzhou",
      "son":{
        "name": "Kong",
        "city":"Hangzhou"
      }
    }
    """;

    UserData userData = JsonDrill.fromJson<UserData>(jsonDecode(str));
    var map = JsonDrill.toJson<UserData>(userData);
    print("$map");
  }

更深入的思考一下,Dart现有的mirror能力至今未推荐使用(原因分析可参考这篇文章),那我们是否可以基于Dill Manipulation实现一个简单轻量的LiteMirror库呢?并基于这个LiteMirror库实现更上层的Json解析和AOP甚至Hook能力?

当然,聪明的你或许已经发现,Dill Manipulation不可避免的要对编译流程进行定制,这就要求比如在Flutter环境中,需要对Flutter Tool进行定制,以加入Dill再编辑的环节。剧透一下,闲鱼科技目前就已经实现了Json解析器,正在准备开源中,敬请期待

用户自己手动代码遍历这些集合并装载对象。虽然官方开源了一个基于Source_gen的方案,但使用上也不友好(还有其他一些方案如Dason等,但依赖于Mirror,详见这里的比较)。其实遍历Map或者L


原文链接
本文为云栖社区原创内容,未经允许不得转载。

文章版权声明:除非注明,否则均为本站原创文章,转载或复制请以超链接形式并注明出处。
分享到:
赞 (0

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

微信扫一扫打赏

发表评论

快捷回复:

评论列表 (有 0条评论, 880人围观) 参与讨论