(C#)CSharp Language Specification 1.2 C# 语言规范1.2 中文版
1. 简介 1
1.1 Hello world 1
1.2 程序结构 2
1.3 类型和变量 4
1.4 表达式 6
1.5 语句 8
1.6 类和对象 11
1.6.1 成员 12
1.6.2 可访问性 12
1.6.3 基类 13
1.6.4 字段 13
1.6.5 方法 14
1.6.5.1 参数 14
1.6.5.2 方法体和局部变量 15
1.6.5.3 静态方法和实例方法 16
1.6.5.4 虚方法、重写方法和抽象方法 17
1.6.5.5 方法重载 19
1.6.6 其他函数成员 20
1.6.6.1 构造函数 21
1.6.6.2 属性 21
1.6.6.3 索引器 22
1.6.6.4 事件 22
1.6.6.5 运算符 23
1.6.6.6 析构函数 23
1.7 结构 24
1.8 数组 25
1.9 接口 26
1.10 枚举 27
1.11 委托 28
1.12 属性 29
2. 词法结构 31
2.1 程序 31
2.2 文法 31
2.2.1 文法表示法 31
2.2.2 词法文法 32
2.2.3 句法文法 32
2.3 词法分析 32
2.3.1 行结束符 33
2.3.2 注释 33
2.3.3 空白 35
2.4 标记 35
2.4.1 Unicode 字符转义序列 35
2.4.2 标识符 36
2.4.3 关键字 38
2.4.4 文本 38
2.4.4.1 布尔值 38
2.4.4.2 整数 38
2.4.4.3 实数 40
2.4.4.4 字符 40
2.4.4.5 字符串 41
2.4.4.6 空文本 43
2.4.5 运算符和标点符号 43
2.5 预处理指令 43
2.5.1 条件编译符号 44
2.5.2 预处理表达式 45
2.5.3 声明指令 45
2.5.4 条件编译指令 46
2.5.5 诊断指令 49
2.5.6 区域指令 49
2.5.7 行指令 50
3. 基本概念 51
3.1 应用程序启动 51
3.2 应用程序终止 52
3.3 声明 52
3.4 成员 54
3.4.1 命名空间成员 54
3.4.2 结构成员 54
3.4.3 枚举成员 55
3.4.4 类成员 55
3.4.5 接口成员 55
3.4.6 数组成员 55
3.4.7 委托成员 55
3.5 成员访问 56
3.5.1 已声明可访问性 56
3.5.2 可访问域 57
3.5.3 实例成员的受保护访问 59
3.5.4 可访问性约束 59
3.6 签名和重载 60
3.7 范围 61
3.7.1 名称隐藏 63
3.7.1.1 通过嵌套隐藏 63
3.7.1.2 通过继承隐藏 64
3.8 命名空间和类型名称 65
3.8.1 完全限定名 66
3.9 自动内存管理 67
3.10 执行顺序 69
4. 类型 71
4.1 值类型 71
4.1.1 System.ValueType 类型 72
4.1.2 默认构造函数 72
4.1.3 结构类型 73
4.1.4 简单类型 73
4.1.5 整型 74
4.1.6 浮点型 75
4.1.7 decimal 类型 76
4.1.8 bool 类型 76
4.1.9 枚举类型 77
4.2 引用类型 77
4.2.1 类类型 77
4.2.2 对象类型 78
4.2.3 string 类型 78
4.2.4 接口类型 78
4.2.5 数组类型 78
4.2.6 委托类型 78
4.3 装箱和拆箱 79
4.3.1 装箱转换 79
4.3.2 拆箱转换 80
5. 变量 81
5.1 变量类别 81
5.1.1 静态变量 81
5.1.2 实例变量 81
5.1.2.1 类中的实例变量 81
5.1.2.2 结构中的实例变量 82
5.1.3 数组元素 82
5.1.4 值参数 82
5.1.5 引用参数 82
5.1.6 输出参数 82
5.1.7 局部变量 83
5.2 默认值 83
5.3 明确赋值 84
5.3.1 初始已赋值变量 84
5.3.2 初始未赋值变量 85
5.3.3 确定明确赋值的细则 85
5.3.3.1 一般语句规则 85
5.3.3.2 块语句、checked 和 unchecked 语句 86
5.3.3.3 表达式语句 86
5.3.3.4 声明语句 86
5.3.3.5 if 语句 86
5.3.3.6 switch 语句 87
5.3.3.7 while 语句 87
5.3.3.8 do 语句 87
5.3.3.9 for 语句 87
5.3.3.10 break、continue 和 goto 语句 88
5.3.3.11 throw 语句 88
5.3.3.12 return 语句 88
5.3.3.13 try-catch 语句 88
5.3.3.14 try-finally 语句 88
5.3.3.15 try-catch-finally 语句 89
5.3.3.16 foreach 语句 90
5.3.3.17 using 语句 90
5.3.3.18 lock 语句 90
5.3.3.19 简单表达式的一般规则 90
5.3.3.20 带有嵌入表达式的表达式的一般规则 91
5.3.3.21 调用表达式和对象创建表达式 91
5.3.3.22 简单赋值表达式 91
5.3.3.23 && 表达式 92
5.3.3.24 || 表达式 92
5.3.3.25 ! 表达式 93
5.3.3.26 ?: 表达式 93
5.4 变量引用 94
5.5 变量引用的原子性 94
6. 转换 95
6.1 隐式转换 95
6.1.1 标识转换 95
6.1.2 隐式数值转换 95
6.1.3 隐式枚举转换 96
6.1.4 隐式引用转换 96
6.1.5 装箱转换 97
6.1.6 隐式常量表达式转换 97
6.1.7 用户定义的隐式转换 97
6.2 显式转换 97
6.2.1 显式数值转换 97
6.2.2 显式枚举转换 99
6.2.3 显式引用转换 99
6.2.4 拆箱转换 100
6.2.5 用户定义的显式转换 100
6.3 标准转换 100
6.3.1 标准隐式转换 100
6.3.2 标准显式转换 101
6.4 用户定义的转换 101
6.4.1 允许的用户定义转换 101
6.4.2 用户定义的转换的计算 101
6.4.3 用户定义的隐式转换 102
6.4.4 用户定义的显式转换 102
7. 表达式 105
7.1 表达式的分类 105
7.1.1 表达式的值 106
7.2 运算符 106
7.2.1 运算符的优先级和顺序关联性 106
7.2.2 运算符重载 107
7.2.3 一元运算符重载决策 108
7.2.4 二元运算符重载决策 109
7.2.5 候选用户定义运算符 109
7.2.6 数值提升 109
7.2.6.1 一元数值提升 110
7.2.6.2 二元数值提升 110
7.3 成员查找 111
7.3.1 基类型 111
7.4 函数成员 112
7.4.1 参数列表 114
7.4.2 重载决策 116
7.4.2.1 适用函数成员 116
7.4.2.2 更好的函数成员 117
7.4.2.3 更好的转换 117
7.4.3 函数成员调用 118
7.4.3.1 已装箱实例上的调用 119
7.5 基本表达式 119
7.5.1 文本 120
7.5.2 简单名称 120
7.5.2.1 块中的固定含义 121
7.5.3 带括号的表达式 122
7.5.4 成员访问 122
7.5.4.1 相同的简称和类型名称 123
7.5.5 调用表达式 124
7.5.5.1 方法调用 124
7.5.5.2 委托调用 125
7.5.6 元素访问 125
7.5.6.1 数组访问 126
7.5.6.2 索引器访问 126
7.5.7 this 访问 127
7.5.8 base 访问 127
7.5.9 后缀增量和后缀减量运算符 128
7.5.10 new 运算符 129
7.5.10.1 对象创建表达式 129
7.5.10.2 数组创建表达式 130
7.5.10.3 委托创建表达式 131
7.5.11 typeof 运算符 133
7.5.12 checked 和 unchecked 运算符 133
7.6 一元运算符 136
7.6.1 一元加运算符 136
7.6.2 一元减运算符 136
7.6.3 逻辑否定运算符 137
7.6.4 按位求补运算符 137
7.6.5 前缀增量和减量运算符 137
7.6.6 强制转换表达式 138
7.7 算术运算符 139
7.7.1 乘法运算符 139
7.7.2 除法运算符 140
7.7.3 余数运算符 141
7.7.4 加法运算符 142
7.7.5 减法运算符 144
7.8 移位运算符 146
7.9 关系和类型测试运算符 147
7.9.1 整数比较运算符 147
7.9.2 浮点比较运算符 148
7.9.3 小数比较运算符 149
7.9.4 布尔相等运算符 149
7.9.5 枚举比较运算符 149
7.9.6 引用类型相等运算符 149
7.9.7 字符串相等运算符 151
7.9.8 委托相等运算符 151
7.9.9 is 运算符 151
7.9.10 as 运算符 152
7.10 逻辑运算符 152
7.10.1 整数逻辑运算符 153
7.10.2 枚举逻辑运算符 153
7.10.3 布尔逻辑运算符 153
7.11 条件逻辑运算符 153
7.11.1 布尔条件逻辑运算符 154
7.11.2 用户定义的条件逻辑运算符 154
7.12 条件运算符 155
7.13 赋值运算符 156
7.13.1 简单赋值 156
7.13.2 复合赋值 158
7.13.3 事件赋值 159
7.14 表达式 159
7.15 常量表达式 159
7.16 布尔表达式 160
8. 语句 161
8.1 结束点和可到达性 161
8.2 块 163
8.2.1 语句列表 163
8.3 空语句 163
8.4 标记语句 164
8.5 声明语句 164
8.5.1 局部变量声明 165
8.5.2 局部常量声明 165
8.6 表达式语句 166
8.7 选择语句 166
8.7.1 if 语句 166
8.7.2 switch 语句 167
8.8 迭代语句 171
8.8.1 while 语句 171
8.8.2 do 语句 171
8.8.3 for 语句 172
8.8.4 foreach 语句 173
8.9 跳转语句 175
8.9.1 break 语句 176
8.9.2 continue 语句 176
8.9.3 goto 语句 177
8.9.4 return 语句 178
8.9.5 throw 语句 178
8.10 try 语句 179
8.11 checked 语句和 unchecked 语句 182
8.12 lock 语句 182
8.13 using 语句 183
9. 命名空间 185
9.1 编译单元 185
9.2 命名空间声明 185
9.3 using 指令 186
9.3.1 Using 别名指令 187
9.3.2 Using 命名空间指令 189
9.4 命名空间成员 191
9.5 类型声明 191
10. 类 193
10.1 类声明 193
10.1.1 类修饰符 193
10.1.1.1 抽象类 194
10.1.1.2 密封类 194
10.1.2 类基本规格 194
10.1.2.1 基类 195
10.1.2.2 接口实现 196
10.1.3 类体 196
10.2 类成员 196
10.2.1 继承 197
10.2.2 new 修饰符 198
10.2.3 访问修饰符 198
10.2.4 构成类型 198
10.2.5 静态成员和实例成员 198
10.2.6 嵌套类型 199
10.2.6.1 完全限定名 199
10.2.6.2 已声明可访问性 200
10.2.6.3 隐藏 200
10.2.6.4 this 访问 201
10.2.6.5 对包含类型的私有和受保护成员的访问 202
10.2.7 保留成员名称 203
10.2.7.1 为属性保留的成员名称 203
10.2.7.2 为事件保留的成员名称 204
10.2.7.3 为索引器保留的成员名称 204
10.2.7.4 为析构函数保留的成员名称 204
10.3 常量 204
10.4 字段 206
10.4.1 静态字段和实例字段 207
10.4.2 只读字段 207
10.4.2.1 对常量使用静态只读字段 208
10.4.2.2 常量和静态只读字段的版本控制 208
10.4.3 易失字段 209
10.4.4 字段初始化 210
10.4.5 变量初始值设定项 210
10.4.5.1 静态字段初始化 211
10.4.5.2 实例字段初始化 212
10.5 方法 213
10.5.1 方法参数 214
10.5.1.1 值参数 215
10.5.1.2 引用参数 215
10.5.1.3 输出参数 216
10.5.1.4 参数数组 217
10.5.2 静态方法和实例方法 219
10.5.3 虚方法 220
10.5.4 重写方法 222
10.5.5 密封方法 223
10.5.6 抽象方法 224
10.5.7 外部方法 225
10.5.8 方法体 226
10.5.9 方法重载 226
10.6 属性 226
10.6.1 静态属性和实例属性 227
10.6.2 访问器 228
10.6.3 虚、密封、重写和抽象访问器 232
10.7 事件 233
10.7.1 类似字段的事件 235
10.7.2 事件访问器 237
10.7.3 静态事件和实例事件 238
10.7.4 虚、密封、重写和抽象访问器 238
10.8 索引器 238
10.8.1 索引器重载 242
10.9 运算符 242
10.9.1 一元运算符 243
10.9.2 二元运算符 244
10.9.3 转换运算符 244
10.10 实例构造函数 245
10.10.1 构造函数初始值设定项 246
10.10.2 实例变量初始值设定项 247
10.10.3 构造函数执行 247
10.10.4 默认构造函数 249
10.10.5 私有构造函数 250
10.10.6 可选的实例构造函数参数 250
10.11 静态构造函数 250
10.12 析构函数 252
11. 结构 255
11.1 结构声明 255
11.1.1 结构修饰符 255
11.1.2 结构接口 256
11.1.3 结构体 256
11.2 结构成员 256
11.3 类和结构的区别 256
11.3.1 值语义 257
11.3.2 继承 258
11.3.3 赋值 258
11.3.4 默认值 258
11.3.5 装箱和拆箱 259
11.3.6 this 的含义 259
11.3.7 字段初始值设定项 259
11.3.8 构造函数 259
11.3.9 析构函数 260
11.3.10 静态构造函数 260
11.4 结构示例 261
11.4.1 数据库整数类型 261
11.4.2 数据库布尔类型 262
12. 数组 265
12.1 数组类型 265
12.1.1 System.Array 类型 266
12.2 数组创建 266
12.3 数组元素访问 266
12.4 数组成员 266
12.5 数组协变 266
12.6 数组初始值设定项 267
13. 接口 269
13.1 接口声明 269
13.1.1 接口修饰符 269
13.1.2 基接口 269
13.1.3 接口体 270
13.2 接口成员 270
13.2.1 接口方法 271
13.2.2 接口属性 272
13.2.3 接口事件 272
13.2.4 接口索引器 272
13.2.5 接口成员访问 272
13.3 完全限定接口成员名 274
13.4 接口实现 275
13.4.1 显式接口成员实现 275
13.4.2 接口映射 277
13.4.3 接口实现继承 280
13.4.4 接口重新实现 281
13.4.5 抽象类和接口 282
14. 枚举 285
14.1 枚举声明 285
14.2 枚举修饰符 286
14.3 枚举成员 286
14.4 System.Enum 类型 288
14.5 枚举值和运算 288
15. 委托 289
15.1 委托声明 289
15.2 委托实例化 291
15.3 委托调用 291
16. 异常 295
16.1 导致异常的原因 295
16.2 System.Exception 类 295
16.3 异常的处理方式 296
16.4 公共异常类 296
17. 属性 299
17.1 属性类 299
17.1.1 属性用法 299
17.1.2 定位和命名参数 300
17.1.3 属性参数类型 301
17.2 属性专用化 301
17.3 属性实例 306
17.3.1 属性的编译 306
17.3.2 属性实例的运行时检索 306
17.4 保留属性 307
17.4.1 AttributeUsage 属性 307
17.4.2 Conditional 属性 308
17.4.2.1 条件方法 308
17.4.2.2 条件属性类 310
17.4.3 Obsolete 属性 311
17.5 交互操作的属性 312
17.5.1 与 COM 和 Win32 组件的交互操作 312
17.5.2 与其他 .NET 语言的交互操作 312
17.5.2.1 IndexerName 属性 312
18. 不安全代码 313
18.1 不安全上下文 313
18.2 指针类型 315
18.3 固定和可移动变量 318
18.4 指针转换 318
18.5 表达式中的指针 319
18.5.1 指针间接寻址 320
18.5.2 指针成员访问 320
18.5.3 指针元素访问 321
18.5.4 address-of 运算符 322
18.5.5 指针递增和递减 323
18.5.6 指针算术运算 323
18.5.7 指针比较 324
18.5.8 sizeof 运算符 324
18.6 fixed 语句 325
18.7 堆栈分配 328
18.8 动态内存分配 329
A. 文档注释 331
A.1. 介绍 331
A.2. 建议的标记 332
A.2.1. <c> 333
A.2.2. <code> 333
A.2.3. <example> 334
A.2.4. <exception> 334
A.2.5. <include> 335
A.2.6. <list> 335
A.2.7. <para> 336
A.2.8. <param> 337
A.2.9. <paramref> 337
A.2.10. <permission> 338
A.2.11. <summary> 338
A.2.12. <returns> 338
A.2.13. <see> 339
A.2.14. <seealso> 339
A.2.15. <summary> 340
A.2.16. <value> 340
A.3. 处理文档文件 340
A.3.1. ID 字符串格式 341
A.3.2. ID 字符串示例 341
A.4. 示例 345
A.4.1. C# 源代码 345
A.4.2. 产生的 XML 347
B. 语法 351
B.1. 词法文法 351
B.1.1. 行结束符 351
B.1.2. 空白 351
B.1.3. 注释 351
B.1.4. 标记 352
B.1.5. Unicode 字符转义序列 352
B.1.6. 标识符 353
B.1.7. 关键字 354
B.1.8. 文本 354
B.1.9. 运算符和标点符号 356
B.1.10. 预处理指令 356
B.2. 句法文法 358
B.2.1. 基本概念 358
B.2.2. 类型 358
B.2.3. 变量 360
B.2.4. 表达式 360
B.2.5. 语句 363
B.2.6. 命名空间 366
B.2.7. 类 367
B.2.8. 结构 373
B.2.9. 数组 374
B.2.10. 接口 374
B.2.11. 枚举 375
B.2.12. 委托 376
B.2.13. 属性 376
B.3. 不安全代码的语法扩展 377
C. 参考资料 381
1.1 Hello world 1
1.2 程序结构 2
1.3 类型和变量 4
1.4 表达式 6
1.5 语句 8
1.6 类和对象 11
1.6.1 成员 12
1.6.2 可访问性 12
1.6.3 基类 13
1.6.4 字段 13
1.6.5 方法 14
1.6.5.1 参数 14
1.6.5.2 方法体和局部变量 15
1.6.5.3 静态方法和实例方法 16
1.6.5.4 虚方法、重写方法和抽象方法 17
1.6.5.5 方法重载 19
1.6.6 其他函数成员 20
1.6.6.1 构造函数 21
1.6.6.2 属性 21
1.6.6.3 索引器 22
1.6.6.4 事件 22
1.6.6.5 运算符 23
1.6.6.6 析构函数 23
1.7 结构 24
1.8 数组 25
1.9 接口 26
1.10 枚举 27
1.11 委托 28
1.12 属性 29
2. 词法结构 31
2.1 程序 31
2.2 文法 31
2.2.1 文法表示法 31
2.2.2 词法文法 32
2.2.3 句法文法 32
2.3 词法分析 32
2.3.1 行结束符 33
2.3.2 注释 33
2.3.3 空白 35
2.4 标记 35
2.4.1 Unicode 字符转义序列 35
2.4.2 标识符 36
2.4.3 关键字 38
2.4.4 文本 38
2.4.4.1 布尔值 38
2.4.4.2 整数 38
2.4.4.3 实数 40
2.4.4.4 字符 40
2.4.4.5 字符串 41
2.4.4.6 空文本 43
2.4.5 运算符和标点符号 43
2.5 预处理指令 43
2.5.1 条件编译符号 44
2.5.2 预处理表达式 45
2.5.3 声明指令 45
2.5.4 条件编译指令 46
2.5.5 诊断指令 49
2.5.6 区域指令 49
2.5.7 行指令 50
3. 基本概念 51
3.1 应用程序启动 51
3.2 应用程序终止 52
3.3 声明 52
3.4 成员 54
3.4.1 命名空间成员 54
3.4.2 结构成员 54
3.4.3 枚举成员 55
3.4.4 类成员 55
3.4.5 接口成员 55
3.4.6 数组成员 55
3.4.7 委托成员 55
3.5 成员访问 56
3.5.1 已声明可访问性 56
3.5.2 可访问域 57
3.5.3 实例成员的受保护访问 59
3.5.4 可访问性约束 59
3.6 签名和重载 60
3.7 范围 61
3.7.1 名称隐藏 63
3.7.1.1 通过嵌套隐藏 63
3.7.1.2 通过继承隐藏 64
3.8 命名空间和类型名称 65
3.8.1 完全限定名 66
3.9 自动内存管理 67
3.10 执行顺序 69
4. 类型 71
4.1 值类型 71
4.1.1 System.ValueType 类型 72
4.1.2 默认构造函数 72
4.1.3 结构类型 73
4.1.4 简单类型 73
4.1.5 整型 74
4.1.6 浮点型 75
4.1.7 decimal 类型 76
4.1.8 bool 类型 76
4.1.9 枚举类型 77
4.2 引用类型 77
4.2.1 类类型 77
4.2.2 对象类型 78
4.2.3 string 类型 78
4.2.4 接口类型 78
4.2.5 数组类型 78
4.2.6 委托类型 78
4.3 装箱和拆箱 79
4.3.1 装箱转换 79
4.3.2 拆箱转换 80
5. 变量 81
5.1 变量类别 81
5.1.1 静态变量 81
5.1.2 实例变量 81
5.1.2.1 类中的实例变量 81
5.1.2.2 结构中的实例变量 82
5.1.3 数组元素 82
5.1.4 值参数 82
5.1.5 引用参数 82
5.1.6 输出参数 82
5.1.7 局部变量 83
5.2 默认值 83
5.3 明确赋值 84
5.3.1 初始已赋值变量 84
5.3.2 初始未赋值变量 85
5.3.3 确定明确赋值的细则 85
5.3.3.1 一般语句规则 85
5.3.3.2 块语句、checked 和 unchecked 语句 86
5.3.3.3 表达式语句 86
5.3.3.4 声明语句 86
5.3.3.5 if 语句 86
5.3.3.6 switch 语句 87
5.3.3.7 while 语句 87
5.3.3.8 do 语句 87
5.3.3.9 for 语句 87
5.3.3.10 break、continue 和 goto 语句 88
5.3.3.11 throw 语句 88
5.3.3.12 return 语句 88
5.3.3.13 try-catch 语句 88
5.3.3.14 try-finally 语句 88
5.3.3.15 try-catch-finally 语句 89
5.3.3.16 foreach 语句 90
5.3.3.17 using 语句 90
5.3.3.18 lock 语句 90
5.3.3.19 简单表达式的一般规则 90
5.3.3.20 带有嵌入表达式的表达式的一般规则 91
5.3.3.21 调用表达式和对象创建表达式 91
5.3.3.22 简单赋值表达式 91
5.3.3.23 && 表达式 92
5.3.3.24 || 表达式 92
5.3.3.25 ! 表达式 93
5.3.3.26 ?: 表达式 93
5.4 变量引用 94
5.5 变量引用的原子性 94
6. 转换 95
6.1 隐式转换 95
6.1.1 标识转换 95
6.1.2 隐式数值转换 95
6.1.3 隐式枚举转换 96
6.1.4 隐式引用转换 96
6.1.5 装箱转换 97
6.1.6 隐式常量表达式转换 97
6.1.7 用户定义的隐式转换 97
6.2 显式转换 97
6.2.1 显式数值转换 97
6.2.2 显式枚举转换 99
6.2.3 显式引用转换 99
6.2.4 拆箱转换 100
6.2.5 用户定义的显式转换 100
6.3 标准转换 100
6.3.1 标准隐式转换 100
6.3.2 标准显式转换 101
6.4 用户定义的转换 101
6.4.1 允许的用户定义转换 101
6.4.2 用户定义的转换的计算 101
6.4.3 用户定义的隐式转换 102
6.4.4 用户定义的显式转换 102
7. 表达式 105
7.1 表达式的分类 105
7.1.1 表达式的值 106
7.2 运算符 106
7.2.1 运算符的优先级和顺序关联性 106
7.2.2 运算符重载 107
7.2.3 一元运算符重载决策 108
7.2.4 二元运算符重载决策 109
7.2.5 候选用户定义运算符 109
7.2.6 数值提升 109
7.2.6.1 一元数值提升 110
7.2.6.2 二元数值提升 110
7.3 成员查找 111
7.3.1 基类型 111
7.4 函数成员 112
7.4.1 参数列表 114
7.4.2 重载决策 116
7.4.2.1 适用函数成员 116
7.4.2.2 更好的函数成员 117
7.4.2.3 更好的转换 117
7.4.3 函数成员调用 118
7.4.3.1 已装箱实例上的调用 119
7.5 基本表达式 119
7.5.1 文本 120
7.5.2 简单名称 120
7.5.2.1 块中的固定含义 121
7.5.3 带括号的表达式 122
7.5.4 成员访问 122
7.5.4.1 相同的简称和类型名称 123
7.5.5 调用表达式 124
7.5.5.1 方法调用 124
7.5.5.2 委托调用 125
7.5.6 元素访问 125
7.5.6.1 数组访问 126
7.5.6.2 索引器访问 126
7.5.7 this 访问 127
7.5.8 base 访问 127
7.5.9 后缀增量和后缀减量运算符 128
7.5.10 new 运算符 129
7.5.10.1 对象创建表达式 129
7.5.10.2 数组创建表达式 130
7.5.10.3 委托创建表达式 131
7.5.11 typeof 运算符 133
7.5.12 checked 和 unchecked 运算符 133
7.6 一元运算符 136
7.6.1 一元加运算符 136
7.6.2 一元减运算符 136
7.6.3 逻辑否定运算符 137
7.6.4 按位求补运算符 137
7.6.5 前缀增量和减量运算符 137
7.6.6 强制转换表达式 138
7.7 算术运算符 139
7.7.1 乘法运算符 139
7.7.2 除法运算符 140
7.7.3 余数运算符 141
7.7.4 加法运算符 142
7.7.5 减法运算符 144
7.8 移位运算符 146
7.9 关系和类型测试运算符 147
7.9.1 整数比较运算符 147
7.9.2 浮点比较运算符 148
7.9.3 小数比较运算符 149
7.9.4 布尔相等运算符 149
7.9.5 枚举比较运算符 149
7.9.6 引用类型相等运算符 149
7.9.7 字符串相等运算符 151
7.9.8 委托相等运算符 151
7.9.9 is 运算符 151
7.9.10 as 运算符 152
7.10 逻辑运算符 152
7.10.1 整数逻辑运算符 153
7.10.2 枚举逻辑运算符 153
7.10.3 布尔逻辑运算符 153
7.11 条件逻辑运算符 153
7.11.1 布尔条件逻辑运算符 154
7.11.2 用户定义的条件逻辑运算符 154
7.12 条件运算符 155
7.13 赋值运算符 156
7.13.1 简单赋值 156
7.13.2 复合赋值 158
7.13.3 事件赋值 159
7.14 表达式 159
7.15 常量表达式 159
7.16 布尔表达式 160
8. 语句 161
8.1 结束点和可到达性 161
8.2 块 163
8.2.1 语句列表 163
8.3 空语句 163
8.4 标记语句 164
8.5 声明语句 164
8.5.1 局部变量声明 165
8.5.2 局部常量声明 165
8.6 表达式语句 166
8.7 选择语句 166
8.7.1 if 语句 166
8.7.2 switch 语句 167
8.8 迭代语句 171
8.8.1 while 语句 171
8.8.2 do 语句 171
8.8.3 for 语句 172
8.8.4 foreach 语句 173
8.9 跳转语句 175
8.9.1 break 语句 176
8.9.2 continue 语句 176
8.9.3 goto 语句 177
8.9.4 return 语句 178
8.9.5 throw 语句 178
8.10 try 语句 179
8.11 checked 语句和 unchecked 语句 182
8.12 lock 语句 182
8.13 using 语句 183
9. 命名空间 185
9.1 编译单元 185
9.2 命名空间声明 185
9.3 using 指令 186
9.3.1 Using 别名指令 187
9.3.2 Using 命名空间指令 189
9.4 命名空间成员 191
9.5 类型声明 191
10. 类 193
10.1 类声明 193
10.1.1 类修饰符 193
10.1.1.1 抽象类 194
10.1.1.2 密封类 194
10.1.2 类基本规格 194
10.1.2.1 基类 195
10.1.2.2 接口实现 196
10.1.3 类体 196
10.2 类成员 196
10.2.1 继承 197
10.2.2 new 修饰符 198
10.2.3 访问修饰符 198
10.2.4 构成类型 198
10.2.5 静态成员和实例成员 198
10.2.6 嵌套类型 199
10.2.6.1 完全限定名 199
10.2.6.2 已声明可访问性 200
10.2.6.3 隐藏 200
10.2.6.4 this 访问 201
10.2.6.5 对包含类型的私有和受保护成员的访问 202
10.2.7 保留成员名称 203
10.2.7.1 为属性保留的成员名称 203
10.2.7.2 为事件保留的成员名称 204
10.2.7.3 为索引器保留的成员名称 204
10.2.7.4 为析构函数保留的成员名称 204
10.3 常量 204
10.4 字段 206
10.4.1 静态字段和实例字段 207
10.4.2 只读字段 207
10.4.2.1 对常量使用静态只读字段 208
10.4.2.2 常量和静态只读字段的版本控制 208
10.4.3 易失字段 209
10.4.4 字段初始化 210
10.4.5 变量初始值设定项 210
10.4.5.1 静态字段初始化 211
10.4.5.2 实例字段初始化 212
10.5 方法 213
10.5.1 方法参数 214
10.5.1.1 值参数 215
10.5.1.2 引用参数 215
10.5.1.3 输出参数 216
10.5.1.4 参数数组 217
10.5.2 静态方法和实例方法 219
10.5.3 虚方法 220
10.5.4 重写方法 222
10.5.5 密封方法 223
10.5.6 抽象方法 224
10.5.7 外部方法 225
10.5.8 方法体 226
10.5.9 方法重载 226
10.6 属性 226
10.6.1 静态属性和实例属性 227
10.6.2 访问器 228
10.6.3 虚、密封、重写和抽象访问器 232
10.7 事件 233
10.7.1 类似字段的事件 235
10.7.2 事件访问器 237
10.7.3 静态事件和实例事件 238
10.7.4 虚、密封、重写和抽象访问器 238
10.8 索引器 238
10.8.1 索引器重载 242
10.9 运算符 242
10.9.1 一元运算符 243
10.9.2 二元运算符 244
10.9.3 转换运算符 244
10.10 实例构造函数 245
10.10.1 构造函数初始值设定项 246
10.10.2 实例变量初始值设定项 247
10.10.3 构造函数执行 247
10.10.4 默认构造函数 249
10.10.5 私有构造函数 250
10.10.6 可选的实例构造函数参数 250
10.11 静态构造函数 250
10.12 析构函数 252
11. 结构 255
11.1 结构声明 255
11.1.1 结构修饰符 255
11.1.2 结构接口 256
11.1.3 结构体 256
11.2 结构成员 256
11.3 类和结构的区别 256
11.3.1 值语义 257
11.3.2 继承 258
11.3.3 赋值 258
11.3.4 默认值 258
11.3.5 装箱和拆箱 259
11.3.6 this 的含义 259
11.3.7 字段初始值设定项 259
11.3.8 构造函数 259
11.3.9 析构函数 260
11.3.10 静态构造函数 260
11.4 结构示例 261
11.4.1 数据库整数类型 261
11.4.2 数据库布尔类型 262
12. 数组 265
12.1 数组类型 265
12.1.1 System.Array 类型 266
12.2 数组创建 266
12.3 数组元素访问 266
12.4 数组成员 266
12.5 数组协变 266
12.6 数组初始值设定项 267
13. 接口 269
13.1 接口声明 269
13.1.1 接口修饰符 269
13.1.2 基接口 269
13.1.3 接口体 270
13.2 接口成员 270
13.2.1 接口方法 271
13.2.2 接口属性 272
13.2.3 接口事件 272
13.2.4 接口索引器 272
13.2.5 接口成员访问 272
13.3 完全限定接口成员名 274
13.4 接口实现 275
13.4.1 显式接口成员实现 275
13.4.2 接口映射 277
13.4.3 接口实现继承 280
13.4.4 接口重新实现 281
13.4.5 抽象类和接口 282
14. 枚举 285
14.1 枚举声明 285
14.2 枚举修饰符 286
14.3 枚举成员 286
14.4 System.Enum 类型 288
14.5 枚举值和运算 288
15. 委托 289
15.1 委托声明 289
15.2 委托实例化 291
15.3 委托调用 291
16. 异常 295
16.1 导致异常的原因 295
16.2 System.Exception 类 295
16.3 异常的处理方式 296
16.4 公共异常类 296
17. 属性 299
17.1 属性类 299
17.1.1 属性用法 299
17.1.2 定位和命名参数 300
17.1.3 属性参数类型 301
17.2 属性专用化 301
17.3 属性实例 306
17.3.1 属性的编译 306
17.3.2 属性实例的运行时检索 306
17.4 保留属性 307
17.4.1 AttributeUsage 属性 307
17.4.2 Conditional 属性 308
17.4.2.1 条件方法 308
17.4.2.2 条件属性类 310
17.4.3 Obsolete 属性 311
17.5 交互操作的属性 312
17.5.1 与 COM 和 Win32 组件的交互操作 312
17.5.2 与其他 .NET 语言的交互操作 312
17.5.2.1 IndexerName 属性 312
18. 不安全代码 313
18.1 不安全上下文 313
18.2 指针类型 315
18.3 固定和可移动变量 318
18.4 指针转换 318
18.5 表达式中的指针 319
18.5.1 指针间接寻址 320
18.5.2 指针成员访问 320
18.5.3 指针元素访问 321
18.5.4 address-of 运算符 322
18.5.5 指针递增和递减 323
18.5.6 指针算术运算 323
18.5.7 指针比较 324
18.5.8 sizeof 运算符 324
18.6 fixed 语句 325
18.7 堆栈分配 328
18.8 动态内存分配 329
A. 文档注释 331
A.1. 介绍 331
A.2. 建议的标记 332
A.2.1. <c> 333
A.2.2. <code> 333
A.2.3. <example> 334
A.2.4. <exception> 334
A.2.5. <include> 335
A.2.6. <list> 335
A.2.7. <para> 336
A.2.8. <param> 337
A.2.9. <paramref> 337
A.2.10. <permission> 338
A.2.11. <summary> 338
A.2.12. <returns> 338
A.2.13. <see> 339
A.2.14. <seealso> 339
A.2.15. <summary> 340
A.2.16. <value> 340
A.3. 处理文档文件 340
A.3.1. ID 字符串格式 341
A.3.2. ID 字符串示例 341
A.4. 示例 345
A.4.1. C# 源代码 345
A.4.2. 产生的 XML 347
B. 语法 351
B.1. 词法文法 351
B.1.1. 行结束符 351
B.1.2. 空白 351
B.1.3. 注释 351
B.1.4. 标记 352
B.1.5. Unicode 字符转义序列 352
B.1.6. 标识符 353
B.1.7. 关键字 354
B.1.8. 文本 354
B.1.9. 运算符和标点符号 356
B.1.10. 预处理指令 356
B.2. 句法文法 358
B.2.1. 基本概念 358
B.2.2. 类型 358
B.2.3. 变量 360
B.2.4. 表达式 360
B.2.5. 语句 363
B.2.6. 命名空间 366
B.2.7. 类 367
B.2.8. 结构 373
B.2.9. 数组 374
B.2.10. 接口 374
B.2.11. 枚举 375
B.2.12. 委托 376
B.2.13. 属性 376
B.3. 不安全代码的语法扩展 377
C. 参考资料 381