C#中is运算符声明的变量为何作用域超出if语句？如何规避？

这个问题我刚接触C#模式匹配的时候也踩过坑，确实和我们直觉里的“大括号界定作用域”有点不一样，我来给你掰扯清楚：

一、为什么is声明的变量作用域超出if大括号？ #

C#里通过is模式匹配声明的变量（比如你代码里的c），它的作用域规则不是绑定到if的大括号内部，而是绑定到包含该if语句的外层代码块。

这是C#语言规范特意设计的：团队考虑到开发者可能在if的else分支，或者if语句之后的代码里需要复用这个类型匹配后的变量，所以把它的作用域提升到了外层的封闭代码块里，避免重复类型判断和变量声明。

比如你的代码里：

Animal a = new Cat();
if (a is Cat c) {
    Console.WriteLine(c); // 正常访问
}
Console.WriteLine(c); // 居然也能访问！

这里的c作用域是整个当前方法（或者外层的代码块），而不是if的大括号。

二、为什么和for循环不一样？ #

for循环里的初始化变量（比如for (int i = 0; ...)里的i），它的作用域是被严格限制在for循环结构内部的——这是因为for循环的变量是专门为循环迭代设计的，C#规范明确把它的作用域限定在循环体内，防止后续代码误用到循环结束后的变量值，也避免重复声明的问题。

两者的设计目标不同：is的变量是为了类型匹配后的复用，for的变量是为了循环迭代的隔离，所以作用域规则不一样。

三、如何规避这个“超预期”的作用域？ #

如果你想让is声明的变量严格限制在if内部，有几种靠谱的方法：

1. 手动添加嵌套代码块（最推荐） #

把if语句放到一个单独的{}代码块里，这样c的作用域就被限制在这个小代码块内了：

Animal a = new Cat();
{
    if (a is Cat c) {
        Console.WriteLine(c); // 正常访问
    }
}
// 这里访问c会直接编译报错，符合你的预期
// Console.WriteLine(c); // 编译错误：名称“c”在当前上下文中不存在

2. 使用switch语句替代if #

switch的模式匹配分支里，变量的作用域是严格绑定到当前case分支的：

Animal a = new Cat();
switch (a)
{
    case Cat c:
        Console.WriteLine(c);
        break;
    // 其他分支可以按需添加
}
// 这里访问c会编译报错

3. 提前声明变量（不推荐，略繁琐） #

如果你确实需要后续复用变量，但又不想让作用域太宽，可以提前声明一个可空的变量，在if里赋值：

Animal a = new Cat();
Cat c = null;
if (a is Cat tempC) {
    c = tempC;
    Console.WriteLine(c);
}
// 后续可以用c，但要注意null判断
if (c != null) {
    // 做一些操作
}

另外，你遇到的重复声明报错（if (a is Cat c)第二次写会报错），就是因为第一个c的作用域还在当前代码块里，第二次声明相当于重复定义同一个变量，所以编译不通过。用上面的方法就能避免这个问题。

内容的提问来源于stack exchange，提问作者PassionateDeveloper