CSharp language specification 5.0中文（C# 语言规范）.doc

【实例简介】

C# 语言规范 版本5.0

【核心代码】

目录
1. 介绍	1
1.1 Hello world	1
1.2 程序结构	2
1.3 类型和变量	3
1.4 表达式	6
1.5 语句	8
1.6 类和对象	12
1.6.1 成员	12
1.6.2 可访问性	13
1.6.3 类型形参	13
1.6.4 基类	14
1.6.5 字段	14
1.6.6 方法	15
1.6.6.1 参数	15
1.6.6.2 方法体和局部变量	16
1.6.6.3 静态方法和实例方法	17
1.6.6.4 虚方法、重写方法和抽象方法	18
1.6.6.5 方法重载	20
1.6.7 其他函数成员	20
1.6.7.1 构造函数	22
1.6.7.2 属性	23
1.6.7.3 索引器	23
1.6.7.4 事件	24
1.6.7.5 运算符	24
1.6.7.6 析构函数	25
1.7 结构	25
1.8 数组	26
1.9 接口	27
1.10 枚举	28
1.11 委托	29
1.12 特性	30
2. 词法结构	33
2.1 程序	33
2.2 文法	33
2.2.1 文法表示法	33
2.2.2 词法文法	34
2.2.3 句法文法	34
2.3 语法分析	34
2.3.1 行结束符	35
2.3.2 注释	35
2.3.3 空白	36
2.4 标记	37
2.4.1 Unicode 字符转义序列	37
2.4.2 标识符	38
2.4.3 关键字	39
2.4.4 文本	40
2.4.4.1 布尔值	40
2.4.4.2 整数	40
2.4.4.3 实数	41
2.4.4.4 字符	42
2.4.4.5 字符串	43
2.4.4.6 null 文本	45
2.4.5 运算符和标点符号	45
2.5 预处理指令	45
2.5.1 条件编译符号	46
2.5.2 预处理表达式	47
2.5.3 声明指令	47
2.5.4 条件编译指令	48
2.5.5 诊断指令	51
2.5.6 区域指令	51
2.5.7 行指令	52
2.5.8 Pragma 指令	52
2.5.8.1 Pragma warning	52
3. 基本概念	55
3.1 应用程序启动	55
3.2 应用程序终止	56
3.3 声明	56
3.4 成员	58
3.4.1 命名空间成员	58
3.4.2 结构成员	58
3.4.3 枚举成员	59
3.4.4 类成员	59
3.4.5 接口成员	59
3.4.6 数组成员	59
3.4.7 委托成员	59
3.5 成员访问	60
3.5.1 已声明可访问性	60
3.5.2 可访问域	60
3.5.3 实例成员的受保护访问	63
3.5.4 可访问性约束	64
3.6 签名和重载	65
3.7 范围	66
3.7.1 名称隐藏	68
3.7.1.1 通过嵌套隐藏	68
3.7.1.2 通过继承隐藏	69
3.8 命名空间和类型名称	70
3.8.1 完全限定名	72
3.9 自动内存管理	73
3.10 执行顺序	75
4. 类型	77
4.1 值类型	77
4.1.1 System.ValueType 类型	78
4.1.2 默认构造函数	78
4.1.3 结构类型	79
4.1.4 简单类型	79
4.1.5 整型	80
4.1.6 浮点型	81
4.1.7 decimal 类型	82
4.1.8 bool 类型	82
4.1.9 枚举类型	82
4.1.10 可以为 null 的类型	82
4.2 引用类型	83
4.2.1 类类型	84
4.2.2 对象类型	84
4.2.3 dynamic 类型	84
4.2.4 string 类型	84
4.2.5 接口类型	85
4.2.6 数组类型	85
4.2.7 委托类型	85
4.3 装箱和拆箱	85
4.3.1 装箱转换	85
4.3.2 拆箱转换	86
4.4 构造类型	87
4.4.1 类型实参	88
4.4.2 开放和封闭类型	88
4.4.3 绑定和未绑定类型	89
4.4.4 满足约束	89
4.5 类型形参	90
4.6 表达式树类型	90
4.7 dynamic 类型	91
5. 变量	92
5.1 变量类别	92
5.1.1 静态变量	92
5.1.2 实例变量	92
5.1.2.1 类中的实例变量	92
5.1.2.2 结构中的实例变量	93
5.1.3 数组元素	93
5.1.4 值参数	93
5.1.5 引用参数	93
5.1.6 输出形参	93
5.1.7 局部变量	94
5.2 默认值	94
5.3 明确赋值	95
5.3.1 初始已赋值变量	95
5.3.2 初始未赋值变量	96
5.3.3 确定明确赋值的细则	96
5.3.3.1 一般语句规则	96
5.3.3.2 块语句、checked 和 unchecked 语句	97
5.3.3.3 表达式语句	97
5.3.3.4 声明语句	97
5.3.3.5 if 语句	97
5.3.3.6 switch 语句	97
5.3.3.7 while 语句	98
5.3.3.8 do 语句	98
5.3.3.9 for 语句	98
5.3.3.10 break、continue 和 goto 语句	98
5.3.3.11 throw 语句	99
5.3.3.12 return 语句	99
5.3.3.13 try-catch 语句	99
5.3.3.14 try-finally 语句	99
5.3.3.15 try-catch-finally 语句	100
5.3.3.16 foreach 语句	100
5.3.3.17 using 语句	101
5.3.3.18 lock 语句	101
5.3.3.19 yield 语句	101
5.3.3.20 简单表达式的一般规则	101
5.3.3.21 带有嵌入表达式的表达式的一般规则	101
5.3.3.22 调用表达式和对象创建表达式	102
5.3.3.23 简单赋值表达式	102
5.3.3.24 && 表达式	102
5.3.3.25 || 表达式	103
5.3.3.26 !表达式	104
5.3.3.27 ?? 表达式	104
5.3.3.28 ?: 表达式	105
5.3.3.29 匿名函数	105
5.4 变量引用	106
5.5 变量引用的原子性	106
6. 转换	107
6.1 隐式转换	107
6.1.1 标识转换	108
6.1.2 隐式数值转换	108
6.1.3 隐式枚举转换	108
6.1.4 可以为 null 的隐式转换	108
6.1.5 null 文本转换	109
6.1.6 隐式引用转换	109
6.1.7 装箱转换	109
6.1.8 隐式动态转换	110
6.1.9 隐式常量表达式转换	110
6.1.10 涉及类型形参的隐式转换	110
6.1.11 用户定义的隐式转换	111
6.1.12 匿名函数转换和方法组转换	111
6.2 显式转换	111
6.2.1 显式数值转换	112
6.2.2 显式枚举转换	113
6.2.3 可以为 null 的显式转换	113
6.2.4 显式引用转换	114
6.2.5 拆箱转换	115
6.2.6 显式动态转换	115
6.2.7 涉及类型参数的显式转换	116
6.2.8 用户定义的显式转换	117
6.3 标准转换	117
6.3.1 标准隐式转换	117
6.3.2 标准显式转换	117
6.4 用户定义的转换	117
6.4.1 允许的用户定义转换	117
6.4.2 提升转换运算符	118
6.4.3 用户定义转换的计算	118
6.4.4 用户定义的隐式转换	119
6.4.5 用户定义的显式转换	119
6.5 匿名函数转换	120
6.5.1 匿名函数转换为委托类型的计算	122
6.5.2 匿名函数转换为表达式树类型的计算	122
6.5.3 实现示例	122
6.6 方法组转换	125
7. 表达式	127
7.1 表达式的分类	127
7.1.1 表达式的值	128
7.2 静态和动态绑定	128
7.2.1 绑定时间	129
7.2.2 动态绑定	129
7.2.3 构成表达式的类型	129
7.3 运算符	129
7.3.1 运算符的优先级和顺序关联性	130
7.3.2 运算符重载	131
7.3.3 一元运算符重载决策	132
7.3.4 二元运算符重载决策	132
7.3.5 候选用户定义运算符	132
7.3.6 数值提升	133
7.3.6.1 一元数值提升	133
7.3.6.2 二元数值提升	133
7.3.7 提升运算符	134
7.4 成员查找	135
7.4.1 基类型	136
7.5 函数成员	136
7.5.1 实参列表	138
7.5.1.1 对应形参	139
7.5.1.2 实参列表的运行时计算	140
7.5.2 类型推断	141
7.5.2.1 第一阶段	142
7.5.2.2 第二阶段	142
7.5.2.3 输入类型	143
7.5.2.4 输出类型	143
7.5.2.5 依赖	143
7.5.2.6 输出类型推断	143
7.5.2.7 参数类型显式推断	143
7.5.2.8 精确推断	143
7.5.2.9 下限推断	143
7.5.2.10 上限推断	144
7.5.2.11 固定	145
7.5.2.12 推断返回类型	145
7.5.2.13 方法组转换的类型推断	146
7.5.2.14 查找一组表达式的最通用类型	147
7.5.3 重载决策	147
7.5.3.1 适用函数成员	147
7.5.3.2 更好的函数成员	148
7.5.3.3 表达式的更佳转换	149
7.5.3.4 类型的更佳转换	149
7.5.3.5 更佳转换目标	149
7.5.3.6 泛型类中的重载	150
7.5.4 动态重载决策的编译时检查	150
7.5.5 函数成员调用	151
7.5.5.1 已装箱实例上的调用	152
7.6 基本表达式	152
7.6.1 文本	153
7.6.2 简单名称	153
7.6.2.1 块中的固定含义	154
7.6.3 带括号的表达式	155
7.6.4 成员访问	155
7.6.4.1 相同的简单名称和类型名称	157
7.6.4.2 语法多义性	157
7.6.5 调用表达式	158
7.6.5.1 方法调用	158
7.6.5.2 扩展方法调用	159
7.6.5.3 委托调用	162
7.6.6 元素访问	162
7.6.6.1 数组访问	162
7.6.6.2 索引器访问	163
7.6.7 this 访问	163
7.6.8 基访问	164
7.6.9 后缀增量和后缀减量运算符	165
7.6.10 new 运算符	166
7.6.10.1 对象创建表达式	166
7.6.10.2 对象初始值设定项	167
7.6.10.3 集合初始值设定项	169
7.6.10.4 数组创建表达式	170
7.6.10.5 委托创建表达式	172
7.6.10.6 匿名对象创建表达式	173
7.6.11 typeof 运算符	175
7.6.12 checked 和 unchecked 运算符	176
7.6.13 默认值表达式	179
7.6.14 匿名方法表达式	179
7.7 一元运算符	179
7.7.1 一元加运算符	179
7.7.2 一元减运算符	180
7.7.3 逻辑否定运算符	180
7.7.4 按位求补运算符	180
7.7.5 前缀增量和减量运算符	181
7.7.6 强制转换表达式	181
7.7.7 Await 表达式	182
7.7.7.1 可等待的表达式	183
7.7.7.2 await 表达式的分类	183
7.7.7.3 await 表达式的运行时计算	183
7.8 算术运算符	184
7.8.1 乘法运算符	184
7.8.2 除法运算符	185
7.8.3 余数运算符	186
7.8.4 加法运算符	187
7.8.5 减法运算符	189
7.9 移位运算符	190
7.10 关系和类型测试运算符	192
7.10.1 整数比较运算符	192
7.10.2 浮点比较运算符	193
7.10.3 小数比较运算符	194
7.10.4 布尔相等运算符	194
7.10.5 枚举比较运算符	194
7.10.6 引用类型相等运算符	194
7.10.7 字符串相等运算符	196
7.10.8 委托相等运算符	196
7.10.9 相等运算符和 null	197
7.10.10 is 运算符	197
7.10.11 as 运算符	197
7.11 逻辑运算符	198
7.11.1 整数逻辑运算符	199
7.11.2 枚举逻辑运算符	199
7.11.3 布尔逻辑运算符	199
7.11.4 可以为 null 的布尔逻辑运算符	200
7.12 条件逻辑运算符	200
7.12.1 布尔条件逻辑运算符	201
7.12.2 用户定义的条件逻辑运算符	201
7.13 空合并运算符	201
7.14 条件运算符	202
7.15 匿名函数表达式	203
7.15.1 匿名函数签名	205
7.15.2 匿名函数体	205
7.15.3 重载决策	205
7.15.4 匿名函数与动态绑定	206
7.15.5 外层变量	206
7.15.5.1 捕获的外层变量	206
7.15.5.2 局部变量实例化	207
7.15.6 匿名函数表达式计算	209
7.16 查询表达式	209
7.16.1 查询表达式的多义性	211
7.16.2 查询表达式转换	211
7.16.2.1 带继续符的 select 和 groupby 子句	211
7.16.2.2 显式范围变量类型	212
7.16.2.3 退化查询表达式	212
7.16.2.4 from、let、where、join 和 orderby 子句	213
7.16.2.5 select 子句	216
7.16.2.6 Groupby 子句	217
7.16.2.7 透明标识符	217
7.16.3 查询表达式模式	218
7.17 赋值运算符	219
7.17.1 简单赋值	220
7.17.2 复合赋值	222
7.17.3 事件赋值	223
7.18 表达式	223
7.19 常量表达式	223
7.20 布尔表达式	225
8. 语句	227
8.1 结束点和可到达性	227
8.2 块	229
8.2.1 语句列表	229
8.3 空语句	230
8.4 标记语句	230
8.5 声明语句	231
8.5.1 局部变量声明	231
8.5.2 局部常量声明	232
8.6 表达式语句	233
8.7 选择语句	233
8.7.1 if 语句	233
8.7.2 switch 语句	234
8.8 迭代语句	237
8.8.1 while 语句	237
8.8.2 do 语句	238
8.8.3 for 语句	238
8.8.4 foreach 语句	239
8.9 跳转语句	242
8.9.1 break 语句	243
8.9.2 continue 语句	244
8.9.3 goto 语句	244
8.9.4 return 语句	245
8.9.5 throw 语句	246
8.10 try 语句	247
8.11 checked 语句和 unchecked 语句	250
8.12 lock 语句	250
8.13 using 语句	251
8.14 yield 语句	253
9. 命名空间	255
9.1 编译单元	255
9.2 命名空间声明	255
9.3 Extern 别名	256
9.4 using 指令	257
9.4.1 using 别名指令	258
9.4.2 Using 命名空间指令	260
9.5 命名空间成员	262
9.6 类型声明	262
9.7 命名空间别名限定符	263
9.7.1 别名的唯一性	264
10. 类	265
10.1 类声明	265
10.1.1 类修饰符	265
10.1.1.1 抽象类	266
10.1.1.2 密封类	266
10.1.1.3 静态类	266
10.1.2 分部修饰符	267
10.1.3 类型参数	267
10.1.4 类基本规范	267
10.1.4.1 基类	268
10.1.4.2 接口实现	269
10.1.5 类型形参约束	270
10.1.6 类体	273
10.2 分部类型	274
10.2.1 特性	274
10.2.2 修饰符	274
10.2.3 类型形参和约束	275
10.2.4 基类	275
10.2.5 基接口	275
10.2.6 成员	276
10.2.7 分部方法	276
10.2.8 名称绑定	278
10.3 类成员	279
10.3.1 实例类型	280
10.3.2 构造类型的成员	280
10.3.3 继承	281
10.3.4 new 修饰符	282
10.3.5 访问修饰符	282
10.3.6 构成类型	282
10.3.7 静态成员和实例成员	282
10.3.8 嵌套类型	283
10.3.8.1 完全限定名	284
10.3.8.2 已声明可访问性	284
10.3.8.3 隐藏	284
10.3.8.4 this 访问	285
10.3.8.5 对包含类型的私有和受保护成员的访问	286
10.3.8.6 泛型类中的嵌套类型	287
10.3.9 保留成员名称	287
10.3.9.1 为属性保留的成员名称	288
10.3.9.2 为事件保留的成员名称	288
10.3.9.3 为索引器保留的成员名称	288
10.3.9.4 为析构函数保留的成员名称	289
10.4 常量	289
10.5 字段	290
10.5.1 静态字段和实例字段	291
10.5.2 只读字段	292
10.5.2.1 对常量使用静态只读字段	292
10.5.2.2 常量和静态只读字段的版本控制	293
10.5.3 可变字段	293
10.5.4 字段初始化	294
10.5.5 变量初始值设定项	295
10.5.5.1 静态字段初始化	296
10.5.5.2 实例字段初始化	297
10.6 方法	297
10.6.1 方法形参	299
10.6.1.1 值参数	301
10.6.1.2 引用参数	301
10.6.1.3 输出形参	302
10.6.1.4 形参数组	303
10.6.2 静态方法和实例方法	305
10.6.3 虚方法	305
10.6.4 重写方法	307
10.6.5 密封方法	309
10.6.6 抽象方法	310
10.6.7 外部方法	311
10.6.8 分部方法	311
10.6.9 扩展方法	312
10.6.10 方法体	312
10.6.11 方法重载	313
10.7 属性	313
10.7.1 静态属性和实例属性	314
10.7.2 访问器	314
10.7.3 自动实现的属性	319
10.7.4 可访问性	320
10.7.5 虚、密封、重写和抽象访问器	321
10.8 事件	323
10.8.1 类似字段的事件	324
10.8.2 事件访问器	326
10.8.3 静态事件和实例事件	327
10.8.4 虚、密封、重写和抽象访问器	327
10.9 索引器	328
10.9.1 索引器重载	331
10.10 运算符	331
10.10.1 一元运算符	333
10.10.2 二元运算符	333
10.10.3 转换运算符	334
10.11 实例构造函数	336
10.11.1 构造函数初始值设定项	337
10.11.2 实例变量初始值设定项	338
10.11.3 构造函数执行	338
10.11.4 默认构造函数	340
10.11.5 私有构造函数	340
10.11.6 可选的实例构造函数形参	341
10.12 静态构造函数	341
10.13 析构函数	343
10.14 迭代器	345
10.14.1 枚举器接口	345
10.14.2 可枚举接口	345
10.14.3 产生类型	345
10.14.4 枚举器对象	345
10.14.4.1 MoveNext 方法	346
10.14.4.2 Current 属性	347
10.14.4.3 Dispose 方法	347
10.14.5 可枚举对象	347
10.14.5.1 GetEnumerator 方法	348
10.14.6 实现示例	348
10.15 异步函数	353
10.15.1 返回任务的异步函数计算	354
10.15.2 返回 void 的异步函数计算	354
11. 结构	355
11.1 结构声明	355
11.1.1 结构修饰符	355
11.1.2 分部修饰符	355
11.1.3 结构接口	356
11.1.4 结构体	356
11.2 结构成员	356
11.3 类和结构的区别	356
11.3.1 值语义	357
11.3.2 继承	357
11.3.3 赋值	358
11.3.4 默认值	358
11.3.5 装箱和拆箱	358
11.3.6 this 的含义	360
11.3.7 字段初始值设定项	360
11.3.8 构造函数	360
11.3.9 析构函数	361
11.3.10 静态构造函数	361
11.4 结构示例	362
11.4.1 数据库整数类型	362
11.4.2 数据库布尔类型	363
12. 数组	367
12.1 数组类型	367
12.1.1 System.Array 类型	368
12.1.2 数组和泛型 IList 接口	368
12.2 数组创建	368
12.3 数组元素访问	369
12.4 数组成员	369
12.5 数组协变	369
12.6 数组初始值设定项	369
13. 接口	371
13.1 接口声明	371
13.1.1 接口修饰符	371
13.1.2 分部修饰符	371
13.1.3 Variant 类型形参列表	372
13.1.3.1 变化安全性	372
13.1.3.2 变化转换	373
13.1.4 基接口	373
13.1.5 接口体	374
13.2 接口成员	374
13.2.1 接口方法	375
13.2.2 接口属性	375
13.2.3 接口事件	376
13.2.4 接口索引器	376
13.2.5 接口成员访问	376
13.3 完全限定接口成员名	378
13.4 接口实现	378
13.4.1 显式接口成员实现	379
13.4.2 所实现接口的唯一性	381
13.4.3 泛型方法实现	382
13.4.4 接口映射	383
13.4.5 接口实现继承	385
13.4.6 接口重新实现	387
13.4.7 抽象类和接口	388
14. 枚举	389
14.1 枚举声明	389
14.2 枚举修饰符	389
14.3 枚举成员	390
14.4 System.Enum 类型	392
14.5 枚举值和运算	392
15. 委托	393
15.1 委托声明	393
15.2 委托兼容性	395
15.3 委托实例化	395
15.4 委托调用	396
16. 异常	399
16.1 导致异常的原因	399
16.2 System.Exception 类	399
16.3 异常的处理方式	399
16.4 公共异常类	400
17. 特性	401
17.1 特性类	401
17.1.1 特性用法	401
17.1.2 定位和命名参数	402
17.1.3 特性参数类型	403
17.2 特性说明	403
17.3 特性实例	408
17.3.1 特性的编译	408
17.3.2 特性实例的运行时检索	409
17.4 保留特性	409
17.4.1 AttributeUsage 特性	409
17.4.2 Conditional 特性	410
17.4.2.1 条件方法	410
17.4.2.2 条件特性类	412
17.4.3 Obsolete 特性	413
17.4.4 调用方信息特性	414
17.4.4.1 CallerLineNumber 特性	415
17.4.4.2 CallerFilePath 特性	415
17.4.4.3 CallerMemberName 特性	415
17.5 互操作的特性	415
17.5.1 与 COM 和 Win32 组件的互操作	416
17.5.2 与其他 .NET 语言的互操作	416
17.5.2.1 IndexerName 特性	416
18. 不安全代码	417
18.1 不安全上下文	417
18.2 指针类型	419
18.3 固定和可移动变量	422
18.4 指针转换	422
18.4.1 指针数组	423
18.5 表达式中的指针	424
18.5.1 指针间接寻址	425
18.5.2 指针成员访问	425
18.5.3 指针元素访问	426
18.5.4 address-of 运算符	426
18.5.5 指针递增和递减	427
18.5.6 指针算术运算	427
18.5.7 指针比较	428
18.5.8 sizeof 运算符	429
18.6 fixed 语句	429
18.7 固定大小缓冲区	433
18.7.1 固定大小缓冲区的声明	433
18.7.2 表达式中的固定大小缓冲区	434
18.7.3 明确赋值 检查	435
18.8 堆栈分配	435
18.9 动态内存分配	436
A. 文档注释	439
A.1 介绍	439
A.2 建议的标记	440
A.2.1 <c>	441
A.2.2 <code>	441
A.2.3 <example>	442
A.2.4 <exception>	442
A.2.5 <include>	443
A.2.6 <list>	444
A.2.7 <para>	444
A.2.8 <param>	445
A.2.9 <paramref>	445
A.2.10 <permission>	446
A.2.11 <remark>	446
A.2.12 <returns>	446
A.2.13 <see>	447
A.2.14 <seealso>	447
A.2.15 <summary>	448
A.2.16 <value>	448
A.2.17 <typeparam>	448
A.2.18 <typeparamref>	449
A.3 处理文档文件	449
A.3.1 ID 字符串格式	449
A.3.2 ID 字符串示例	450
A.4 示例	454
A.4.1 C# 源代码	454
A.4.2 生成的 XML	456
B. 语法	460
B.1 词法文法	460
B.1.1 行结束符	460
B.1.2 注释	460
B.1.3 空白	461
B.1.4 标记	461
B.1.5 Unicode 字符转义序列	461
B.1.6 标识符	461
B.1.7 关键字	463
B.1.8 文本	463
B.1.9 运算符和标点符号	465
B.1.10 预处理指令	465
B.2 句法文法	468
B.2.1 基本概念	468
B.2.2 类型	468
B.2.3 变量	469
B.2.4 表达式	469
B.2.5 语句	476
B.2.6 命名空间	480
B.2.7 类	480
B.2.8 结构	488
B.2.9 数组	488
B.2.10 接口	489
B.2.11 枚举	490
B.2.12 委托	491
B.2.13 特性	491
B.3 不安全代码的语法扩展	492
C. 参考资料	497