为什么for循环内已赋值变量，C#编译器仍报未分配错误？

报错核心原因 #

该错误是C#语言规范中**明确赋值（Definite Assignment）**规则的正常触发，本质是C#编译器的静态检查逻辑不会推导可变循环条件的执行可能性：

• C#要求所有局部变量在被读取使用前，必须在所有可能的执行路径下都完成赋值，该检查是编译期完成的静态分析，不会实际运行代码推导业务逻辑的执行路径。
• 你的代码中for循环的判断条件i <= 5包含变量i，属于非常量表达式，编译器默认这类循环存在「一次都不执行」的可能性，因此不会将循环体内部的foo = 1.23识别为一定会执行的赋值操作。
• 如果把循环条件修改为常量表达式，编译器就能识别到循环必然会进入，此时就不会触发该报错。

你给出的原始报错代码：

class Program
{
    static void Main(string[] args)
    {
        double foo;
        for (var i = 0; i <= 5; i++)
        {
            foo = 1.23;
        }
        var bar = foo; // 此处触发未赋值报错
    }
}

修改为常量循环条件后的可运行代码：

class Program
{
    static void Main(string[] args)
    {
        double foo;
        // 循环条件为常量true，编译器识别到循环必然进入
        for (var i = 0; true; i++)
        {
            foo = 1.23;
            if (i > 5) break;
        }
        var bar = foo; // 不会触发报错
    }
}

你提到的将double foo;替换为var foo = 0d;的修复方式也是符合规则的，提前给变量赋初始值后，无论循环是否执行，变量都满足明确赋值的要求。

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