02-03-历史-CSharp版本演化全景-下-5.0到12.0

C# 版本演化全景（下）：5.0 → 12.0

系列：C# 与常用数据结构源码剖析 · 历史与演化篇
阅读时间：约 90 分钟
时间范围：C# 5（2012）至 C# 12（2023）；发布日期按主流正式发布节点概括，不把预览版时间混入。
边界原则：语言规范、Roslyn 编译器、目标框架/reference assembly、BCL 与 CLR/backend 是不同层；“C# 版本支持”不能替代目标项目编译和运行验证。

---

一、先建立四层兼容模型

一段现代 C# 能否工作，要连续通过四层：

层	回答的问题	示例
语言/编译器	parser、binder、flow analysis 是否认识语法	records、list patterns、primary constructors
lowering/IL	语法被展开成什么 IL/生成类型	async 状态机、using/finally、interpolated string handler
TFM/reference assembly/BCL	编译所需类型和成员是否存在	IAsyncEnumerable<T>、Index、Range、IsExternalInit
runtime/backend	CLR/JIT/AOT 是否执行相应 IL/API/元数据	CoreCLR、Mono、NativeAOT、Unity IL2CPP/Burst

有些特性几乎只是语法 lowering，可以在较老 CLR 上运行；有些依赖新 BCL 类型；有些需要 runtime 识别 modreq、默认接口方法或 ref-safety 元数据；有些在 AOT/裁剪环境受限。<LangVersion>12.0</LangVersion> 不会把 .NET Framework 或 Unity 的 BCL 自动升级为 .NET 8。

Roslyn 也不是语言版本本身。一个 Roslyn 编译器可选择多个 LangVersion，并根据目标 reference assembly 报 API 缺失；不同 IDE/Unity 内置编译器版本又可能支持不同子集。

本篇不追求列出每个小语法，而聚焦 C# 5–12 如何改变控制流、数据表示、空值/所有权契约和集合处理。

---

二、时间线总览

版本	正式节点	改变控制流/数据模型的主线
C# 5	2012	async/await、调用方信息
C# 6	2015	Roslyn 成为编译器平台、字符串插值、null 条件、异常过滤器
C# 7.0–7.3	2017–2018	ValueTuple/解构、模式、ref returns/locals、ref struct、in/readonly struct、泛型约束增强
C# 8	2019	nullable reference types、async streams、default interface methods、range/index、using declaration、switch expressions
C# 9	2020	records、init、with、函数指针、顶级语句、模式增强
C# 10	2021	global using、file-scoped namespace、record struct、interpolated string handlers
C# 11	2022	required、generic math 支撑的 static abstract interface members、list patterns、raw strings、ref fields/scoped 等 ref-safety 演进
C# 12	2023	primary constructors、collection expressions、任意类型 alias、默认 lambda 参数、ref readonly parameters 等

小版本会补充功能与规则，例如 7.1 的 async Main/default literal、7.2 的 ref 安全能力、7.3 的约束和 fixed 改进。精确迁移应查目标 language spec 与 breaking changes，不只看大版本名。

---

三、C# 5：async/await 把回调写成状态机

3.1 语法改变控制流，不等于创建线程

static async Task<byte[]> DownloadAsync(
    HttpClient client,
    string uri,
    CancellationToken token)
{
    byte[] data = await client.GetByteArrayAsync(uri, token);
    return data;
}

Roslyn 将 async 方法 lowering 为实现状态机协议的生成类型，局部/参数若需跨 await 就成为状态机字段。builder 管理 Task/ValueTask 等结果，awaiter 注册 continuation。await 在操作未完成时通常让出当前线程；它不会自动并行，也不保证 continuation 在原线程。

状态机改变数据生命周期：原本短期局部可能随 Task 活到操作完成；捕获大集合、this 或 ExecutionContext 会延长对象存活。同步完成路径与真正挂起路径的分配不同，不能写“async 每次固定分配一个状态机对象”。

3.2 异常、取消与 finally

async Task 方法的异常通常存入返回 Task，在 await 时传播；调用前同步参数验证如何表现取决于代码是否在状态机内执行。CancellationToken 是协作协议，不因方法叫 Async 自动生效。using/try/finally 跨 await 会被状态机保存，资源释放必须覆盖所有状态。

