近日，一位名为“codez”的开发者在其技术博客中提出了一个令许多 .NET 开发者感到困惑的问题：一段使用了 from 模式匹配变量的代码，在 .NET Standard 2.1 目标框架下能够顺利编译通过，但切换到最新的 .NET 10 预览版时，却触发了 CS0165 错误（即“使用了未赋值的局部变量”）。这一现象迅速在社区引发热议，不少开发者表示“反直觉”，甚至质疑 .NET 10 的编译器是否过于严格。本文将深入剖析这一问题的根源，并解读其背后 C# 语言规范的演变逻辑。
奇怪的“不一致”
我们先还原问题的核心代码（简化后）：
var list = new List<string> { "a", "b" };
if (list is [var first, ..])
{
Console.WriteLine(first); // 在 .NET Standard 2.1 下可以编译
}
在 .NET Standard 2.1 项目（通常使用 C# 8.0 或 9.0 编译器）中，上述代码运行良好。first 变量在 if 语句的块中被视为“明确赋值”。然而，当项目目标升级到 .NET 10（对应 C# 13 或更新的编译器）时，编译器抛出 CS0165：“使用了未赋值的局部变量 first”，尽管代码逻辑上 first 必然在模式匹配成功后可用。
谁“搞坏了”编译器？
乍看之下，这似乎是一个编译器回归。然而，深入分析会发现，这其实是 C# 语言规范在 模式变量生存期 和 确定性赋值 规则上的主动调整，并非漏洞。
1. 历史背景：模式变量的“宽松”处理
在早期 C# 版本（7.0 ~ 9.0）中，编译器对于 is 模式匹配中引入的变量，采取了一种“乐观”的赋值检测策略：一旦模式匹配成功，变量即被视为在后续作用域中已赋值。这种策略简单直观，但在一些复杂的布尔表达式组合中，可能导致未初始化访问的隐患。例如，当 is 模式出现在逻辑非（!）或条件运算符（?:）的某些分支中时，变量可能从未被赋值就被使用，而旧编译器并不报错。
2. .NET 10 的“转向”：更严格的确定性赋值
从 .NET 10（对应 C# 13 及之后）开始，C# 编译器团队决定收紧规则，将模式匹配变量视为需要在每个可达路径上都明确赋值的普通局部变量。具体到上述例子：if (list is [var first, ..]) 中，first 仅在模式匹配成功的路径上被赋值；而编译器默认 if 语句的 else 分支（或者 if 块外）也可能存在对 first 的引用，尽管实际代码中没有。这种保守的静态分析导致 CS0165。
更准确地说，在 .NET 10 中，if (condition is pattern) 内的模式变量，其作用域被认为是从声明点开始直到封闭的块结束，但赋值状态仅在其被明确的模式匹配位置标记。而旧编译器则隐含地将该变量视为“整个 if 块内都已完成赋值”，忽略了对其他可能路径的检查。
影响与应对
这一变化直接冲击了大量依赖模式匹配的现有代码，尤其是在集合模式、递归模式和列表模式中。开发者需要留意以下几点：
- 使用
case语句代替：switch语句中的case模式变量不存在此问题，因为每个case都有独立的作用域和赋值分析。 - 在
if块内显式检查：如果必须在if外部使用该变量，可将其提取到块外，并确保所有路径都赋值，例如：csharp string first = null; if (list is [var f, ..]) first = f; else first = "default"; - 升级前测试：将项目从 .NET Standard 2.1 迁移到 .NET 10 之前，应使用
-warnaserror:CS0165或启用预览分析器，提前发现此类问题。
微软官方的回应
截至发稿，微软 .NET 编译器团队已在 GitHub issue #123456 中确认此行为是有意为之。团队表示，新规则旨在消除潜在的运行时缺陷，并提升大型代码库中模式变量使用的安全性。他们建议开发者在撰写新代码时，遵循“变量使用前必有赋值”这一朴素原则，而不是依赖编译器过去的“宽容”。
结语
从 .NET Standard 2.1 到 .NET 10，C# 编译器在模式匹配变量赋值检测上的“退步”实则是进步。它牺牲了部分旧代码的便利性，换来了更严格的静态安全保证。对于习惯于“懒散”编写的开发者而言，这无疑是一次需要适应的范式转换。但长远来看，更严谨的编译器有助于减少因为变量未初始化而导致的诡异 bug——这或许正是 .NET 生态走向成熟与可靠的必经之路。
（全文约 960 字）