如何在if条件外使用C#声明模式？

你遇到的问题是C#声明模式的确定性赋值规则导致的：当你把greeting is string str直接赋值给布尔变量时，编译器无法保证str一定被初始化——如果greeting不是string类型，str就处于未赋值状态，后续使用自然会触发CS0165错误。而在if条件里使用时，编译器能确定只有条件成立（即类型匹配）才会进入代码块，此时str必然已被正确赋值，所以不会报错。

下面是几种可行的解决方法：

方法1：保留if条件包裹（最常规的用法） #

这是官方示例推荐的方式，利用条件分支的确定性来保证变量可用：

object greeting = "Hello, World!";
if (greeting is string str)
{
    Console.WriteLine(str); // 正常运行，输出Hello, World!
}

方法2：结合as运算符与null合并（适合必须为目标类型的场景） #

如果你的业务逻辑中greeting必须是string，可以用as做转换，搭配null合并运算符直接抛出异常：

object greeting = "Hello, World!";
var str = greeting as string ?? throw new InvalidOperationException("greeting不是字符串类型");
Console.WriteLine(str); // 正常运行

方法3：使用switch表达式同时获取结果和变量（C# 8.0+） #

通过switch表达式可以一次性得到类型匹配的布尔结果和转换后的变量，编译器能确定变量始终被赋值：

object greeting = "Hello, World!";
var (isString, str) = greeting switch
{
    string s => (true, s),
    _ => (false, null)
};

Console.WriteLine(isString); // 输出True
Console.WriteLine(str);      // 输出Hello, World!

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