async void 主要用于事件处理器，调用方无法正常 await/组合异常。数据管线应返回 Task。

3.3 依赖层

async/await 语法需要编译器与可用的 async method builder/awaiter pattern；常用 Task API来自 BCL。自定义 task-like 类型是后续语言扩展。Unity 协程不是 Task 状态机的同义词，SynchronizationContext 和生命周期要单独测试。

调用方成员名/文件/行号特性也是 C# 5 的编译器注入能力，不要求运行时读取源码；它改变日志 API，但参数可被调用方显式覆盖。

---

四、C# 6：Roslyn 平台与空值/字符串表达式

4.1 Roslyn 的历史意义

C# 6 与 Visual Studio 2015 时期标志 Roslyn 编译器平台成为主流：语法树、语义模型、analyzer、code fix 和开放编译 API 让语言工具可编程。Roslyn 开源不等于“从 C# 6 起所有 runtime 变了”；多数 C# 6 功能 lowering 为旧 IL 模式。

4.2 null-conditional 与求值次数

int? count = session?.Players?.Count;

?. 对接收者求值一次，null 时短路并产生合适的 null/lifted 结果。它减少竞态式重复 getter，但不是并发同步：另一个线程仍可修改对象内部。链中的方法/索引器副作用只在前段非 null 时执行。

null-conditional 不提供 C# 8 NRT 的静态流分析，也不让 null 错误消失；它只是运行时分支语义。

4.3 字符串插值

string text = $"Player {id} has {score:N0} points";

C# 6 的插值通常 lowering 到 format/concat 类调用，具体形态随 Roslyn、目标框架和表达式。它不是零分配保证，值类型格式化可能装箱。C# 10 的 interpolated string handler 又改变可定制热路径，后文再讲。

4.4 其他控制流/契约

异常过滤器 catch (Exception ex) when (...) 在决定进入 handler 前计算条件，语义与 catch 后再 if/rethrow 不完全相同，尤其栈展开时机。nameof 产生编译期字符串，利于重构但不是反射路径验证。表达式体成员、using static、自动属性 initializer等主要改善表达，不改变集合布局。

---

五、C# 7.0：ValueTuple、解构、模式与 ref 返回

5.1 元组是语法 + BCL 类型

static (int min, int max) Bounds(ReadOnlySpan<int> values) => ...;

编译器通常承载为 System.ValueTuple<int,int>；元素名通过元数据属性/编译器体验表达，不是运行时字段名。目标框架若不含 ValueTuple，历史项目可能引用包。值类型允许内联存储，但经 object/接口会装箱，大元组复制也有成本，不能称“绝对零堆分配”。

解构不只用于元组；任何有适用实例/扩展 Deconstruct(out...) 的类型可参与。record 的自动 Deconstruct 是后来功能。

5.2 模式匹配开始把类型测试变成数据流

if (value is Order order && order.Total > 0)
    Process(order);

类型模式将测试和绑定组合，编译器进行 definite assignment/flow 分析并 lower 成 type test/cast/branch。实际 JIT 可进一步消除重复检查。模式不保证无分配；属性/Deconstruct pattern 可能调用用户代码。

5.3 ref locals/returns 改变别名关系

static ref int At(int[] array, int index) => ref array[index];
ref int slot = ref At(buffer, 3);
slot = 42;

ref return 避免值复制并允许原位修改，却把存储生命周期和别名暴露给调用方。返回 List/Dictionary 内部 ref 时，扩容/删除可使引用失效；标准 API 是否允许要按版本。编译器 ref-safety 只覆盖可表达生命周期，不替代容器结构契约。

局部函数、out variable、throw expressions等改善控制流组织；局部函数捕获也可能生成 closure/状态，需看 lowering。

---

六、C# 7.1–7.3：ref safety 与低层数据路径

6.1 7.1：入口与推断

async Main 让入口返回 Task/Task，编译器生成同步入口桥接；default literal 和推断 tuple names减少冗余，但可能使 overload resolution 更依赖上下文。inferred tuple names 仍不是运行时字段身份。

6.2 7.2：readonly struct、in、ref readonly、ref struct

readonly struct Cell
{
    public readonly int X;
    public readonly int Y;
}

static int Read(in Cell cell) => cell.X;

