委托中变量的范围

Question

我发现以下内容相当奇怪。 话又说回来，我主要在动态语言中使用闭包，这不应该被怀疑为相同的“错误”。 以下内容让编译器不高兴：

VoidFunction t = delegate { int i = 0; };

int i = 1;

它说：

名为“i”的局部变量不能 在此范围内声明，因为它 会给“i”赋予不同的含义， 已经在“孩子”中使用过 表示其他事物的范围

所以这基本上意味着在委托内声明的变量将具有其中声明的函数的范围。这并不完全是我所期望的。 我什至没有尝试调用该函数。 至少 Common Lisp 有一个特性，如果你真的希望变量是本地的，那么你可以说变量应该有一个动态名称。 这在创建不会泄漏的宏时尤其重要，但类似的东西在这里也很有帮助。

所以我想知道其他人做了什么来解决这个问题？

为了澄清这一点，我正在寻找一种解决方案，其中我在委托中声明的变量不会干扰委托之后声明的变量。 我希望仍然能够捕获委托之前声明的变量。

Answer 1

必须采用这种方式才能允许匿名方法（和 lambda）使用包含方法范围内的局部变量和参数。

解决方法是为变量使用不同的名称，或者创建普通方法。

Answer 2

匿名函数创建的“闭包”与其他动态语言创建的“闭包”有些不同（我将使用 Javascript 作为示例）。

function thing() {
    var o1 = {n:1}
    var o2 = {dummy:"Hello"}
    return function() { return o1.n++; }
}

var fn = thing();
alert(fn());
alert(fn());

这段 JavaScript 代码将先显示 1，然后显示 2。匿名函数可以访问 o1 变量，因为它存在于其作用域链上。 然而，匿名函数具有完全独立的作用域，它可以在其中创建另一个 o1 变量，从而隐藏作用域链中的任何其他变量。 还要注意，整个链中的所有变量都会保留，因此只要 fn 变量保存函数引用，o2 就会继续存在并保存对象引用。

现在与 C# 匿名函数进行比较：-

class C1 { public int n {get; set;} }
class C2 { public string dummy { get; set; } }

Func<int> thing() {
   var o1 = new C1() {n=1};
   var o2 = new C2() {dummy="Hello"};
   return delegate { return o1.n++; };
}
...
Func<int> fn = thing();
Console.WriteLine(fn());
Console.WriteLine(fn());

在这种情况下，匿名函数不会创建真正独立的作用域，就像任何其他函数内 { } 代码块中的变量声明一样（在 foreach、if 等）

因此，应用相同的规则，块外部的代码无法访问块内部声明的变量，但也不能重用标识符。

当匿名函数被传递到创建它的函数之外时，就会创建一个闭包。与 Javascript 示例的不同之处在于，只有匿名函数实际使用的那些变量才会保留，因此在这种情况下，o2 持有的对象将事情完成后即可用于 GC，

Answer 3

您还可以从这样的代码中得到 CS0136：

  int i = 0;
  if (i == 0) {
    int i = 1;
  }

“i”的第二个声明的范围是明确的，像 C++ 这样的语言对此没有任何影响。 但 C# 语言设计者决定禁止它。 鉴于上面的片段，您是否仍然认为这是一个坏主意？ 添加一堆额外的代码，您可能会盯着这段代码一段时间而看不到错误。

解决方法既简单又轻松，只需想出一个不同的变量名称即可。

Answer 4

这是因为委托可以引用委托外部的变量：

int i = 1;
VoidFunction t = delegate { Console.WriteLine(i); };

Answer 5

如果我没记错的话，编译器会创建匿名方法中引用的外部变量的类成员，以便完成这项工作。

这是一个解决方法：

class Program
    {
        void Main()
        {
            VoidFunction t = RealFunction;
            int i = 1;
        }
        delegate void VoidFunction();
        void RealFunction() { int i = 0; }
    } 

Answer 6

实际上，该错误似乎与匿名委托或 lamda 表达式没有任何关系。 如果您尝试编译以下程序……

using System;

class Program
{
    static void Main()
    {
        // Action t = delegate
        {
            int i = 0;
        };

        int i = 1;
    }
}

您会得到完全相同的错误，无论您是否在该行中进行注释。 错误帮助显示了非常相似的情况。 我认为不允许这两种情况是合理的，因为程序员可能会混淆这两个变量。