自制編程語言

第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
補(bǔ)充知識 　“用戶”指的是誰？　　012
補(bǔ)充知識 　解釋器并不會進(jìn)行翻譯　　012
1.6 環(huán)境搭建　　012
1.6.1 搭建開發(fā)環(huán)境　　012
補(bǔ)充知識 關(guān)于bison與flex的安裝　　014
1.6.2 本書涉及的源代碼以及編譯器　　015
第2章 　試做一個計算器　　017
2.1 yacc/lex是什么　　018
補(bǔ)充知識 　詞法分析器與解析器是各自獨立的　　019
2.2 試做一個計算器　　020
2.2.1 lex　　021
2.2.2 簡單正則表達(dá)式講座　　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
補(bǔ)充知識 　保留字（關(guān)鍵字）　　046
補(bǔ)充知識 避免重復(fù)包含　　047
2.3.2 自制語法分析器　　048
補(bǔ)充知識 預(yù)讀記號的處理　　053
2.4 少許理論知識——LL(1)與LALR(1)　　054
補(bǔ)充知識 Pascal/C 中的語法處理訣竅　　056
2.5 習(xí)題：擴(kuò)展計算器　　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
補(bǔ)充知識 初次賦值兼做變量聲明的理由　　066
補(bǔ)充說明 各種語言的全局變量處理　　067
3.1.5 語句與結(jié)構(gòu)控制　　067
補(bǔ)充知識 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
補(bǔ)充知識 valgrind　　075
補(bǔ)充知識 富翁式編程　　075
補(bǔ)充知識 符號表與扣留操作　　076
3.2.3 調(diào)試模塊DBG　　076
3.3 crowbar ver.0.1的實現(xiàn)　　077
3.3.1 crowbar的解釋器——CRB_Interpreter　　077
補(bǔ)充知識 不完全類型　　080
3.3.2 詞法分析——crowbar.l　　081
補(bǔ)充知識 靜態(tài)變量的許可范圍　　084
3.3.3 分析樹的構(gòu)建——crowbar.y 與create.c　　085
3.3.4 常量折疊　　089
3.3.5 錯誤信息　　089
補(bǔ)充知識 關(guān)于crowbar中使用的枚舉型定義　　091
3.3.6 運行——execute.c　　092
3.3.7 表達(dá)式評估——eval.c　　096
3.3.8 值——CRB_Value　　104
3.3.9 原生指針型　　105
3.3.10 變量　　106
3.3.11 字符串與垃圾回收機(jī)制——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
補(bǔ)充知識 　“數(shù)組的數(shù)組”和多維數(shù)組　　116
4.1.4 為數(shù)組添加元素　　118
4.1.5 增加( 模擬) 函數(shù)調(diào)用功能　　118
4.1.6 其他細(xì)節(jié)　　118
4.2 制作mark-sweep GC　　119
4.2.1 引用數(shù)據(jù)類型的結(jié)構(gòu)　　119
4.2.2　mark-sweep GC　　121
補(bǔ)充知識 引用和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
補(bǔ)充知識 GC 現(xiàn)存的問題　　133
補(bǔ)充知識 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
補(bǔ)充知識 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
補(bǔ)充知識 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)換的時機(jī)　　157
5.3.3 關(guān)于區(qū)域設(shè)置　　158
5.3.4 解決0x5C問題　　158
補(bǔ)充知識 失敗的 #ifdef　　160
5.3.5 應(yīng)該是什么樣子　　160
補(bǔ)充知識 還可以是別的樣子——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 表達(dá)式　　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 將表達(dá)式轉(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
補(bǔ)充知識 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虛擬機(jī)　　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
補(bǔ)充知識 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
補(bǔ)充知識 創(chuàng)建Java 的數(shù)組常量　　215
補(bǔ)充知識 C 語言中數(shù)組的初始化　　217
7.3.2 對象　　217
補(bǔ)充知識 ArrayStoreException　　218
7.3.3 增加null　　219
7.3.4 哎! 還缺點什么吧？　　219
第8章 　將類引入Diksam　　221
8.1 分割源文件　　222
8.1.1 包和分割源代碼　　222
補(bǔ)充知識 #include、文件名、行號　　225
8.1.2 DVM_ExecutableList　　225
8.1.3 ExecutableEntry　　226
8.1.4 分開編譯源代碼　　227
8.1.5 加載和再鏈接　　230
補(bǔ)充知識 動態(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
補(bǔ)充知識 無類型語言中的繼承　　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
補(bǔ)充知識 方法調(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
補(bǔ)充知識 對象終結(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 異常處理機(jī)制　　286
9.2.1 為crowbar引入異?！　?86
9.2.2 setjmp()/longjmp()　　289
補(bǔ)充知識 Java 和C# 異常處理的不同　　293
9.2.3 為Diksam引入異?！　?95
補(bǔ)充知識 catch 的編寫方法　　296
9.2.4 異常的數(shù)據(jù)結(jié)構(gòu)　　297
9.2.5 異常處理時生成的字節(jié)碼299
9.2.6 受查異?！　?01
補(bǔ)充知識 受查異常的是與非 303
補(bǔ)充知識 異常處理本身的是與非　　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 正則表達(dá)式常量　　310
9.4.3 正則表達(dá)式的相關(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
參考文獻(xiàn)　　375