in 以 readonly reference 传递，可能避免大值复制，也可能因调用非 readonly 成员产生 defensive copy；小结构未必受益。ref readonly 返回只读别名。readonly struct 向编译器承诺实例状态不变，有利于避免某些复制。

ref struct 限制值逃逸到托管堆、装箱和跨不允许 async/yield 生命周期。Span<T> 是 BCL 中最著名的 ref struct，但 Span 的类型/API并非“C# 7.2 自动内置”；目标 reference assembly 必须提供，运行时/JIT/AOT 优化也独立。

stackalloc 转 Span 和 private protected 等也属这个阶段。stackalloc 生命周期/上限仍由程序负责。

6.3 7.3：泛型约束和低层语法补齐

unmanaged、System.Enum、System.Delegate 等约束增强泛型算法表达；fixed pattern、stackalloc initializer和 ref reassignment 等改进低层路径。约束是编译期能力，还要看 TFM 是否提供相关 API；unmanaged 不等于某原生 ABI 完全 blittable。

---

七、C# 8：空值契约、异步序列和接口演进

7.1 Nullable Reference Types 是静态分析，不是运行时非空保证

#nullable enable
string? FindName(int id) => ...;
string GetName(int id) => ...;

?、flow state 与属性主要帮助编译器/analyzer发警告。string 在 CLR 类型系统里仍是可持有 null 的引用；旧程序集、反射、!、未注解代码都可传入 null。NRT 不插入通用运行时检查，也不自动消灭 NRE。

迁移大型项目应先启用 annotations/warnings 分阶段，修正公共契约，再处理内部。notnull 泛型约束也主要是可空注解语境，不等于运行时检查。

7.2 异步流

static async IAsyncEnumerable<Event> ReadEventsAsync(
    [EnumeratorCancellation] CancellationToken token = default)
{
    while (await HasNextAsync(token))
        yield return ReadCurrent();
}

async iterator 将 async 状态机与 iterator 状态机组合，通过 IAsyncEnumerable<T>/IAsyncEnumerator<T>、ValueTask<bool> 等 BCL 协议逐项等待。调用方法通常先返回延迟序列，await foreach 才推进。取消不会仅因参数存在自动绑定，WithCancellation/EnumeratorCancellation规则需正确使用。

无限流需要窗口、背压和 DisposeAsync；await foreach 不是缓存快照。目标框架需提供相关接口/attributes/builders。

7.3 Default Interface Methods

接口可有默认实现，支持库接口演化与 trait-like 复用。它依赖 runtime 的接口分派支持，不是纯语法 lowering；旧 CLR/某些 Unity Mono 不一定支持。菱形冲突、reabstraction 与版本兼容需测试。

7.4 Index/Range 与切片成本

int last = array[^1];
int[] middle = array[1..^1];
ReadOnlySpan<int> view = array.AsSpan()[1..^1];

^/.. 绑定到 index/range pattern 与 BCL System.Index/Range。数组 range 产生新数组复制；Span range 产生视图。相同语法不等于相同分配。目标框架还需 Index/Range 类型和相应成员。

switch expression、property/tuple/positional patterns、using declarations提高声明式控制流；using declaration 的 Dispose 发生在包含作用域末端，不是文本下一行。

---

八、C# 9：records、init 与数据建模

8.1 record 的值式语义有边界

public record Player(int Id, string Name, Inventory Items);

Player renamed = player with { Name = "New" };

record class 自动生成/合成值相等、GetHashCode、打印、克隆/with、Deconstruct 等成员，继承还有 EqualityContract 语义。with 是浅复制：renamed.Items 仍可与原对象共享可变 Inventory。record 不等于深不可变。

把 record 放 Dictionary 键要求所有参与相等/哈希的成员在入表后稳定。可变引用成员的内部状态若参与其 Equals/GetHashCode，仍可破坏键。

8.2 init-only

public sealed class Config
{
    public string Name { get; init; } = "default";
}

init 限制普通赋值发生在对象初始化阶段，底层依赖 IsExternalInit/modreq 等编译与元数据约定；旧 TFM 可能需要兼容类型。反射/serializer 行为按工具版本。init 不让属性引用对象深不可变。

8.3 其他机制

