自制编程语言 pdf epub mobi txt 电子书下载在线阅读 2026

☆☆☆☆☆

出版者:人民邮电出版社作者:［日］前桥和弥出品人:图灵教育页数:396 译者:刘卓出版时间:2013-11 价格:79.00 装帧:平装 isbn号码:9787115333209 丛书系列:图灵程序设计丛书·自制系列

图书标签

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

具体描述

★ 只需编程基础

★ 从零开始自制编程语言

★ 支持面向对象、异常处理等高级机制

本书手把手地教读者用C语言制作两种编程语言：crowbar与Diksam。crowbar是运行分析树的无类型语言，Diksam是运行字节码的静态类型语言。这两种语言都具备四则运算、变量、条件分支、循环、函数定义、垃圾回收等功能，最终版则可以支持面向对象、异常处理等高级机制。所有源代码都提供下载，读者可以一边对照书中的说明一边调试源代码。这个过程对理解程序的运行机制十分有帮助。

本书适合有一定基础的程序员和编程语言爱好者阅读。

《代码的黎明：从零开始构建你的数字世界》你是否曾对软件的运作原理充满好奇，渴望亲手塑造数字世界的规则？你是否曾仰望那些精妙绝伦的编程语言，梦想着有一天也能创造出属于自己的表达方式？《代码的黎明》将带你踏上一段充满挑战与惊喜的旅程，深入探索编程语言的底层逻辑，从最基础的概念出发，逐步构建起一套属于你自己的、能够驾驭数字万物的工具。这本书并非一本普通的编程教程，它不直接教授你使用某种已有的语言编写特定功能的代码，而是聚焦于“语言本身”的构建过程。我们将剥离那些已经成熟的语法糖和高级抽象，回归到计算机理解指令的本质。通过这本书，你将学习到：第一部分：思维的基石——指令与状态的演进什么是“指令”？我们将从最简单的数学运算和逻辑判断出发，理解计算机是如何执行每一个细微的命令。你将学习如何定义不同类型的指令，以及它们在执行过程中对程序状态（也就是数据的变化）产生的影响。状态的涌现：程序的核心在于管理和改变数据。本书将深入探讨变量、数据结构（如列表、字典的雏形）是如何在内存中表示和操作的。你将理解“状态”的概念，以及它是如何随着指令的执行而不断演化的。控制流程的艺术：如何让程序根据不同的条件做出不同的反应？我们将会学习到条件判断（if-else）和循环（for, while）这些最基本的控制结构，它们是构建复杂逻辑的基石。你将理解如何通过巧妙地组合这些结构，来指导程序的执行路径。模块化的力量：为了应对日益增长的程序复杂性，我们需要将代码分解成更小的、可管理的单元。本书将介绍函数（或过程）的概念，学习如何封装一组指令，并使其可以被重复调用，从而提高代码的可读性和复用性。第二部分：语言的骨架——语法与解析的奥秘从文本到意义：计算机无法直接理解我们用自然语言写的句子，它需要一种结构化的方式来接收指令。你将学习如何设计一套语法规则，来规范代码的书写方式，例如如何界定一个语句的开始和结束，如何表示操作符和操作数。词法分析的魔法：计算机需要将输入的文本代码分解成有意义的“词元”（tokens），例如关键字、标识符、常量等。本书将介绍词法分析器的基本原理和实现方法，让你了解计算机如何“阅读”你的代码。语法解析的挑战：词元本身并不足以构成完整的指令。你需要一套规则来验证这些词元是否按照预设的语法结构组合在一起。我们将探讨解析器的作用，学习如何构建一个能够理解代码结构，并将其转化为计算机可以执行的内部表示（如抽象语法树）。抽象语法树（AST）： AST是理解代码结构的关键。你将学习如何将解析后的代码转化为一棵树状结构，这棵树能够清晰地反映代码的逻辑和层级关系，为后续的编译或解释奠定基础。第三部分：执行的引擎——编译与解释的抉择机器指令的诞生：计算机最终能够执行的是机器码，一种由二进制数字组成的低级指令。你将学习如何将高级语言的抽象概念“翻译”成低级的机器指令。这个过程涉及到代码的优化、寄存器的分配等复杂的计算机体系结构知识。编译器的演进：编译器是将源代码一次性翻译成可执行文件的过程。本书将介绍编译器的基本工作流程，包括前端（词法分析、语法分析、语义分析）和后端（代码生成、优化）的核心概念。解释器的灵活：解释器则是在运行时逐行翻译和执行代码。你将了解解释器的优势和劣势，以及如何设计一个简单的解释器来执行你创建的语言。虚拟机与字节码：为了实现跨平台运行，许多现代语言都采用虚拟机和字节码的方案。你将初步接触这些概念，理解它们是如何在不同的硬件和操作系统上提供一个统一的执行环境的。第四部分：语言的灵魂——内存管理与错误处理内存的分配与回收：程序运行时需要使用内存来存储数据。你将学习不同的内存管理策略，例如栈分配、堆分配，以及如何处理内存泄漏等问题。垃圾回收的智慧：自动内存管理是许多现代语言的标志。我们将探讨垃圾回收的基本原理，以及它如何减轻程序员的负担。异常与错误的对抗：程序不可能永远运行在完美的条件下，错误是不可避免的。你将学习如何设计语言的错误处理机制，包括异常的抛出、捕获和处理，以提高程序的健壮性。类型系统的构建：类型系统能够帮助我们提前发现潜在的错误，并提高代码的安全性。你将了解不同类型的语言（静态类型、动态类型）在类型系统设计上的区别，以及如何为你的语言设计一个基础的类型系统。《代码的黎明》将为你带来：颠覆性的认知：彻底理解编程语言背后的原理，不再满足于“拿来主义”。强大的解决问题能力：面对复杂的编程挑战时，能够从根本上进行分析和设计。创造的自由：拥有设计和构建自己专属编程语言的能力，去探索更高效、更适合特定领域的表达方式。对计算机科学的深刻洞察：建立起对计算机科学领域更广泛的认识，为进一步学习操作系统、编译器设计等高级主题打下坚实基础。无论你是初学者，渴望深入理解编程的本质，还是有经验的开发者，希望拓展技术视野，《代码的黎明：从零开始构建你的数字世界》都将是你不可或缺的伙伴。准备好迎接这场智力与创造力的盛宴了吗？让我们一起，在代码的黎明中，点亮你的数字世界！

