深入解析C#

1.5 小结 28
第2章 C# 1所搭建的核心基础 29
2.1 委托 30
2.1.1 简单委托的构成 30
2.1.2 合并和删除委托 35
2.1.3 对事件的简单讨论 36
2.1.4 委托小结 37
2.2 类型系统的特征 38
2.2.1 C#在类型系统世界中的位置 38
2.2.2 C# 1的类型系统在什么时候不够用 40
2.2.3 C# 1的类型系统在什么时候会碍事 43
2.2.4 类型系统特征总结 43
2.3 值类型和引用类型 44
2.3.1 现实世界中的值和引用 44
2.3.2 值类型和引用类型基础知识 45
2.3.3 走出误区 46
2.3.4 装箱和拆箱 47
2.3.5 值类型和引用类型小结 48
2.4 C# 2和3：构建于坚实基础之上的新特性 49
2.4.1 与委托有关的特性 49
2.4.2 与类型系统有关的特性 51
2.4.3 与值类型有关的特性 52
2.5 小结 53
第二部分 C# 2：解决C# 1的问题
第3章 用泛型实现参数化类型 56
3.1 为什么需要泛型 56
3.2 日常使用的简单泛型 58
3.2.1 通过例子来学习：泛型字典 58
3.2.2 泛型类型和类型参数 60
3.2.3 泛型方法和判读泛型声明 63
3.3 深化与提高 66
3.3.1 类型约束 66
3.3.2 泛型方法类型实参的类型推断 70
3.3.3 实现泛型 71
3.4 高级泛型 75
3.4.1 静态字段和静态构造函数 76
3.4.2 JIT编译器如何处理泛型 77
3.4.3 泛型迭代 79
3.4.4 反射和泛型 82
3.5 .NET 2.0中的泛型集合类 85
3.5.1 List<T> 85
3.5.2 Dictionary<TKey,TValue> 88
3.5.3 Queue<T>和Stack<T> 89
3.5.4 SortedList<TKey,TValue>和SortedDictionary<TKey,TValue> 90
3.5.5 LinkedList<T> 90
3.6 泛型在C#和其他语言中的限制 91
3.6.1 协变性和逆变性的缺乏 91
3.6.2 缺乏操作符约束或者“数值”约束 95
3.6.3 缺乏泛型属性、索引器和其他成员类型 96
3.6.4 同C++模板的对比 97
3.6.5 和Java泛型的对比 98
3.7 小结 99
第4章 可空类型 101
4.1 没有值时怎么办 101
4.1.1 为什么值类型的变量不能是
null 102
4.1.2 在C# 1中表示空值的模式 102
4.2 System.Nullable<T>和System.Nullable 104
4.2.1 Nullable<T>简介 104
4.2.2 装箱和拆箱 106
4.2.3 Nullable<T>实例的相等性 107
4.2.4 来自非泛型Nullable类的支持 108
4.3 C# 2为可空类型提供的语法糖 109
4.3.1 ?修饰符 109
4.3.2 使用null进行赋值和比较 110
4.3.3 可空转换和操作符 112
4.3.4 可空逻辑 115
4.3.5 空接合操作符 116
4.4 可空类型的新奇用法 118
4.4.1 尝试一个不使用输出参数的操作 119
4.4.2 空接合操作符让比较不再痛苦 121
4.5 小结 123
第5章 进入快速通道的委托 124
5.1 向笨拙的委托语法说拜拜 125
5.2 方法组转换 126
5.3 协变性和逆变性 127
5.4 使用匿名方法的内联委托操作 130
5.4.1 从简单的开始：处理一个参数 131
5.4.2 匿名方法的返回值 133
5.4.3 忽略委托参数 134
5.5 在匿名方法中捕捉变量 136
5.5.1 定义闭包和不同的变量类型 136
5.5.2 测试被捕获的变量的行为 137
5.5.3 捕获变量到底有什么用处 138
5.5.4 捕获变量的延长生存期 139
5.5.5 局部变量实例化 140
5.5.6 共享和非共享的变量混合使用 142
5.5.7 捕获变量的使用规则和小结 143
5.6 小结 144
第6章 实现迭代器的捷径 146
6.1 C# 1：手写迭代器的痛苦 147
6.2 C# 2：利用yield语句简化迭代器 149
6.2.1 迭代器块和yield return简介 150
6.2.2 观察迭代器的工作流程 151
6.2.3 进一步了解迭代器执行流程 153
6.2.4 具体实现中的奇特之处 156
6.3 真实的例子：迭代范围值 157
6.3.1 迭代时刻表中的日期 157
6.3.2 定义Range类的作用域 158
6.3.3 使用迭代器块的实现代码 159
6.4 使用CCR实现伪同步代码 162
6.5 小结 164
第7章 结束C# 2的讲解：最后的一些特性 166
7.1 分部类型 167
7.1.1 在多个文件中创建一个类型 167
7.1.2 分部类型的使用 169
7.1.3 C# 3独有的分部方法 170
7.2 静态类型 172
7.3 独立的取值方法/赋值方法属性访问器 174
7.4 命名空间别名 175
7.4.1 限定的命名空间别名 176
7.4.2 全局命名空间别名 177
7.4.3 外部别名 178
7.5 Pragma指令 179
7.5.1 警告pragma 179
7.5.2 校验和pragma 180
7.6 非安全代码中的固定大小的缓冲区 180
7.7 把内部成员暴露给选定的程序集 182
7.7.1 在简单情况下的友元程序集 182
7.7.2 为什么使用InternalsVisibleTo 184
7.7.3 InternalsVisibleTo和签名程序集 184
7.8 小结 185
第三部分 C# 3——革新写代码的方式
第8章 用智能的编译器来防错 188
8.1 自动实现的属性 189
8.2 隐式类型的局部变量 191
8.2.1 用var声明局部变量 191
8.2.2 隐式类型的限制 192
8.2.3 隐式类型的优缺点 193
8.2.4 建议 194
8.3 简化的初始化 194
8.3.1 定义示例类型 195
8.3.2 设置简单属性 196
8.3.3 为嵌入对象设置属性 197
8.3.4 集合初始化列表 198
8.3.5 初始化特性的应用 200
8.4 隐式类型的数组 201
8.5 匿名类型 202
8.5.1 第一次邂逅匿名类型 202
8.5.2 匿名类型的成员 204
8.5.3 投影初始化列表 205
8.5.4 重点何在 206
8.6 小结 207
第9章 Lambda表达式和表达式树 208
9.1 作为委托的Lambda表达式 209
9.1.1 准备工作：Func<...>委托类型简介 209
9.1.2 第一次转换成Lambda表达式 210
9.1.3 用一个简单表达式作为主体 211
9.1.4 隐式类型的参数列表 211
9.1.5 单一参数的快捷语法 212
9.2 使用List<T>和事件的简单例子 213
9.2.1 对列表进行筛选、排序并设置其他操作 213
9.2.2 在事件处理程序中进行记录 214
9.3 表达式树 216
9.3.1 在程序中构建表达式树 216
9.3.2 将表达式树编译成委托 217
9.3.3 将C# Lambda表达式转换成表达式树 218
9.3.4 位于LINQ核心的表达式树 221
9.4 类型推断和重载决策发生的改变 222
9.4.1 改变的起因：精简泛型方法调用 222
9.4.2 推断匿名函数的返回类型 223
9.4.3 分两个阶段进行的类型推断 225
9.4.4 选择正确的被重载的方法 227
9.4.5 类型推断和重载决策 229
9.5 小结 229
第10章 扩展方法 231
10.1 未引入扩展方法之前的状态 231
10.2 扩展方法的语法 233
10.2.1 声明扩展方法 234
10.2.2 调用扩展方法 235
10.2.3 扩展方法是怎样被发现的 236
10.2.4 在空引用上调用方法 237
10.3 .NET 3.5中的扩展方法 238
10.3.1 从Enumerable开始起步 238
10.3.2 用Where筛选并将方法调用链接到一起 240
10.3.3 用Select方法和匿名类型进行投影 241
10.3.4 用OrderBy方法进行排序 242
10.3.5 涉及链接的实际例子 243
10.4 使用思路和原则 244
10.4.1 “扩展世界”和使接口更丰富 245
10.4.2 流畅接口 245
10.4.3 理智使用扩展方法 247
10.5 小结 248
第11章 查询表达式和LINQ to Object 249
11.1 LINQ介绍 250
11.1.1 这个名称中有什么 250
11.1.2 LINQ中的基础概念 251
11.1.3 定义示例数据模型 254
11.2 简单的开始：选择元素 256
11.2.1 以数据源作为开始，以选择作为结束 256
11.2.2 作为查询表达式基础的编译
器转换 257
11.2.3 范围变量和重要的投影 259
11.2.4 Cast、OfType和显式类型的范围变量 261
11.3 对序列进行过滤和排序 262
11.3.1 使用where子句进行过滤 263
11.3.2 退化的查询表达式 264
11.3.3 使用orderby子句进行排序 264
11.4 let子句和透明标识符 266
11.4.1 用let来进行中间计算 266
11.4.2 透明标识符 267
11.5 联接 268
11.5.1 使用join子句的内联接 269
11.5.2 使用join...into子句进行分组联接 272
11.5.3 使用多个from子句进行交叉联接 274
11.6 分组和延续 277
11.6.1 使用group...by子句进行分组 277
11.6.2 查询延续 280
11.7 小结 283
第12章 超越集合的LINQ 284
12.1 LINQ to SQL 285
12.1.1 创建缺陷数据库和实体 285
12.1.2 用示例数据填充数据库 287
12.1.3 用查询表达式访问数据库 288
12.1.4 更新数据库 293
12.1.5 LINQ to SQL小结 294
12.2 用IQueryable和IQueryProvider进行转换 294
12.2.1 IQueryable<T>和相关接口的介绍 295
12.2.2 模拟接口实现来记录调用 296
12.2.3 把表达式粘合在一起：Queryable的扩展方法 298
12.2.4 模拟实际运行的查询提供器 300
12.2.5 包装IQueryable 301
12.3 LINQ to DataSet 302
12.3.1 处理非类型化数据集 302
12.3.2 处理类型化数据集 303
12.4 LINQ to XML 306
12.4.1 XElement和XAttribute 306
12.4.2 把示例缺陷数据转换为XML 307
12.4.3 在LINQ to XML中进行查询 309
12.4.4 LINQ to XML小结 311
12.5 超越.NET 3.5的LINQ 311
12.5.1 第三方LINQ 312
12.5.2 未来的微软LINQ技术 315
12.6 小结 317
第13章 新时代的优雅代码 319
13.1 语言特性 320
13.1.1 更重视函数化 320
13.1.2 静态、动态、隐式、显式或混合 321
13.2 把委托作为实现继承的新方式 321
13.3 易读的结果高于实现 322
13.4 并行宇宙中的生活 323
13.5 再见 324
附录A LINQ标准查询操作符 325

