编程与软件工程github.com编辑精选
C4:用 4 个函数实现的 C 语言解释器
C4 – C in 4 functions
2014 — 2020,它一次次回到首页
黑点是上首页(≥ 50 分)的那次投稿,空心点是没冲上去的投稿,点越大分数越高。
导读
C4 是一个仅用 4 个函数、约 500 行 C 代码实现的极简 C 编译器,能编译自身并自带一个虚拟机来运行生成的字节码。它展示了递归下降解析和优先级爬升表达式解析如何以极简方式实现一个可自举的编译器。
为什么经久不衰:它把编译器、词法分析器和虚拟机压缩进一个可完整阅读的文件,是学习编译原理最直观的入门材料之一,多年后仍被用作教学和逆向工程工具的起点。
HN 评论精选
掌握 Wirth 教材和优先级爬升法后,代码其实很好读
初看之下这个项目非常棒;说它难以阅读的批评站不住脚。读懂它的背景知识是 Wirth 的《Compiler Construction》加上优先级爬升解析法。
abecedarius查看英文原文
On a first skim, this looks really nice; complaints that it's unreadable are unfounded. The background that makes it readable are Wirth's Compiler Construction http://www.ethoberon.ethz.ch/WirthPubl/CBEAll.pdf plus precedence climbing http://en.wikipedia.org/wiki/Operator-precedence_parser#Precedence_climbing_method
递归下降让极简编译器既简洁又易调试
粗看这是一个高度压缩的递归下降解析器,把通常的各个解析函数合并到了一起,所以并不难理解。递归下降是最直观易懂的解析算法之一,代码简洁,而且比传统的表驱动解析器更容易调试。Bellard 的 OTCC 是另一个极小的递归下降编译器例子。
userbinator查看英文原文
From a cursory glance this appears to be a much-condensed recursive-descent parser with all of the usual parsing functions moved into one, so it's not all that difficult to understand. I think recursive-descent is one of the easiest to intuitively understand parsing algorithms, and it also makes for some concise code; it's also far easier to debug a recursive-descent parser than one of the traditional table-driven ones. Edit: OTCC (http://www.bellard.org/otcc/ ) is another extremely tiny (to the point of being obfuscated) example of a compiler using a recursive-descent parser.
四个函数各司其职,甚至可作为逆向工程工具的实用起点
我是真心喜欢这份代码。我们上一个创业公司曾以同样的设计(用 Go 重写)作为起点,做逆向工程挑战,对栈机字节码做符号求值来生成 AVR 代码。读它的诀窍:next() 是词法分析器,expr() 是优先级爬升表达式解析器,stmt() 解析语句并生成代码,main() 里是虚拟机循环。
tptacek查看英文原文
I unironically love this code. We used it as a starting point (or rather, the same design; we wrote in Go) for reversing challenges at our last startup, symbolically evaluating the stack machine bytecode to generate AVR. The trick to reading it: * next() is the lexer * expr() is a precedence-climbing expression parser * stmt() parses statements and generates code * main() has the virtual machine loop.
运行时能看到带源码注释的 VM 指令,比读代码更有趣
macOS 上的 Clang 不喜欢 main() 接受并返回 long long,Debian 上的 GCC 则没问题。读这份代码很有趣,但运行它更有趣——你可以看到它生成的 VM 代码,还带源码行号注释。
jacobvosmaer查看英文原文
Clang on my macOS doesn't like the fact that main() takes and returns long long. But it appears GCC on Debian 8 (random linux I have lying around) doesn't mind. I get it to compile on macOS if I remove the int define but then it segfaults when you run it. I wonder if there is some magic flag to make "main does not return int" a non-fatal error on Clang? It's fun to read this code but running it is even more fun, you can see the VM code it generates, with source line annotations and all.
历次讨论
同类还值得读
开源应用架构
The Architecture of Open Source Applications
《开源软件架构》(AOSA)是一本在线免费书,邀请知名开源项目的作者亲自剖析其内部设计,涵盖 SQLAlchemy、LLVM、Audacity、Apache、Bash 等系统。
编程与软件工程上首页 9 次 · 2011–2024aosabook.org编辑精选编程语言简史:简短、不完整且多半错误
A Brief, Incomplete, and Mostly Wrong History of Programming Languages
一篇以戏谑、故意不准确的方式回顾编程语言史的博客文章,用夸张轶事和讽刺定义串起 Lisp、C、C++、Java、JavaScript、PHP 等语言。
编程与软件工程上首页 8 次 · 2009–2021james-iry.blogspot.comSQLite 是如何测试的
How SQLite is tested
SQLite 官方文档页,系统介绍 SQLite 的测试体系:多种测试方法(TCL 测试、模糊测试、回归测试、静态分析等)和海量测试用例,展示了这个小型开源项目如何靠极致测试获得…
编程与软件工程上首页 8 次 · 2009–2025sqlite.org编辑精选高级编程语言(2009)
Advanced programming languages (2009)
Matt Might 的经典文章,按用途推荐“高级编程语言”:如果追求就业就选主流语言,如果追求表达力、学术研究或创业,则推荐 Haskell、OCaml、Scala 等函数式语…
编程与软件工程上首页 8 次 · 2009–2022matt.might.net我的 Forth 与栈机器经历
Yosefk - My history with Forth & stack machines
作者以亲身经历回顾了使用 Forth 语言和栈式机器的历程:既赞叹其简洁优雅、代码量小、可自举的优点,也坦率指出栈操作在实际编程中的痛苦,以及 Forth 社区文化中的问题。
编程与软件工程上首页 8 次 · 2010–2024yosefk.com编辑精选