百科问答小站 logo
百科问答小站 font logo



只会c语言语法,就能强行做一个编译器出来吗? 第1页

  

user avatar   kelthuzard 网友的相关建议: 
      

这东西。。可难可简单

0. brainfuck

模拟就完事了

1. 词法语法分析完得ast

ast解释,这是玩具语言的选择。

ast生成汇编,然后汇编器产出具体架构的机器代码,这是玩具语言的选择。

2. 分析完得字节码然后套vm执行

语法分析完后也可能有语义检查或者其他啥的,这是c4,red,lua的选择。

2. ast转字节码,或者1直接产出字节码,供以vm模拟字节码行为

这也是解释器,线性分派以及局部性因素可能让它比较快,但是,到这一步大概率你会加上GC,runtime等各种组件,除非你用的宿主语言本身就是GC语言,那么可以省略GC实现,但是runtime等仍然不可少。这是cpython,php,gravity的选择。

3. vm不直接模拟宿主执行字节码,而是在早期将每一条字节码翻译为机器代码,然后vm执行这些机器代码

即jit的过程,是指运行时生成可实现代码的过程,这样比2快。也是个解释的过程。这是luajit,php jit的选择。

4. ast或者字节码转成一种ir,对ir应用些优化,然后lowering,再汇编器出机器代码

可以是ast转成ssa做各种opt pass,然后lowering到平台相关,最后汇编器生成机器代码。这是golang的选择。red也准备这样,但是ir不知道是不是ssa。

100. ast或者字节码转多级别ir,各级别ir都应用优化,然后lowering,最后汇编出机器代码

现代编译器的设计。比如gcc,jvm的c1 c2 ,graal,llvm backend,v8的crankshaft turbofan等,都属于地表最强编译器俱乐部。

还有些不走寻常路以及没提到的以及我不知道流程的,待补充。

不过,结论大致是只学完c语言语法写不出编译器,但是简单的解释器你可以!!




  

相关话题

  int *p=new int,当free(p)时free函数是怎么知道要释放4个字节而不是5个的? 
  教授说没有写过一千行以上代码的程序就别想上大公司,这种说法对吗? 
  中国为什么不做编译器和编程语言? 
  既然有 memcpy_s 这种安全实现,为啥不禁用危险的 memcpy 或者更新 memcpy 源码? 
  C语言仅凭自学能到什么高度? 
  只会c语言语法,就能强行做一个编译器出来吗? 
  只会c语言语法,就能强行做一个编译器出来吗? 
  C语言仅凭自学能到什么高度? 
  为什么编程语言中没有一种 if,来判断大概率为真(或假)的情况,来提升 CPU 分支预测的速度呢? 
  如何理解编程语言中「流」(stream)的概念? 

前一个讨论
塔台不发布口令飞机的机头会向上倾斜45°吗?
下一个讨论
丁小平到底是怎样的一个人?





© 2024-11-22 - tinynew.org. All Rights Reserved.
© 2024-11-22 - tinynew.org. 保留所有权利