.　　第3章探讨了C#2最大、同时也有可能是最难掌握的一个特性：泛型。方法和类型可以用泛型的方式来写，调用代码中指定的真实类型将被泛型定义中的“类型参数”代替。刚开始，这个说法确实会令人迷惑，但理解了泛型后，就会感觉自己再也离不开它了。
　　如果你想过怎样表示一个空整数，第4章就是为你准备的。这一章介绍了可空类型，这是基于泛型建立起来的一个特性，利用了语言、运行时和框架所提供的支持。
　　第5章介绍了C#2对委托的增强。在此之前，你也许只用委托处理过像按钮单击这样的事件。C#2使委托更容易创建，而库的支持使它们在除了事件之外的其他场合更加有用。
　　第6章讨论了迭代器，以及在C#2中实现它们的简易方式。很少有开发者使用迭代器块(block)，但由于LINQ to Objects是建立在迭代器基础上的，所以它们会变得越来越重要。它们执行时的“隋性”也是LINQ的一个关键部分。
　　第7章对C#2引入的许多较小的特性进行了描述，它们使我们的编程工作变得更加令人愉悦。语言的设计者对C#1的一些粗糙的设计进行了改进，现在能够更灵活地与代码生成器交互，能更好地支持工具类，能更细致地访问属性，等等。
　　第8章同样研究了一些相对简单的特性，但这一次是针对C#3的。几乎所有新语法都针对LtNQ的常规目标进行了调节。但是这些基本的构建单元本身也是相当有用的。使用匿名类型、自动实现的属性、隐式类型的局部变量以及得到显著增强的初始化支持，C#3变成一个内容更加丰富的语言，使你的代码可以更好地表达程序的行为。
　　第9章探讨了C#3的第一个重要主题——Lambda表达式。语言的设计者并不满足于第5章介绍的已经相当精简的语法，而是将委托变得比在C#2中还要容易创建。Lambda表达式还能做更多的事情一它们可以转换成表达式树：这是以数据形式来表示代码的一种强大的方式。
　　第10章探讨了扩展方法，它提供了一种完美的方式来欺骗编译器，使之相信在一个类型中声明的方法实际上从属于另一个类型。从表面上看，这似乎会带来可读性上的灾难，但经过仔细考虑之后，你就会发现它是一个相当强大的特性——而且对LINQ来说至关重要。
　　第11章以查询表达式的形式合并了前面3章的内容。查询表达式是一种简单而又强大的数据查询方式。我们先是将重点放在LINQ to Objects上，但所谓举一反三，通过观察如何应用查询表达式模式(pattem)，你就明白LINQ to Objects能轻松地替换成其他数据提供器(provider)。
　　第12章揭示了查询表达式同表达式树合并起来的好处。我们描述了LINQ to SQL是如何将表面上甚为普通的C#语句转换成SQL语句的，还简单概括了其他一些LINQ提供器，如．NET Framework中包含的，还有逐渐出现的一些第三方的以及微软正在出售的一些程序。
　　第13章是对未来的展望。我们讨论了C#所发生的变化会怎样从表面到本质影响我们用它写出来的代码，并讨论了一些未来的技术趋势。
　　附录是一份纯粹的参考资料：LmQ标准查询操作符，另外包括一些例子。从严格意义上讲，这并不是C#3的一部分，而是库的一份资料。但是，它们非常有用，我相信读者会喜欢它们的。
　　术语和排版
　　本书大多数术语都会在出现的时候予以解释，但有的定义值得在这里重点讲一讲。我会相当明确地使用C#1、C#2和3，但在其他书籍和网站中，你也许会看到C#1．0、C#2．0和C#3．0这样的写法。额外的“．0”我认为是多余的，因此我省略了它们，我觉得我的意思已表达明确了。
　　我从Mark Michaelis的一本C#书中借用了两个术语。runtime这个词有两个意思，一个是执行环境(如公共语言运行时)，另一个是某个时间点(如“覆盖在运行时发生”)。为避免混淆，Mark换用“执行时”来表示后一种概念，通常与“编译时”对应。这对我来说是一个很好的思路，我希望在社区中推广这种区分方法。本书从我做起，沿用了Mark的思路。
　　我经常会简单地说“语言规范”或者只是“规范”，除特别说明外，它们表示的是“C#语言规范”。但是，规范实际上有多个版本，一部分原因是由于语言本身有不同的版本，另一部分原因是标准化的过程如此。我没有在正文中指出具体引用规范的哪一章哪一节，但是在本书网站上，专门有一个网页允许你选择感兴趣的语言规范的版本，然后查看书的哪一部分引用了语言规范的哪个部分。
　　本书有大量代码片段，它们是用等宽字体印刷的。代码清单的输出同样如此。有的代码清单添加了旁注，而且一些特定的代码段会被加粗。
　　几乎所有代码都以代码段的形式出现，目的是保持精简，同时仍然可以运行——只要在正确的环境中。那个环境就是Snippy，这是1．4节会介绍的一个定制工具。Snippy可以从www．manning．com／CSharpInDepth站点下载，本书所有代码也可以从此站点下载，有的是代码段形式，有的是完整的Visual Studio解决方案的形式，有时这两种形式都有)。
　　Author Onlino和C# in Depth网站
　　购买本书，你可以访问由Manning出版社运行的一个内部论坛，可以在这里发表关于本书的评论，询问技术问题，并得到作者和其他用户的帮助。为了访问论坛并注册，请打开www．manning．com／CSharpInDepth或www．manning．com／skeet。网页上介绍了在注册后进入论坛的方法，可以获得什么帮助，以及论坛的规则是什么。
　　只要书一出版，Author Online论坛和以前的讨论内容就可以从出版社的网站访问。
　　除了Manning出版社网站，我还为本书建立了一个配套网站，网址是www．csharpindepth．com。上面有许多不适合放到本书中的内容和本书所有代码清单以及供扩展学习的其他例子的源代码。