目标类型 new()、target-typed conditional改善泛型/集合初始化表达。nint/nuint 表达 native-sized integer，序列化和跨架构需谨慎。函数指针 delegate* 服务低层互操作，依赖 unsafe、ABI 与 backend。顶级语句由编译器生成入口类型/方法，多个文件/入口规则需要理解。

模式匹配加入 relational/logical patterns，编译器可能构造 decision DAG；属性 getter 可被调用，不能把模式当纯数据读取。

---

九、C# 10：项目级精简与可定制字符串构建

9.1 global using 与 file-scoped namespace

global using 在整个 compilation unit 集合中导入命名空间/别名；file-scoped namespace减少缩进。它们主要影响名称绑定和工程风格，不改变运行时性能。全局导入可能制造扩展方法/类型歧义，库模板升级要做编译回归。

9.2 record struct

record struct 为值类型合成值相等、打印、Deconstruct/with 等；可声明 readonly record struct。值类型复制、装箱和大结构成本仍存在。默认 record struct 可变性与 record class 不同，不能把“record”统一解释为不可变。

9.3 interpolated string handler

编译器可把插值 lowering 到 handler pattern，让日志 API 在禁用级别时跳过格式化/追加，并让 DefaultInterpolatedStringHandler 使用高效缓冲：

logger.LogTrace($"Entity {id} at {position}");

是否真正避免分配取决于 API 参数是否采用 handler、编译器绑定、表达式副作用和 handler 实现。传统接收 string 的 API 仍先构造 string。自定义 handler 要正确处理 AppendFormatted 重载、shouldAppend 和 ref-safety。

lambda 改进、constant interpolated strings、CallerArgumentExpression等也改善 API 诊断；后者由编译器注入调用表达式文本，不是运行时反射源码。

---

十、C# 11：required、generic math 与集合模式

10.1 required members

public sealed class SaveHeader
{
    public required string Version { get; init; }
    public required Guid SlotId { get; init; }
}

required 让编译器要求对象初始化器/标记构造路径设置成员，依赖 attributes/metadata 和 SetsRequiredMembers 等协议。它不是运行时普遍验证；反射、旧编译器、serializer 可能绕过，成员仍可能被赋 null（再由 NRT警告）。

继承与构造器演进会影响调用方源兼容。给已发布类型新增 required 成员是 breaking source change，应配迁移默认值/工厂。

10.2 static abstract interface members 与 generic math

语言允许接口声明 static abstract/virtual 成员，BCL .NET 7 的 INumber<TSelf> 等利用它构建泛型数学：

static T Sum<T>(ReadOnlySpan<T> values) where T : INumber<T>
{
    T sum = T.Zero;
    foreach (T value in values)
        sum += value;
    return sum;
}

这里 C# 11 提供调用语法/约束能力，INumber<T> 来自目标 BCL。目标旧框架没有接口就不能直接编译。JIT/AOT 对静态接口泛型调用、代码共享和内联的质量也独立。

10.3 list patterns

if (tokens is ["move", var x, var y]) { ... }

list pattern 通过 count/length、indexer、slice pattern 等协议匹配，不必先创建 List，但 slice .. var rest 的结果类型/操作可能分配或复制，取决于被匹配类型。getter/索引器可有副作用。它是 decision/control-flow lowering，不是“任意 IEnumerable 流式模式”。

10.4 ref safety 与其他数据表达

ref fields（受限于 ref struct）、scoped 与相关 lifetime annotation增强借用安全；语言/编译器与 runtime metadata规则需匹配。UTF-8 string literals 产生 ReadOnlySpan<byte> 视图语义并依赖编译器数据；raw string literals 主要改善多行/转义表达，不自动改变 string runtime。

checked user-defined operators、unsigned right shift等补齐数值协议。泛型算法必须明确溢出语义。

---

十一、C# 12：构造与集合表达再统一

11.1 primary constructors

public sealed class Cache(int capacity, IClock clock)
{
    private readonly Entry[] _entries = new Entry[capacity];
    public DateTime Now => clock.UtcNow;
}

class/struct primary constructor 参数在整个类型声明可用，但不是自动生成同名属性（record positional parameters 的合成规则不同）。编译器只在成员需要捕获时生成存储，具体字段名是实现细节。参数若被基类和成员多处捕获，注意可变对象别名和警告。

