在每次调用中重用幸存的局部变量。 UB？

Question

我是 C# 新手。我遇到了这样的代码示例：

namespace App1
{
    delegate int Sum(int number);

    class TestAnonymusMethod
    {
        static Sum m()
        {
            int result = 0;  // is not zeroed between calls

            Sum del = delegate (int number)
            {
                for (int i = 0;  i <= number;  i++)
                    result += i;
                return result;
            };
            return del;
        }

        static void Main()
        {
            Sum del1 = m();

            for (int i = 1;  i <= 5;  i++)
                Console.WriteLine("Sum of {0} == {1}", i, del1(i));

            Console.ReadKey();
        }
    }
}

输出是：

Sum of 1 == 1
Sum of 2 == 4
Sum of 3 == 10
Sum of 4 == 20
Sum of 5 == 35

如您所见，局部变量 result 在调用之间未归零。它是“未定义的行为”吗？看起来这是因为当result 的范围关闭时，它的生命周期是未定义的。

但是在 C# 中重用活动实体的规则是什么？这是规则 - “总是重复使用”，还是在某些情况下，会创建新的而不是重复使用幸存的旧的？

Answer 1

是“未定义的行为”吗？

不，这是定义明确的行为 - 只是不是您期望的行为。

看起来这是因为当结果范围关闭时，它的生命周期是未定义的。

不，result 的生命周期超出了m() 的范围。来自 C# 5 规范第 7.15.5.1 节：

当一个外部变量被一个匿名函数引用时，这个外部变量被称为被匿名函数捕获。通常，局部变量的生命周期仅限于执行与其关联的块或语句（第 5.1.7 节）。但是，捕获的外部变量的生命周期至少会延长，直到从匿名函数创建的委托或表达式树符合垃圾回收条件。