第 1章 1

1.1簡介 2

1.2表示的數據類型 3

1.3FileSet和File 6

1.4解析 7

1.5位置信息 10

1.6小結 11

第 2章基礎字面值 13

2.1基礎字面值的定義 13

2.2基礎字面值的語法樹結構 15

2.3構造基礎字面值 16

2.4解析基礎字面值 17

2.5標識符字面值 18

2.6小結 19

第3章基礎表達式 21

3.1語法規範 21

3.2解析表達式 22

3.3求值表達式 25

3.4標識符：為表達式引入變量 26

3.5小結 28

第4章代碼結構 29

4.1目錄結構和包結構 29

4.2文件結構 30

4.3診斷語法樹 34

4.4小結 36

第5章通用聲明 39

5.1導入聲明 39

5.2類型聲明 42

5.3常量聲明 44

5.4變量聲明 46

5.5聲明分組 48

5.6小結 49

第6章函數聲明 51

6.1語法規範 51

6.2函數聲明和方法聲明 52

6.3參數列表和返回值列表 54

6.4小結 55

第7章復合類型 57

7.1語法規範 57

7.2基礎類型 58

7.3指針類型 61

7.4數組類型 63

7.5切片類型 66

7.6結構體類型 67

7.7映射類型 70

7.8管道類型 71

7.9函數類型 72

7.10接口類型 73

7.11小結 75

第8章更復雜的字面值 77

8.1語法規範 77

8.2函數字面值 78

8.3復合字面值的語法 80

8.4數組字面值和切片字面值 81

8.5結構體字面值 83

8.6映射字面值 85

8.7小結 86

第9章復合表達式 87

9.1表達式語法 87

9.2類型轉換和函數調用 88

9.3點選擇運算 90

9.4索引運算 91

9.5切片運算 92

9.6類型斷言 93

9.7小結 95

第 10章語句塊和語句 97

10.1語法規範 97

10.2空語句塊 98

10.3表達式語句 100

10.4返回語句 101

10.5聲明語句 103

10.6短聲明語句和多賦值語句 104

10.7if/else分支語句 106

10.8for循環 108

10.9類型斷言 111

10.10go語句和defer語句 113

10.11小結 114

第 11章類型檢查 115

11.1語義錯誤 115

11.2go/types包 116

11.3跨包的類型檢查 118

11.4小結 122

第 12章語義信息 123

12.1名字空間 123

12.2整體架構 127

12.3小結 128

第 13章靜態單賦值形式 129

13.1靜態單賦值簡介 129

13.2生成靜態單賦值 130

13.3靜態單賦值解釋執行 134

13.4go/ssa包的架構 136

13.5小結 138

第 14章凹語言 139

14.1Hello，凹語言 139

14.2訪問全局變量 144

14.3調用自定義函數 153

14.4四則運算 157

14.5分支控制 160

14.6導入函數 165

14.7小結 168

第 15章LLVM簡介 169

15.1背景介紹 169

15.2安裝LLVM 171

15.3printf函數 172

15.4簡單的四則運算 175

15.5比較運算 176

15.6分支與循環 177

15.7基本塊 180

15.8PHI指令 182

15.9有限循環 184

15.10小結 185

第 16章LLVM示例 187

16.1W語言 187

16.2W語言編譯器wcc的設計 189

16.3W語言編譯器wcc的實現 191

16.4W語言的代碼示例 198

16.5小結 200

後記 201