作者简介

作者简介：

前桥和弥（Maebasi Kazuya）

1969年出生，著有《征服C指针》、《彻底掌握C语言》、《Java之谜和陷阱》等。其一针见血的“毒舌”文风和对编程语言深刻的见地受到广大读者的欢迎。

作者主页：http://kmaebashi.com/。

译者简介：

刘卓

2004年开始从事对日软件开发工作，其间还从事技术及软件工程相关培训工作。自2011年开始从事电力行业产品研发。持续关注企业级应用架构和Web客户端技术。

徐谦

6年技术开发及项目经验，曾以技术工程师身份赴日本工作两年，后归国联合创办互联网公司，现居上海继续创业中。主要从事PHP方向的Web开发。热爱开源，曾向Zend Framework等知名PHP开源项目贡献代码，并于Github自主研发运维EvaThumber等开源项目获得国内社区认可。乐于分享技术心得，个人技术博客avnpc.com在国内PHP圈小有影响。

吴雅明

13年编程经验。其中7年专注于研发基于Java EE和.NET的开发框架以及基于UML 2.0模型的代码生成工具。目前正带领团队开发云计算PaaS平台及云计算自动化配置部署的系统。译著有《征服C指针》等。

目录信息

目　录
第1章　引子　　001
1.1 为什么要制作编程语言　　002
1.2 自制编程语言并不是很难　　003
1.3 本书的构成与面向读者　　004
1.4 用什么语言来制作　　006
1.5 要制作怎样的语言　　007
1.5.1 要设计怎样的语法　　007
1.5.2 要设计怎样的运行方式　　009
补充知识　“用户”指的是谁？　　012
补充知识　解释器并不会进行翻译　　012
1.6 环境搭建　　012
1.6.1 搭建开发环境　　012
补充知识关于bison与flex的安装　　014
1.6.2 本书涉及的源代码以及编译器　　015
第2章　试做一个计算器　　017
2.1 yacc/lex是什么　　018
补充知识　词法分析器与解析器是各自独立的　　019
2.2 试做一个计算器　　020
2.2.1 lex　　021
2.2.2 简单正则表达式讲座　　024
2.2.3 yacc　　026
2.2.4 生成执行文件　　033
2.2.5 理解冲突所代表的含义　　034
2.2.6 错误处理　　040
2.3 不借助工具编写计算器　　041
2.3.1 自制词法分析器　　041
补充知识　保留字（关键字）　　046
补充知识避免重复包含　　047
2.3.2 自制语法分析器　　048
补充知识预读记号的处理　　053
2.4 少许理论知识——LL(1)与LALR(1)　　054
补充知识 Pascal/C 中的语法处理诀窍　　056
2.5 习题：扩展计算器　　056
2.5.1 让计算器支持括号　　056
2.5.2 让计算器支持负数　　058
第3章　制作无类型语言crowbar　　061
3.1　制作crowbar ver.0.1语言的基础部分　　062
3.1.1 crowbar是什么　　062
3.1.2 程序的结构　　063
3.1.3 数据类型　　064
3.1.4 变量　　064
补充知识初次赋值兼做变量声明的理由　　066
补充说明各种语言的全局变量处理　　067
3.1.5 语句与结构控制　　067
补充知识 elif、elsif、elseif的选择　　068
3.1.6 语句与运算符　　069
3.1.7 内置函数　　069
3.1.8 让crowbar支持C 语言调用　　070
3.1.9 从crowbar中调用C 语言（内置函数的编写）　　071
3.2 预先准备　　071
3.2.1 模块与命名规则　　072
3.2.2 内存管理模块MEM　　073
补充知识 valgrind　　075
补充知识富翁式编程　　075
补充知识符号表与扣留操作　　076
3.2.3 调试模块DBG　　076
3.3 crowbar ver.0.1的实现　　077
3.3.1 crowbar的解释器——CRB_Interpreter　　077
补充知识不完全类型　　080
3.3.2 词法分析——crowbar.l　　081
补充知识静态变量的许可范围　　084
3.3.3 分析树的构建——crowbar.y 与create.c　　085
3.3.4 常量折叠　　089
3.3.5 错误信息　　089
补充知识关于crowbar中使用的枚举型定义　　091
3.3.6 运行——execute.c　　092
3.3.7 表达式评估——eval.c　　096
3.3.8 值——CRB_Value　　104
3.3.9 原生指针型　　105
3.3.10 变量　　106
3.3.11 字符串与垃圾回收机制——string_pool.c　　108
3.3.12 编译与运行　　110
第4章　数组和mark-sweep垃圾回收器　　113
4.1 crowbar ver.0.2　　114
4.1.1 crowbar的数组　　114
4.1.2 访问数组元素　　115
4.1.3 数组是一种引用类型　　116
补充知识　“数组的数组”和多维数组　　116
4.1.4 为数组添加元素　　118
4.1.5 增加( 模拟) 函数调用功能　　118
4.1.6 其他细节　　118
4.2 制作mark-sweep GC　　119
4.2.1 引用数据类型的结构　　119
4.2.2　mark-sweep GC　　121
补充知识引用和immutable　　123
4.2.3 crowbar栈　　124
4.2.4 其他根　　127
4.2.5 原生函数的形式参数　　128
4.3 实现GC 本身　　129
4.3.1 对象的管理方法　　129
4.3.2 GC 何时启动　　129
4.3.3 sweep阶段　　132
补充知识 GC 现存的问题　　133
补充知识 Coping GC　　134
4.4 其他修改　　136
4.4.1 修改语法　　136
4.4.2 函数的模拟　　137
4.4.3 左值的处理　　139
4.4.4 创建数组和原生函数的书写方法　　142
4.4.5 原生指针类型的修改　　144
第5章　中文支持和Unicode　　147
5.1 中文支持策略和基础知识　　148
5.1.1 现存问题　　148
5.1.2 宽字符（双字节）串和多字节字符串　　149
补充知识 wchar_t 肯定能表示1 个字符吗？　　150
5.1.3 多字节字符/ 宽字符之间的转换函数群　　150
5.2 Unicode　　153
5.2.1 Unicode的历史　　153
5.2.2 Unicode的编码方式　　154
补充知识 Unicode可以固定（字节）长度吗？　　156
5.3 crowbar book_ver.0.3的实现　　156
5.3.1 要实现到什么程度？　　156
5.3.2 发起转换的时机　　157
5.3.3 关于区域设置　　158
5.3.4 解决0x5C问题　　158
补充知识失败的 #ifdef　　160
5.3.5 应该是什么样子　　160
补充知识还可以是别的样子——Code Set Independent　　161
第6章　制作静态类型的语言Diksam　　163
6.1 制作Diksam Ver 0.1语言的基本部分　　164
6.1.1 Diksam的运行状态　　164
6.1.2 什么是Diksam　　165
6.1.3 程序结构　　165
6.1.4 数据类型　　166
6.1.5 变量　　166
6.1.6 语句和流程控制　　167
6.1.7 表达式　　167
6.1.8 内建函数　　168
6.1.9 其他　　168
6.2 什么是静态的/ 执行字节码的语言　　169
6.2.1 静态类型的语言　　169
6.2.2 什么是字节码　　169
6.2.3 将表达式转换为字节码　　170
6.2.4 将控制结构转换为字节码　　173
6.2.5 函数的实现　　173
6.3 Diksam ver.0.1的实现——编译篇　　175
6.3.1 目录结构　　175
6.3.2 编译的概要　　176
6.3.3 构建分析树（create.c）　　176
6.3.4 修正分析树（fix_tree.c）　　179
6.3.5 Diksam的运行形式——DVM_Executable　　185
6.3.6 常量池　　186
补充知识 YARV 的情况　　187
6.3.7 全局变量　　188
6.3.8 函数　　189
6.3.9 顶层结构的字节码　　189
6.3.10 行号对应表　　190
6.3.11 栈的需要量　　190
6.3.12 生成字节码（generate.c）　　191
6.3.13 生成实际的编码　　193
6.4 Diksam虚拟机　　197
6.4.1 加载/ 链接DVM_Executable到DVM　　200
6.4.2 执行——巨大的switch case　　202
6.4.3 函数调用　　204
第7章　为Diksam引入数组　　207
7.1 Diksam中数组的设计　　208
7.1.1 声明数组类型的变量　　208
7.1.2 数组常量　　209
补充知识 D 语言的数组　　210
7.2 修改编译器　　210
7.2.1 数组的语法规则　　210
7.2.2 TypeSpecifier结构体　　212
7.3 修改DVM　　213
7.3.1 增加指令　　213
补充知识创建Java 的数组常量　　215
补充知识 C 语言中数组的初始化　　217
7.3.2 对象　　217
补充知识 ArrayStoreException　　218
7.3.3 增加null　　219
7.3.4 哎! 还缺点什么吧？　　219
第8章　将类引入Diksam　　221
8.1 分割源文件　　222
8.1.1 包和分割源代码　　222
补充知识 #include、文件名、行号　　225
8.1.2 DVM_ExecutableList　　225
8.1.3 ExecutableEntry　　226
8.1.4 分开编译源代码　　227
8.1.5 加载和再链接　　230
补充知识动态加载时的编译器　　233
8.2 设计Diksam中的类　　233
8.2.1 超简单的面向对象入门　　233
8.2.2 类的定义和实例创建　　237
8.2.3 继承　　239
8.2.4 关于接口　　241
8.2.5 编译与接口　　242
8.2.6 Diksam怎么会设计成这样？　　243
8.2.7 数组和字符串的方法　　245
8.2.8 检查类的类型　　246
8.2.9 向下转型　　246
8.3 关于类的实现——继承和多态　　247
8.3.1 字段的内存布局　　247
8.3.2 多态——以单继承为前提　　249
8.3.3 多继承——C++　　250
8.3.4 Diksam的多继承　　252
补充知识无类型语言中的继承　　254
8.3.5 重写的条件　　254
8.4 关于类的实现　　256
8.4.1 语法规则　　256
8.4.2 编译时的数据结构　　258
8.4.3 DVM_Executable中的数据结构　　260
8.4.4 与类有关的指令　　262
补充知识方法调用、括号和方法指针　　263
8.4.5 方法调用　　264
8.4.6 super　　266
8.4.7 类的链接　　266
8.4.8 实现数组和字符串的方法　　267
8.4.9 类型检查和向下转型　　267
补充知识对象终结器（finalizer）和析构函数（destructor）　　268
第9章　应用篇　　271
9.1 为crowbar引入对象和闭包　　272
9.1.1 crowbar的对象　　272
9.1.2 对象实现　　273
9.1.3 闭包　　274
9.1.4 方法　　276
9.1.5 闭包的实现　　278
9.1.6 试着跟踪程序实际执行时的轨迹　　281
9.1.7 闭包的语法规则　　284
9.1.8 普通函数　　284
9.1.9 模拟方法（修改版）　　285
9.1.10 基于原型的面向对象　　286
9.2 异常处理机制　　286
9.2.1 为crowbar引入异常　　286
9.2.2 setjmp()/longjmp()　　289
补充知识 Java 和C# 异常处理的不同　　293
9.2.3 为Diksam引入异常　　295
补充知识 catch 的编写方法　　296
9.2.4 异常的数据结构　　297
9.2.5 异常处理时生成的字节码299
9.2.6 受查异常　　301
补充知识受查异常的是与非 303
补充知识异常处理本身的是与非　　304
9.3 构建脚本　　305
9.3.1 基本思路　　306
9.3.2 YY_INPUT　　307
9.3.3 Diksam的构建脚本　　308
9.3.4 三次加载/ 链接　　308
9.4 为crowbar引入鬼车　　309
9.4.1 关于“鬼车”　　309
9.4.2 正则表达式常量　　310
9.4.3 正则表达式的相关函数　　311
9.5 其他　　312
9.5.1 foreach 和迭代器（crowbar）　　312
9.5.2 switch case（Diksam)　　314
9.5.3 enum（Diksam）　　315
9.5.4 delegate（Diksam）　　316
9.5.5 final、const（Diksam）　　319
附录A 　crowbar语言的设计　　322
附录B 　Diksam语言的设计　　336
附录C 　Diksam Virtual Machine 指令集　　359
编程语言实用化指南——写在最后　　369
参考文献　　375
· · · · · · (收起)

