C#声明模式变量跨if语句使用的问题与实现方案咨询

针对你遇到的C#空安全变量声明与编译器识别问题，直接给出清晰的处理方案和分析：

替代初始写法的更优方案 #

你完全不需要先将partner初始化为null!，直接赋值就能解决编译器的未赋值警告，同时逻辑更合规：

Person? partner = person.Partner;
if (partner is not null)
{
    // 处理partner非null的业务逻辑
}
// 后续直接使用partner，编译器会识别它已被赋值（可能为null）

这种写法符合C#空安全规范，不需要依赖null!这种抑制警告的语法，可读性更强，也不会隐藏潜在的空引用风险。

关于声明模式的作用域问题 #

你尝试在if语句中用声明模式声明partner，但编译器判定后续未赋值，核心原因是声明模式创建的变量作用域仅限于if代码块内部，外部无法访问该变量。如果要在块外使用，必须提前在块外声明变量，这也是直接提前赋值更合理的原因。

如果非要结合模式匹配，可采用模式赋值，但写法冗余，不如直接赋值简洁：

Person? partner = null;
if (person.Partner is var p)
{
    partner = p;
    // 处理非null逻辑
}

初始写法是否为标准唯一方案？ #

你的初始写法（先初始化null!再赋值）既不是标准方案，也不是唯一方案，甚至不推荐使用——null!的作用是告知编译器“我确定这个变量不会为null”，但你的场景中partner本身就允许为null，用null!属于滥用语法，反而会掩盖潜在的空引用问题。前面提到的直接赋值才是符合C#空安全设计的标准写法。

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