更改 primary constructor 参数会改变构造 API；依赖注入/serializer/Unity 组件构造规则要验证。Unity 的 MonoBehaviour/ScriptableObject 不应因语法可用就改成普通构造注入生命周期。

11.2 collection expressions

int[] ids = [1, 2, 3];
List<int> list = [1, 2, 3];
ReadOnlySpan<int> view = [1, 2, 3];
int[] combined = [..left, 0, ..right];

[...] 是 target-typed，目标类型/collection builder决定 lowering、容量和分配。数组目标分配数组，List目标建立 List，Span目标可有编译器选择的安全存储；spread 必须枚举/复制源且异常/次数可观察。相同表达式不是统一零成本容器。

自定义类型可通过支持的 collection builder 协议参与，依赖 attributes/BCL。overload context 不明确时可能无法推断或选择意外目标。公开 API 中应避免让 target type 含糊。

11.3 ref readonly parameters

ref readonly 参数让调用契约表达只读引用并区别 in 的调用/兼容意图；编译器可能对不匹配调用给 warning。它仍可能涉及临时变量、defensive copy 和元数据兼容，需看具体 struct 与调用点。

alias any type、默认 lambda 参数、params lambda、inline arrays（语言/attribute/runtime配合）等继续扩展数据表达。inline array 不是任意长度安全数组，ref-safety 和目标框架 attributes 要核对。

---

十二、Lowering 对照：同一语法不等于同一运行时成本

表面语法	编译器常见 lowering/协议	隐藏边界
await x	awaiter + 状态机/builder	捕获、上下文、同步/异步完成
$"{x}"	format/concat 或 handler	目标 API、装箱、最终 string
(x,y)	ValueTuple + names metadata	装箱、复制、BCL 类型
obj is Pattern	tests/branches/decision DAG	getter/Deconstruct 副作用
a[^1]	Length/Index offset 协议	TFM API、边界检查
a[1..]	Range/Slice/目标专用	数组复制 vs Span 视图
with	clone/copy + assignments	浅复制、record 类型规则
await foreach	async enumerator state machine	DisposeAsync、取消、分配
[1, ..xs]	target collection construction	spread 枚举、容量、分配

阅读性能问题时先看 Roslyn IL/生成代码，再看 BCL 实现和 JIT/AOT；不能从语法名直接判定。

---

十三、二进制与源兼容

新增 optional/default interface/required/virtual 成员、更改 record positional parameters、可空注解和 primary constructor，会分别影响二进制、源代码、分析器或序列化。语言演进并不保证库随意使用新特性无破坏。

NRT 注解通常不改变 CLR 签名，却会给新编译调用方产生 warning；tuple names 也主要是 metadata 注解。init 的 modreq、required attributes、DIM 则对旧工具/runtime 支持更敏感。多目标库应在每个 TFM 编译并运行消费者测试。

序列化器可能不理解 record primary constructor、init/required、private capture field 或 collection builder。稳定 wire schema 使用显式 DTO/字段和版本迁移，不依赖编译器生成成员名字。

NuGet 库若用较新编译器输出旧 TFM，要确认所需 helper attributes/types 是否随包提供且不冲突。不要随手在多个程序集中复制 IsExternalInit 等 shim 而缺少条件编译。

---

十四、AOT、裁剪与泛型边界

async、records、patterns 等大多生成普通 IL，但反射创建、泛型 math、默认接口、函数指针和 serializer 可能在 NativeAOT/IL2CPP 需要额外可达性/实例化。动态加载和表达式编译又可能依赖 runtime codegen。

collection expression/primary constructor 本身不要求 JIT，但生成的目标 API 必须存在。静态接口泛型在 AOT 中可能产生实例代码/共享策略；大规模数值类型组合影响代码体积。用发布构建 size/map 与目标设备验证。

裁剪器看不到反射字符串访问的 record/required成员时可能移除元数据；使用注解、源生成 serializer或显式保留。语言版本升级不解决 linker 警告。

---

十五、Unity 边界

Unity 项目必须记录：编辑器完整版本、内置 C# 编译器/LangVersion、API Compatibility Level、Mono/IL2CPP、平台、Burst/Collections 包。Unity 对语言版本的支持不必与微软发行年份同步，手改 LangVersion 也不能让内置编译器/BCL/runtime完整支持。

