C# 版本演化全景上从 1.0 到 4.0系列C# 与常用数据结构源码剖析 · 历史与演化篇时间范围Visual Studio .NET 2002 到 Visual Studio 2010阅读原则语言版本、编译器、CLR 和 BCL 是四个相关但不相同的版本轴一、先把时间线校准C# 特性由语言规范与编译器定义CLR 提供 IL、泛型运行时、委托、元数据等执行能力BCL 提供 List、Enumerable、Expression 等 APIVisual Studio 打包对应工具链。把“某 .NET 版本有 LINQ”写成“CLR 增加 query syntax”就混淆了层级。语言基线主要发布载体对应平台边界核心变化C# 1.0Visual Studio .NET 2002.NET Framework 1.0、CLR 1.x托管类型系统上的 class/struct/interface、delegate/event/propertyC# 1.2Visual Studio .NET 2003.NET Framework 1.1小幅语言修订与编译器行为调整C# 2.0Visual Studio 2005.NET Framework 2.0、CLR 2.0泛型、nullable、iterator、anonymous methodC# 3.0Visual Studio 2008.NET Framework 3.5CLR仍属2.0代lambda、extension、var、anonymous type、query、expression treeC# 4.0Visual Studio 2010.NET Framework 4、CLR 4dynamic、named/optional arguments、generic variance表中日期/载体应通过 Microsoft 的 C# version history、Visual Studio release history、对应 ECMA/语言规范和 .NET Framework 生命周期资料交叉核对。小版本和服务包可能改变编译器 bug/库 API但不会让语言、BCL 和 CLR 自动同号。一个重要例子C# 3.0 的大多数特性被编译成 CLR 2.0 已能执行的 ILLINQ to Objects 则依赖 .NET Framework 3.5 的System.Core/Enumerable。所以“必须升级语言编译器”“必须引用新 BCL”和“必须升级 CLR”是三个问题。二、C# 1.0建立托管面向对象与组件边界2.1 class、struct 与 interfaceC# 1.0 已区分引用类型 class 与值类型 struct。class 支持单基类继承和多接口实现struct 按值复制、不能继承其他 struct/class但可实现接口。装箱把值类型包装为 object/接口引用拆箱要求正确的底层值类型。// C# 1.0风格代码。 public struct Point { public int X; public int Y; } object boxed new Point(); Point copy (Point)boxed;“struct 在栈、class 在堆”从来不是完整语言规则。struct可内联在数组/对象中也可能装箱局部的物理位置由编译器/runtime决定。集合设计真正受到的是值复制、装箱和类型安全影响。2.2 delegate类型安全的方法引用delegate 声明生成一个继承MulticastDelegate的类型封装目标与方法并支持组合调用列表public delegate int Comparison(object left, object right); static int CompareByText(object left, object right) { return string.Compare(left.ToString(), right.ToString()); } Comparison comparison new Comparison(CompareByText);与函数指针相比委托有托管目标生命周期、类型检查和多播语义。实例方法委托会强引用目标事件订阅泄漏风险从这一模型而来。匿名方法/Lambda尚未出现通常写命名方法。2.3 property访问器元数据而非公开字段public sealed class Person { private string _name; public string Name { get { return _name; } set { if (value null) throw new ArgumentNullException(value); _name value; } } }属性在元数据中关联 get/set 方法让调用语法像字段又保留验证、虚分派与版本演进。C# 1.0没有自动属性所以必须显式字段和访问器。属性也不保证廉价getter可执行任意方法体。2.4 event限制发布权public delegate void ChangedHandler(object sender, EventArgs args); public sealed class Model { public event ChangedHandler Changed; private void OnChanged() { ChangedHandler handler Changed; if (handler ! null) handler(this, EventArgs.Empty); } }外部只能/-声明类型内部才能发布字段式事件。早期 C# 已经具备组件/GUI 所需观察者协议但事件不让处理器自动线程安全也不提供弱引用或 Dispose订阅。2.5 非泛型集合的真实限制.NET Framework 1.x BCL 主要使用ArrayList、Hashtable、非泛型 Queue/Stack/SortedList。它们接受 objectArrayList values new ArrayList(); values.Add(42); // int装箱 values.Add(wrong); int first (int)values[0];问题包括值类型装箱、读取强转和异构值直到运行时才失败。并非“InvalidCastException 是常态”很多程序通过封装或类型化 wrapper工作但编译器无法从 ArrayList签名证明元素类型。C# 1.0同时拥有数组int[]本来就是类型安全且值内联泛型主要补齐可复用动态集合和算法。三、C# 2.0泛型进入语言、CLR 与 BCLC# 2.0 的泛型不是单纯语法 lowering。CLR 2.0 元数据和执行引擎原生理解泛型参数、约束、构造类型与泛型方法BCL 2.0 发布ListT、DictionaryTKey,TValue、IEnumerableT、IComparerT等。3.1 泛型与集合 APIListint values new Listint(); values.Add(42); int first values[0]; Dictionarystring, int counts new Dictionarystring, int(); counts.Add(apple, 1);编译器保证Listint不能 Add stringint元素通常直接存入int[]后备数组无需逐项装箱。泛型类型信息保留在运行时可以typeof(Listint)、反射约束并为值类型生成适当布局/代码但代码共享与JIT特化是 CLR实现问题不应简化为“所有实例各一份代码”。约束告诉编译器/运行时 T允许哪些操作static T CreateT() where T : new() { return new T(); }早期约束集合比现代 C# 少研究时要用 C# 2.0规范不把unmanaged、notnull等后来特性倒推。3.2 NullableT?对非 nullable值类型是NullableT语法表示“有一个T”或“无值”。int? score null; if (score.HasValue) Console.WriteLine(score.Value); int total score ?? 0;其布局与装箱有专门runtime规则不能只写成固定bool T两字段大小。nullable conversion、lifted operator让数值/比较运算传播无值状态。引用类型 nullable annotation 是 C# 8 之后的静态分析不能混入 C# 2.0。3.3 iterator 与 yield loweringstatic IEnumerableint CountDown(int start) { for (int i start; i 0; i--) yield return i; }Roslyn之前的 C#编译器会把 iterator block重写为实现 IEnumerable/IEnumerator的状态机对象保存 state、Current和跨 yield局部。执行是延迟的异常可能在枚举时出现Dispose负责 finally。具体字段名和状态编号不是语言契约。iterator让集合作者无需手写游标状态也使后续 LINQ建立在统一IEnumerableT拉取模型上。它仍可能分配枚举器不能称零开销。3.4 anonymous method 与闭包int threshold 10; Predicateint high delegate(int value) { return value threshold; };匿名方法可转换为兼容委托。捕获局部时编译器通常生成 display class把局部提升为字段委托强引用闭包。执行时读取捕获变量当前值并可能延长对象生命周期。匿名方法是 lambda的前身但 lambda后来还可转换为表达式树这是关键差异。C# 2.0还加入 partial、static class、anonymous method method-group conversion改进等。ActionT/PredicateT是 BCL泛型委托不应把某个具体委托 API当语言关键字。四、C# 3.0为查询组合补齐一组可复用语言原语C# 3.0 与 .NET Framework 3.5/Visual Studio 2008发布但 CLR主体仍是 2.0代。大多数新语法 lower到普通方法、委托、泛型和属性表达式树需要 BCL类型承载代码结构。4.1 var 是静态局部类型推断var names new Liststring(); // 编译期类型仍是 Liststring names.Add(Ada);var不是 dynamic不会抹除类型也仅用于有初始化器、编译器能推断的局部等规定位置。反射看到的局部签名/IL仍使用实际类型。它让匿名类型和复杂泛型查询结果可被局部保存。4.2 object/collection initializer 与自动属性var person new Person { Name Ada, Age 36 }; var numbers new Listint { 1, 2, 3 }; public string Name { get; set; }对象初始化器 lower为构造后依次调用 setter/写可访问成员集合初始化器按 Add模式转换为逐项调用。中途异常不会自动回滚已执行setter/Add。自动属性让编译器生成后备字段/访问器字段名不是公共契约。4.3 lambda委托或表达式树Funcint, bool predicate x x 0; ExpressionFuncint, bool tree x x 0;相同 lambda语法根据目标类型转换委托包含可执行方法表达式树构建描述表达式的对象图供 LINQ provider分析/翻译。不是所有 lambda都能转表达式树语法节点支持受语言/库版本限制。捕获 lambda与匿名方法一样可能生成闭包。无捕获委托缓存是编译器优化不是 C# 3.0所有实现必须逐字生成的字段。4.4 extension method 是静态调用的语法绑定public static class EnumerableExtensions { public static IEnumerableT EveryOtherT(this IEnumerableT source) { bool take true; foreach (T item in source) { if (take) yield return item; take !take; } } }source.EveryOther()在编译期绑定到可见静态扩展方法不会给源类型运行时添加实例成员也没有虚分派。实例成员优先于同名扩展namespace/import和重载决议影响选择。LINQ to Objects 的 Where/Select是 Enumerable上的扩展方法但 query syntax并不要求实现一定叫 Enumerable。4.5 query expression 是模式化翻译var result from person in people where person.Age 18 orderby person.Name select person.Name;编译器按规范把 query clauses翻译为 Where、OrderBy、Select、SelectMany、GroupBy、Join等方法模式调用再由重载决议决定 Enumerable还是 Queryable/自定义 provider。它不是 CLR的新查询指令也不自动执行 SQL。Enumerable查询多为延迟执行但终结操作会消费OrderBy首次枚举会缓冲排序不能把“LINQ全延迟/零分配”当特性。Queryable接收 Expression由 provider决定翻译、服务器执行和不支持表达式。4.6 anonymous typevar projection new { Name Ada, Length 3 };编译器生成内部泛型样式不可变属性类型并提供值式 Equals/GetHashCode/ToString语义具体生成按编译器验证。匿名类型主要在程序集内投影不能作为稳定公共API类型名或序列化协议。五、C# 4.0在静态类型系统边缘改善互操作C# 4.0 随 Visual Studio 2010/.NET Framework 4/CLR 4发布。核心不是放弃静态类型而是让部分调用推迟到运行时并改善 COM/API调用和泛型转换。5.1 dynamic 与 DLR call sitedynamic value GetForeignObject(); int length value.Length;编译器仍为表达式生成静态 IL但成员绑定推迟到运行时。C# runtime binder利用 DLR CallSite缓存针对接收者运行时类型和上下文的绑定规则失败抛 runtime binder异常。dynamic在元数据签名常以 object加 DynamicAttribute信息表达不是 CLR新增“动态对象布局”。dynamic适合 COM、动态语言对象或高度反射式边界。它绕过编译期成员检查重构工具和AOT/trimming也更难分析普通集合热路径不应仅为少写泛型而使用。dynamic list new Listint(); list.Add(wrong); // 调用时才发现参数不匹配CallSite首次绑定与后续缓存路径不同不能用单次计时给dynamic固定倍率。5.2 named arguments 与 optional parametersstatic void Print(string text, int repeat 1, bool upper false) { } Print(hello, upper: true); Print(text: hello, repeat: 3);命名参数在编译期映射形参改善长参数列表可读性重命名 public参数会造成调用方源兼容问题。可选参数的默认值通常编码在调用点/元数据已有调用方不重新编译时可能继续使用旧默认值。因此修改公共库默认值需版本策略。可选参数不是任意运行时表达式默认值必须符合规范的编译期/特性规则。与重载混用可能改变重载决议API演进要编译旧调用测试。5.3 generic varianceC# 4.0允许接口和委托的泛型参数声明out协变或in逆变并只在类型安全位置使用IEnumerablestring strings new Liststring(); IEnumerableobject objects strings; // IEnumerableout T Actionobject consumeObject x Console.WriteLine(x); Actionstring consumeString consumeObject; // Actionin T协变解释“产生 string的序列也能被当作产生 object的序列”逆变解释“能消费任意 object的方法当然能消费 string”。variance只适用于引用类型转换IEnumerableint不能协变为IEnumerableobject因为这需要装箱/改变表示。class泛型参数不能像接口/委托声明varianceListstring也不能转为Listobject否则调用者可 Add一个非string对象破坏类型安全。数组历史上支持协变但写入不匹配会运行时失败泛型variance是受限制的安全模型。六、lowering 与 runtime依赖对照特性主要编译器翻译关键 runtime/BCL依赖property/eventspecial-name访问器、事件元数据CLR委托/元数据/线程语义C# 2 generics泛型IL签名与约束CLR 2.0 reified generics、generic BCLnullableNullableT与lifted转换CLR泛型/装箱特殊规则、BCL structiterator状态机类型、MoveNext/DisposeIEnumerable/IEnumerator接口anonymous method/lambda委托方法捕获时闭包Delegate与编译器生成类型extension静态方法调用无CLR新增能力query syntax方法模式调用链Enumerable/Queryable/providerexpression tree构造 Expression对象图System.Linq.Expressions BCLdynamicCallSite与binder调用DLR/Binder库、CLR object/元数据variance受规则检查的转换CLI泛型variance元数据与runtime验证“能否让旧runtime运行新语法”必须逐特性判断。var/extension/object initializer等可lower到旧能力泛型需要CLR 2.0表达式树和dynamic需要对应库目标框架 reference assemblies决定编译可调用哪些API。七、对集合设计的累积影响C# 1.0提供数组和非泛型容器元素类型常退化为object。C# 2.0/CLR 2/BCL 2共同建立IEnumerableT、ICollectionT、ListT、DictionaryTKey,TValue与generic comparer类型安全且值类型通常无逐项装箱。C# 3.0让任何 IEnumerable 通过 extension/query获得统一组合操作并可投影匿名类型表达式树让同一查询形状可由数据库provider翻译。代价是延迟枚举、委托/闭包、迭代器和缓冲必须被理解。C# 4.0 variance提高只读/只写泛型接口组合性但不改变可变集合不变性。dynamic绕开静态集合约束只应停留在互操作边界named/optional参数则改善复杂API调用却带来版本兼容责任。选择 API 时应区分IEnumerableT表示可枚举不承诺缓存/Count/重复枚举ICollectionT增加Count/修改语义IListT增加顺序索引具体List暴露容量/排序等实现能力。扩展方法不能凭空提高接口复杂度保证。八、可复现源码小实验建立多个固定 LangVersion/TargetFramework项目或用现代SDK的/langversion重现语法接受边界现代编译器输出不等于历史编译器逐字IL所以历史研究还应保存原VS工具链或官方反编译资料。8.1 查看 iterator和闭包static IEnumerableint Filter(IEnumerableint source, int minimum) { foreach (int value in source) if (value minimum) yield return value; } static Predicateint Make(int minimum) { return delegate(int value) { return value minimum; }; }用 ILDasm/ILSpy查看编译器生成状态机、display class、MoveNext和Dispose不要依赖私有类型名。运行实验记录重复枚举的执行次数和异常时机。8.2 query语法等价性var querySyntax from x in values where x 0 select x * 2; var methodSyntax values.Where(x x 0) .Select(x x * 2);查看绑定到 Enumerable还是 Queryable比较表达式树/委托形态。输出相同不代表provider执行计划相同数据库实验应捕获生成查询。8.3 optional默认值二进制实验编译库V1默认值1再编译调用方只替换为默认值2的库V2而不重编调用方观察调用值随后重编调用方对比。该实验说明默认参数值与调用点版本关系不应据一次编译器结果外推所有interop元数据场景。8.4 variance编译边界尝试IEnumerablestring - IEnumerableobject、IEnumerableint - IEnumerableobject、Liststring - Listobject记录哪些编译为什么。再通过非泛型 IEnumerable观察值类型装箱边界。8.5 dynamic call site反编译动态成员访问查找CallSite与binder分别传入不同运行时类型观察缓存规则和异常。性能用BenchmarkDotNet区分首次绑定/稳态不能手写一次 Stopwatch排行。九、资料核验方法每个历史断言至少选择两类来源对应 C# language specification/ECMA标准确认语义Microsoft C# version history与VS/.NET release notes确认载体和时间对应 .NET Framework reference source/API文档确认BCL何时存在CLR/CLI规范确认generics/variance/metadata能力固定编译器的IL/metadata实验确认lowering。避免用当前learn.microsoft.comAPI页的“Applies to”倒推首次发布它可能列当前支持目标而非历史。避免把当前 Roslyn生成形态写成 VS2005编译器形态。历史博客/访谈可作为背景未经一手来源不要使用“设计者说过”的伪引语或英雄叙事。建立一张证据表断言、语言版本、VS、CLR、BCL程序集、规范章节、实验仓库/编译器版本。对不确定的小版本明确写“待按原始发布工件核验”比补一个看似精确日期可靠。十、兼容性审查清单与结论LangVersion与TargetFramework分别记录语言lowering、BCL API和CLR能力没有混成同一“版本”C#1代码未误用anonymous methodC#2未误用lambda泛型值类型无装箱结论只针对具体调用路径iterator的延迟、异常和Dispose已测试lambda捕获与expression tree目标类型已区分query syntax绑定的provider明确dynamic限制在必要interop边界并测试runtime错误optional参数默认值变更评估二进制调用方variance只用于合法接口/委托和引用转换时间线由规范、release notes和实际工具链交叉核验。C# 1.0建立类型、委托、属性和事件的组件模型2.0在语言、CLR和BCL三层加入泛型并用iterator/anonymous method改善集合算法3.0组合lambda、extension、query和expression tree把序列与provider查询统一为可静态绑定的语法4.0以dynamic和调用参数特性改善interop并用variance完善只读/只写泛型转换。这段历史不是四次“革命”排行榜而是一条兼容性工程链新语法尽量lower到既有CLI能力需要新runtime时由元数据明确承载需要库时由目标框架提供API。理解这三层才能解释为什么某段源码能编译却不能在旧平台运行也能理解今天集合API里的类型安全、延迟枚举和variance从何而来。下一篇C# 版本演化全景下5.0 到 12.0