关闭是否涉及拳击？

Question

在我问过this question 并阅读了这个推荐的article about closures 之后，我开始问自己，在 C# 中进行闭包是否涉及装箱。

正如文章中所说，这行代码将通过使myVar 存在于其范围之外来创建一个闭包：

public static Func<int,int> GetAFunc()
{
    var myVar = 1;
    Func<int, int> inc = delegate(int var1)
                            {
                                myVar = myVar + 1;
                                return var1 + myVar;
                            };
    return inc;
}

正如那里所解释的，编译器生成的类的对象被实例化，以将该变量的值携带到其范围之外。我的问题来了：由于变量确实位于堆栈上，使其成为对象的一部分，并不意味着闭包涉及装箱吗？

Answer 1

既然变量确实在栈上，让它成为对象的一部分，不就意味着闭包涉及装箱吗？

那句话中的错误数量很大。让我们解除您的一些神话。

(1) 值类型的变量不会“入栈”。 生命周期短的变量进入堆栈。这个变量的生命周期很短吗？不，它有任意长的寿命。那么它会进入堆栈吗？没有。

(2) 引用类型对象的字段不在堆栈上。它在堆上。为什么？因为，同样，一个字段的生命周期是任意长的。

(3) 堆上变量中的整数不需要装箱。整数是否装箱取决于 integer 是否已转换为引用类型。 变量的位置无关；重要的是变量的类型是引用类型还是值类型。

让我们看看你的代码：

public static Func<int,int> GetAFunc()
{
    var myVar = 1;
    Func<int, int> inc = delegate(int var1)
                            {
                                myVar = myVar + 1;
                                return var1 + myVar;
                            };
    return inc;
}

这段代码是等价的：

private class Closure
{ 
  public int myVar;
  public int SomeFunction (int var1)
  {
    this.myVar = this.myVar + 1;
    return var1 + this.myVar;
  }
}
public static Func<int,int> GetAFunc()
{
    Closure locals = new Closure();
    locals.myVar = 1;
    Func<int, int> inc = locals.SomeFunction;
    return inc;
}

是否有任何时间将整数转换为引用类型？不。所以，不要拳击。

但是请记住，避免装箱的目的是避免分配额外对象的成本。我们确实分配了一个额外的对象：闭包！这里没有拳击处罚，但由于关闭而受到处罚。分配封盖会增加收集压力。当然，所有对本地的引用现在都必须经过额外的间接处理。