C#编译器提示“并非所有代码路径返回值”：普通与const字符串差异解析

在VS2022、.NET8环境且禁用Nullable的情况下，存在这样的编译差异：

• 定义普通字符串并赋值为"test"，判断其非空后返回null，编译器提示「并非所有代码路径都返回值」
• 把字符串改成const修饰后，同样的逻辑却没有这个编译提示

核心疑问：为什么编译器会认为普通字符串的赋值和条件检查之间，值可能发生变化，进而觉得存在无返回值的路径？

代码示例1（普通字符串，编译报错） #

public Object Test() {
    string testStr = "test";
    if (testStr != null) {
        return null;
    }
}

代码示例2（const字符串，编译正常） #

public Object Test() {
    const string testStr = "test";
    if (testStr != null) {
        return null;
    }
}

核心差异源于编译器对两种变量的分析规则 #

• 普通字符串变量：哪怕你直接给它赋值了字面量，编译器也只会把它当成「可能被修改的变量」。它不会因为当前代码没写修改逻辑就认定值永远不变——毕竟存在反射这种能偷偷修改变量的非常规操作，所以编译器的控制流分析会保留“testStr可能为null”的可能性。这样一来，编译器就会觉得如果testStr != null不成立，方法就没有返回值，从而报错。

• const字符串：const是编译阶段就确定死的常量，编译器完全知道它的值永远是"test"，不可能为null。所以编译器会直接把这个if判断当成无效代码优化掉，认定方法一定会执行return语句，自然不会报无返回值的错误。

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