第 1章 词法单元 1
1．1 词法单元简介 2
1．2 表示词法单元的数据类型 3
1．3 FileSet和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．7 if/else分支语句 106
10．8 for循环 108
10．9 类型断言 111
10．10 go语句和defer语句 113
10．11 小结 114
第 11章 类型检查 115
11．1 语义错误 115
11．2 go/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．4 go/ssa包的架构 136
13．5 小结 138
第 14章 凹语言 139
14．1 Hello，凹语言 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．3 printf函数 172
15．4 简单的四则运算 175
15．5 比较运算 176
15．6 分支与循环 177
15．7 基本块 180
15．8 PHI指令 182
15．9 有限循环 184
15．10 小结 185
第 16章 LLVM示例 187
16．1 W语言 187
16．2 W语言编译器wcc的设计 189
16．3 W语言编译器wcc的实现 191
16．4 W语言的代码示例 198
16．5 小结 200
后记 201
展开