读后感

☆☆☆☆☆

（原帖发在ItEye的HLLVM群组，地址：http://hllvm.group.iteye.com/group/topic/39194）一点历史几年前日本流行过一段时间「俺言語」「オレオレ言語」「OreScript」（自制语言）潮。Ruby作为编程语言的成功普及对这个潮流有很大推动作用。本书便是在此背景下诞生的。作...

☆☆☆☆☆

同事买了一本，我借过来翻了几天看完了。这本书的内容正如书名和我的标题，就是作者自己设计与实现语言。本书包含的两门语言都是玩具式的。跟实现一门实用的编程语言（类似于C或者Perl那种）之间还是有不小的差距。而且两门语言的实现都是解释执行的，只不过第一门是一个赤果...

☆☆☆☆☆

用户评价

☆☆☆☆☆

我是一名有着几年编程经验的开发者，虽然我熟练掌握了几门主流的编程语言，比如 Python 和 Java，但我总觉得自己的知识体系还不够完整。我渴望了解编程语言的“幕后故事”，比如它们是如何被设计出来的，又是如何被翻译成机器能够理解的指令的。《自制编程语言》这个书名，立刻吸引了我的注意。我猜想，这本书可能会从计算机科学的基础理论讲起，然后循序渐进地介绍构建一门编程语言所需要的各个模块，例如词法分析器、语法分析器、语义分析器、代码生成器等。我特别希望能看到书中对于不同类型的编程范式，比如命令式、函数式、面向对象式等，是如何在语言设计中体现出来的。如果书中还能涉及到一些编译器优化技术，或者解释器的实现细节，那就更完美了。我期望这本书能够帮助我打破对编程语言的“黑盒”认知，让我能够更深入地理解计算机的工作原理，甚至在未来的项目中，能够基于现有技术，进行一些语言层面的创新，比如开发DSL，或者对现有的语言进行扩展。

