自制編程語言

第1章 　引子　　001
1.1 為什么要制作編程語言　　002
1.2 自制編程語言并不是很難　　003
1.3 本書的構(gòu)成與面向讀者　　004
1.4 用什么語言來制作　　006
1.5 要制作怎樣的語言　　007
1.5.1 要設(shè)計怎樣的語法　　007
1.5.2 要設(shè)計怎樣的運行方式　　009
補充知識 　“用戶”指的是誰？　　012
補充知識 　解釋器并不會進行翻譯　　012
1.6 環(huán)境搭建　　012
1.6.1 搭建開發(fā)環(huán)境　　012
補充知識 關(guān)于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 生成執(zhí)行文件　　033
2.2.5 理解沖突所代表的含義　　034
2.2.6 錯誤處理　　040
2.3 不借助工具編寫計算器　　041
2.3.1 自制詞法分析器　　041
補充知識 　保留字（關(guān)鍵字）　　046
補充知識 避免重復(fù)包含　　047
2.3.2 自制語法分析器　　048
補充知識 預(yù)讀記號的處理　　053
2.4 少許理論知識——LL(1)與LALR(1)　　054
補充知識 Pascal/C 中的語法處理訣竅　　056
2.5 習(xí)題：擴展計算器　　056
2.5.1 讓計算器支持括號　　056
2.5.2 讓計算器支持負(fù)數(shù)　　058
第3章 　制作無類型語言crowbar　　061
3.1　制作crowbar ver.0.1語言的基礎(chǔ)部分　　062
3.1.1 crowbar是什么　　062
3.1.2 程序的結(jié)構(gòu)　　063
3.1.3 數(shù)據(jù)類型　　064
3.1.4 變量　　064
補充知識 初次賦值兼做變量聲明的理由　　066
補充說明 各種語言的全局變量處理　　067
3.1.5 語句與結(jié)構(gòu)控制　　067
補充知識 elif、elsif、elseif的選擇　　068
3.1.6 語句與運算符　　069
3.1.7 內(nèi)置函數(shù)　　069
3.1.8 讓crowbar支持C 語言調(diào)用　　070
3.1.9 從crowbar中調(diào)用C 語言（內(nèi)置函數(shù)的編寫）　　071
3.2 預(yù)先準(zhǔn)備　　071
3.2.1 模塊與命名規(guī)則　　072
3.2.2 內(nèi)存管理模塊MEM　　073
補充知識 valgrind　　075
補充知識 富翁式編程　　075
補充知識 符號表與扣留操作　　076
3.2.3 調(diào)試模塊DBG　　076
3.3 crowbar ver.0.1的實現(xiàn)　　077
3.3.1 crowbar的解釋器——CRB_Interpreter　　077
補充知識 不完全類型　　080
3.3.2 詞法分析——crowbar.l　　081
補充知識 靜態(tài)變量的許可范圍　　084
3.3.3 分析樹的構(gòu)建——crowbar.y 與create.c　　085
3.3.4 常量折疊　　089
3.3.5 錯誤信息　　089
補充知識 關(guān)于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章 　數(shù)組和mark-sweep垃圾回收器　　113
4.1 crowbar ver.0.2　　114
4.1.1 crowbar的數(shù)組　　114
4.1.2 訪問數(shù)組元素　　115
4.1.3 數(shù)組是一種引用類型　　116
補充知識 　“數(shù)組的數(shù)組”和多維數(shù)組　　116
4.1.4 為數(shù)組添加元素　　118
4.1.5 增加( 模擬) 函數(shù)調(diào)用功能　　118
4.1.6 其他細節(jié)　　118
4.2 制作mark-sweep GC　　119
4.2.1 引用數(shù)據(jù)類型的結(jié)構(gòu)　　119
4.2.2　mark-sweep GC　　121
補充知識 引用和immutable　　123
4.2.3 crowbar?！　?24
4.2.4 其他根　　127
4.2.5 原生函數(shù)的形式參數(shù)　　128
4.3 實現(xiàn)GC 本身　　129
4.3.1 對象的管理方法　　129
4.3.2 GC 何時啟動　　129
4.3.3 sweep階段　　132
補充知識 GC 現(xiàn)存的問題　　133
補充知識 Coping GC　　134
4.4 其他修改　　136
4.4.1 修改語法　　136
4.4.2 函數(shù)的模擬　　137
4.4.3 左值的處理　　139
4.4.4 創(chuàng)建數(shù)組和原生函數(shù)的書寫方法　　142
4.4.5 原生指針類型的修改　　144
第5章 　中文支持和Unicode　　147
5.1 中文支持策略和基礎(chǔ)知識　　148
5.1.1 現(xiàn)存問題　　148
5.1.2 寬字符（雙字節(jié)）串和多字節(jié)字符串　　149
補充知識 wchar_t 肯定能表示1 個字符嗎？　　150
5.1.3 多字節(jié)字符/ 寬字符之間的轉(zhuǎn)換函數(shù)群　　150
5.2 Unicode　　153
5.2.1 Unicode的歷史　　153
5.2.2 Unicode的編碼方式　　154
補充知識 Unicode可以固定（字節(jié)）長度嗎？　　156
5.3 crowbar book_ver.0.3的實現(xiàn)　　156
5.3.1 要實現(xiàn)到什么程度？　　156
5.3.2 發(fā)起轉(zhuǎn)換的時機　　157
5.3.3 關(guān)于區(qū)域設(shè)置　　158
5.3.4 解決0x5C問題　　158
補充知識 失敗的 #ifdef　　160
5.3.5 應(yīng)該是什么樣子　　160
補充知識 還可以是別的樣子——Code Set Independent　　161
第6章 　制作靜態(tài)類型的語言Diksam　　163
6.1 制作Diksam Ver 0.1語言的基本部分　　164
6.1.1 Diksam的運行狀態(tài)　　164
6.1.2 什么是Diksam　　165
6.1.3 程序結(jié)構(gòu)　　165
6.1.4 數(shù)據(jù)類型　　166
6.1.5 變量　　166
6.1.6 語句和流程控制　　167
6.1.7 表達式　　167
6.1.8 內(nèi)建函數(shù)　　168
6.1.9 其他　　168
6.2 什么是靜態(tài)的/ 執(zhí)行字節(jié)碼的語言　　169
6.2.1 靜態(tài)類型的語言　　169
6.2.2 什么是字節(jié)碼　　169
6.2.3 將表達式轉(zhuǎn)換為字節(jié)碼　　170
6.2.4 將控制結(jié)構(gòu)轉(zhuǎn)換為字節(jié)碼　　173
6.2.5 函數(shù)的實現(xiàn)　　173
6.3 Diksam ver.0.1的實現(xiàn)——編譯篇　　175
6.3.1 目錄結(jié)構(gòu)　　175
6.3.2 編譯的概要　　176
6.3.3 構(gòu)建分析樹（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 函數(shù)　　189
6.3.9 頂層結(jié)構(gòu)的字節(jié)碼　　189
6.3.10 行號對應(yīng)表　　190
6.3.11 棧的需要量　　190
6.3.12 生成字節(jié)碼（generate.c）　　191
6.3.13 生成實際的編碼　　193
6.4 Diksam虛擬機　　197
6.4.1 加載/ 鏈接DVM_Executable到DVM　　200
6.4.2 執(zhí)行——巨大的switch case　　202
6.4.3 函數(shù)調(diào)用　　204
第7章 　為Diksam引入數(shù)組　　207
7.1 Diksam中數(shù)組的設(shè)計　　208
7.1.1 聲明數(shù)組類型的變量　　208
7.1.2 數(shù)組常量　　209
補充知識 D 語言的數(shù)組　　210
7.2 修改編譯器　　210
7.2.1 數(shù)組的語法規(guī)則　　210
7.2.2 TypeSpecifier結(jié)構(gòu)體　　212
7.3 修改DVM　　213
7.3.1 增加指令　　213
補充知識 創(chuàng)建Java 的數(shù)組常量　　215
補充知識 C 語言中數(shù)組的初始化　　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
補充知識 動態(tài)加載時的編譯器　　233
8.2 設(shè)計Diksam中的類　　233
8.2.1 超簡單的面向?qū)ο笕腴T　　233
8.2.2 類的定義和實例創(chuàng)建　　237
8.2.3 繼承　　239
8.2.4 關(guān)于接口　　241
8.2.5 編譯與接口　　242
8.2.6 Diksam怎么會設(shè)計成這樣？　　243
8.2.7 數(shù)組和字符串的方法　　245
8.2.8 檢查類的類型　　246
8.2.9 向下轉(zhuǎn)型　　246
8.3 關(guān)于類的實現(xiàn)——繼承和多態(tài)　　247
8.3.1 字段的內(nèi)存布局　　247
8.3.2 多態(tài)——以單繼承為前提　　249
8.3.3 多繼承——C++　　250
8.3.4 Diksam的多繼承　　252
補充知識 無類型語言中的繼承　　254
8.3.5 重寫的條件　　254
8.4 關(guān)于類的實現(xiàn)　　256
8.4.1 語法規(guī)則　　256
8.4.2 編譯時的數(shù)據(jù)結(jié)構(gòu)　　258
8.4.3 DVM_Executable中的數(shù)據(jù)結(jié)構(gòu)　　260
8.4.4 與類有關(guān)的指令　　262
補充知識 方法調(diào)用、括號和方法指針　　263
8.4.5 方法調(diào)用　　264
8.4.6 super　　266
8.4.7 類的鏈接　　266
8.4.8 實現(xiàn)數(shù)組和字符串的方法　　267
8.4.9 類型檢查和向下轉(zhuǎn)型　　267
補充知識 對象終結(jié)器（finalizer）和析構(gòu)函數(shù)（destructor）　　268
第9章 　應(yīng)用篇　　271
9.1 為crowbar引入對象和閉包　　272
9.1.1 crowbar的對象　　272
9.1.2 對象實現(xiàn)　　273
9.1.3 閉包　　274
9.1.4 方法　　276
9.1.5 閉包的實現(xiàn)　　278
9.1.6 試著跟蹤程序?qū)嶋H執(zhí)行時的軌跡　　281
9.1.7 閉包的語法規(guī)則　　284
9.1.8 普通函數(shù)　　284
9.1.9 模擬方法（修改版）　　285
9.1.10 基于原型的面向?qū)ο蟆　?86
9.2 異常處理機制　　286
9.2.1 為crowbar引入異?！　?86
9.2.2 setjmp()/longjmp()　　289
補充知識 Java 和C# 異常處理的不同　　293
9.2.3 為Diksam引入異?！　?95
補充知識 catch 的編寫方法　　296
9.2.4 異常的數(shù)據(jù)結(jié)構(gòu)　　297
9.2.5 異常處理時生成的字節(jié)碼299
9.2.6 受查異常　　301
補充知識 受查異常的是與非 303
補充知識 異常處理本身的是與非　　304
9.3 構(gòu)建腳本　　305
9.3.1 基本思路　　306
9.3.2 YY_INPUT　　307
9.3.3 Diksam的構(gòu)建腳本　　308
9.3.4 三次加載/ 鏈接　　308
9.4 為crowbar引入鬼車　　309
9.4.1 關(guān)于“鬼車”　　309
9.4.2 正則表達式常量　　310
9.4.3 正則表達式的相關(guān)函數(shù)　　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語言的設(shè)計　　322
附錄B 　Diksam語言的設(shè)計　　336
附錄C 　Diksam Virtual Machine 指令集　　359
編程語言實用化指南——寫在最后　　369
參考文獻　　375