c# - Lambda 捕获参数引发歧义

Question

我刚刚遇到了一个非常奇怪的 C# 行为，如果有人能向我解释一下，我会很高兴。

比如说，我有以下类(class):

class Program
{
    static int len = 1;
    static void Main(string[] args)
    {
        Func<double, double> call = len => 1;
        len = 1; // error: 'len' conflicts with the declaration 'csutils.Program.len'
        Program.len = 1; // ok
    }
}

据我所知，在注释行中，我的视野中有以下对象:len 变量和call。在 lambda 内部，我有局部参数 len 和 Program.len 变量。

但是，在声明了这样的 lambda 之后，我不能再在 Main 方法的范围内使用 len 变量。我必须将其称为 Program.len 或将 lambda 重写为 anyOtherNameBesidesLen => 1。

为什么会这样？这是语言的正确行为，还是我遇到了语言错误？如果这是正确的行为，语言体系结构如何证明它的合理性？为什么 lambda 捕获变量可以扰乱 lambda 外部的代码？

编辑:Alessandro D'Andria 有很好的例子(他的评论中的第 1 条和第 2 条)。

编辑2:这段代码(等同于我一开始写的)是非法的:

class Program
{
    static int len = 0;
    static void Main(string[] args)
    {
        {
            int len = 1;
        }
        int x = len;
    }
}

然而，尽管具有完全相同的作用域结构，这段代码是完全合法的:

class Other
{
    static int len = 0;
    class Nested
    {
        static void foo()
        {
            int len = 1;
        }
        static int x = len;
    }
}

Answer 1

据我所知，在这种情况下发出编译时错误是正确的，因为不允许在子作用域(即匿名函数的参数)中使用 len (lambda)) 当相同的符号 len 在同一方法的包含范围内使用(用于其他事物)时没有限定。

但是，错误文本令人困惑。

如果您更改为:

static int len = 1;
static void Main(string[] args)
{
    len = 1;
    Func<double, double> call = len => 1;  // error CS0136: A local variable named 'len' cannot be declared in this scope because it would give a different meaning to 'len', which is already used in a 'parent or current' scope to denote something else
}

错误文本更好。

---

其他一些例子:

static int len = 1;
static void Main()
{
    var len = 3.14; // OK, can hide field

    Console.WriteLine(len); // OK, 'len' refers to local variable

    Console.WriteLine(Program.len); // OK, hidden field can still be accessed, with proper qualification
}

上面的例子表明，隐藏一个具有同名局部变量(或方法参数)的字段是可以的，只要该字段总是被限定访问(在 . 成员访问运算符之后) ).

static int len = 1;
static void Main()
{
    if (DateTime.Today.DayOfWeek == DayOfWeek.Saturday)
    {
        var len = 3.14;

        Console.WriteLine(len);
    }

    Console.WriteLine(len); // error CS0135: 'len' conflicts with the declaration 'csutils.Program.len'
}

这表明当您尝试在父作用域中使用 field len 时，不可能在子作用域中隐藏 len .错误文本再次受到批评。

static int len = 1;
static void Main()
{
    Console.WriteLine(len);

    if (DateTime.Today.DayOfWeek == DayOfWeek.Saturday)
    {
        var len = 3.14;  // error CS0136: A local variable named 'len' cannot be declared in this scope because it would give a different meaning to 'len', which is already used in a 'parent or current' scope to denote something else

        Console.WriteLine(len);
    }
}

你看到了类比。

---

当然，这些问题之前已经在 SO 上多次提及，例如 Why can't a duplicate variable name be declared in a nested local scope?