☆☆☆☆☆

我一直认为，理解一门编程语言的本质，就是理解它如何处理信息、如何进行计算。最近我在思考，如果让我来设计一门编程语言，我会关注哪些方面？比如，我希望它能更易于并发，或者更擅长处理数据流。《自制编程语言》这本书的书名，就像是为我的这种思考提供了一个方向。我猜测，这本书可能会从语言的设计哲学出发，探讨不同的设计选择会带来什么样的影响。也许书中会介绍如何设计一种新的数据类型，或者如何实现一种新的控制流结构。我特别希望能够看到书中对于内存管理、垃圾回收机制的讲解，以及如何设计高效的运行时环境。如果书中还能讨论如何为一门语言设计一套丰富的标准库，或者如何实现一个插件系统，那就更棒了。我希望通过阅读这本书，我能更具象化地理解“创造”一门编程语言的过程，并且能够将我的想法付诸实践，甚至在一些小项目中，尝试构建一些具有特定功能的语言。

☆☆☆☆☆

我一直对编程语言的底层原理充满好奇，总觉得理解它们是如何工作的，能帮助我写出更高效、更优雅的代码。当我在书店看到《自制编程语言》这本书时，眼睛瞬间就亮了。这本书的书名就直接击中了我的痛点，我渴望能有一本能够深入浅出地讲解如何从零开始构建一门编程语言的书籍。我脑海中浮现出各种可能性：也许这本书会带领我一步步剖析解析器、编译器的工作流程，也许会介绍各种抽象语法树的构建方法，甚至可能触及到虚拟机或者解释器的设计。我设想，通过这本书的学习，我不仅能更深刻地理解现有的编程语言，还能在未来的项目开发中，根据实际需求，创造出属于自己的、更具针对性的 DSL（领域特定语言），极大地提升开发效率和代码的可读性。这本书在我心中承载着一种“创造”的希望，让我对编程世界的探索又增添了新的维度。我期待着它能为我打开一扇通往更深层编程知识的大门，让我不再满足于仅仅使用语言，而是能够理解、甚至重塑它。