典型分层：

• records/init/required 可能缺 helper attributes 或 serializer/Inspector 支持；
• Span/ref struct 语法可用不代表所有 System.Memory/Parse API 存在；
• default interface methods 需要 Unity runtime 后端支持；
• async streams 需要接口/BCL 与生命周期整合，不能把 MonoBehaviour 销毁当自动取消；
• collection expressions/primary constructors取决于 Unity Roslyn 版本；
• Burst 支持的是独立 C# 子集，托管 records、async、LINQ 通常不属于 Burst Job。

IL2CPP 是 AOT backend，不是 CoreCLR；泛型、反射、DIM、函数指针和裁剪在目标真机构建验证。编辑器 Mono 编译/运行成功不够。

Unity 序列化以字段/支持类型和引擎规则为准，不会因 required/init/record 自动获得理想 Inspector 和存档语义。使用显式可序列化 DTO 与导入验证。

---

十六、编译与兼容实验

16.1 多 LangVersion/TFM 矩阵

同一小项目分别用 LangVersion 7.3、8、10、11、12 和 netstandard2.0/netstandard2.1/net8.0 编译。记录是语法报错、类型缺失、成员缺失还是运行失败。不要自动安装 shim 掩盖层级。

16.2 IL lowering

用 ILSpy/SharpLab/编译器生成文件检查：async state machine 字段、call to interpolated handler、ValueTuple names attribute、range 数组/Span路径、record合成成员、required/init metadata、collection expression target。Release/Debug分别看，固定 Roslyn 版本。

16.3 运行时/AOT

在 CoreCLR JIT、ReadyToRun/NativeAOT（适用）和 Unity Mono/IL2CPP 构建同语义测试。验证 DIM dispatch、generic math、async iterator取消、反射 serializer和裁剪。保存 linker warnings 与生成代码体积。

16.4 行为属性测试

验证 record with 是浅复制、可变键风险；range 对 array 复制而 Span共享；async取消/finally；list pattern getter调用次数；collection spread枚举次数与异常；required被反射绕过时的运行验证策略。

实验结论附 SDK、Roslyn、TFM、runtime/backend、Unity 和包版本，不使用“C# 12 更快”这类无语义比较。

---

十七、迁移清单

1. 先确定目标 TFM/runtime/Unity，而不是先把 LangVersion 设 latest。
2. 阅读语言与 compiler breaking changes，开启 CI 多 TFM/后端。
3. 将 NRT 分阶段启用，修正公共契约，不用 ! 清零 warning 数量。
4. async API 设计取消、超时、DisposeAsync 和异常观察；不盲目改 ValueTask。
5. record/with 审计深层可变成员与 Dictionary 键稳定性。
6. ref/Span API 明确 owner、逃逸、扩容失效和跨 async 边界。
7. DIM 先验证所有目标 runtime 与旧实现类。
8. required/init/primary constructor验证 serializer、DI、反射与旧消费者。
9. generic math确认 BCL interface与 AOT实例/代码体积。
10. collection expression核对 target type、spread枚举、容量和分配。
11. 保持 wire schema显式，不序列化编译器私有字段/哈希。
12. 用 IL/生成代码和目标 profile验证，不按版本营销判断性能。

---

十八、总结：现代 C# 是协议叠加，不是运行时版本号

C# 5 用状态机把异步控制流结构化；C# 6 以 Roslyn 平台和 null/字符串/异常表达改善编译器生态；C# 7 系列引入元组、模式与 ref-safety，改变轻量数据和别名；C# 8 加入静态可空分析、异步流、DIM 与 range；C# 9–12 继续用 records/init/required/primary constructors 和 collection expressions改造数据契约与构建表达。

这些能力分别依赖编译器 lowering、BCL 协议、元数据和 runtime/backend。NRT 不是运行时非空，ValueTuple 不保证零分配，Span 不是某语言版本自带 BCL，collection expression也不是统一零成本容器。

真正的升级方法是建立语言—TFM—BCL—runtime矩阵，检查 IL 和生成代码，验证序列化/AOT/Unity，并把兼容性测试放进 CI。这样版本时间线才是理解机制的地图，而不是一串“杀手特性”广告。

---

下一篇：C# 如何运行：从源码到执行的全链路