☆☆☆☆☆

最近我在研究函数式编程，感觉这种编程范式非常有意思，能写出简洁而强大的代码。但是，要真正用好函数式编程，可能需要对编程语言的设计有更深的理解，比如它如何支持高阶函数、闭包、不可变数据结构等等。《自制编程语言》这个书名，让我觉得这本书也许能提供一个从更底层的角度来理解这些概念的途径。我设想，这本书可能会从如何定义语言的语法开始，比如使用BNF范式，然后讲解如何构建解析器来解析源代码。之后，可能会深入到如何处理语言的语义，包括类型检查、变量绑定等。我尤其期待书中能够详细讲解如何实现一个简单的编译器，将源代码转换成目标代码，或者如何实现一个解释器，直接执行源代码。如果书中能够展示如何为一门语言添加一些函数式编程的特性，那将对我非常有启发。我希望通过这本书的学习，能够不仅在理论上理解函数式编程，还能在实践中，更深刻地体会到语言设计对编程范式的影响。

☆☆☆☆☆

说实话，我最近在学习一个新兴的编程语言，感觉它在某些方面设计得非常巧妙，但同时又觉得有些地方可以改进。这让我产生了一个想法：如果我能自己动手设计一门语言，是不是就能更好地表达我的编程哲学，或者解决我在特定领域遇到的问题？《自制编程语言》这本书的书名，恰好和我这个想法不谋而合。我希望这本书能够提供一套完整的、可操作的指南，从最基础的概念开始，比如词法分析、语法分析，到更复杂的语义分析、代码生成，甚至是优化技术。我猜想，书中应该会包含大量的代码示例，能够让我边学边练，将理论知识转化为实际的编程技能。我特别期待书中能够讲解如何处理变量作用域、类型系统、错误处理等核心问题，这些都是一门健壮编程语言的关键要素。如果这本书能教会我如何一步步构建一个可执行的程序，那将是对我编程能力的极大提升。它就像是一份“编程语言制造手册”，让我有机会从“使用者”转变为“创造者”，这本身就充满了令人兴奋的可能性。

☆☆☆☆☆

玩具式语言,代码质量一般.如果是初学者会比较合适..

☆☆☆☆☆

有些部分真的翻译得莫名其妙。好歹把一些专业名词翻对吧= =

☆☆☆☆☆

已暂停，只读了一章，觉得受益匪浅。编译器原理，待我再积累一段时间，重新再战。

☆☆☆☆☆

主要介绍如何自己制作编程语言。文中介绍两种语言，一种是动态无类型，一种是静态的。觉得本书作者在陈述自己设计方面欠缺功底，看后不容易理解。而且设计的两个语言太过大，不适合初学者学习。