C#代表，参考解析时间

Question

我有一个关于 .net 代表的简单问题。假设我有这样的东西：

    public void Invoke(Action<T> action)
    {
        Invoke(() => action(this.Value));
    }

    public void Invoke(Action action)
    {
        m_TaskQueue.Enqueue(action);
    }

第一个函数包含对 this.Value 的引用。在运行时，当第一个带有泛型参数的方法被调用时，它将以某种方式向第二个方法提供 this.Value ，但是如何提供呢？我想到了这些：

• 按值调用（结构） - this.Value 的当前值被传递，因此如果 m_TaskQueue 执行它5 分钟后，该值将不再是最近的状态，它将是第一次引用时的值。
• 通过引用调用（引用类型） - 那么在执行操作期间将引用 Value 的最新状态，但如果我更改 this.Value在执行操作之前指向另一个引用，它仍将指向旧引用
• 按名称调用（两者） - 其中 this.Value 将在调用操作时进行评估。我相信实际的实现将持有对 this 的引用，然后在委托的实际执行期间评估 Value ，因为没有按名称调用。

我认为这将是名称风格的调用，但找不到任何文档，所以想知道这是否是一个明确定义的行为。这个类类似于 Scala 或 Erlang 中的 Actor，所以我需要它是线程安全的。我不希望 Invoke 函数立即取消引用 Value，这将由 m_TaskQueue 在 this 对象的安全线程中完成代码>.

Answer 1

让我通过描述我们实际为此生成的代码来回答您的问题。我将重命名您名称混乱的其他 Invoke 方法；没有必要了解这里发生了什么。

假设您说

class C<T>
{
  public T Value;
  public void Invoke(Action<T> action) 
  { 
      Frob(() => action(this.Value)); 
  } 
  public void Frob(Action action) 
  {  // whatever
  } 
}

编译器生成代码就像您实际编写的一样：

class C<T>
{
  public T Value;

  private class CLOSURE
  {
     public Action<T> ACTION;
     public C<T> THIS;
     public void METHOD()
     {
       this.ACTION(this.THIS.Value);
     }
  }

  public void Invoke(Action<T> action) 
  { 
      CLOSURE closure = new CLOSURE();
      closure.THIS = this;
      closure.ACTION = action;
      Frob(new Action(closure.METHOD)); 
  } 
  public void Frob(Action action) 
  {  // whatever
  } 
}

这回答了您的问题吗？

Answer 2

委托存储对变量的引用，而不是它的值。如果您想保留当前值（假设它是值类型），您需要制作它的本地副本：

public void Invoke(Action<T> action)
{
    var localValue = this.Value;
    Invoke(() => action(localValue));
}

如果它是可变引用类型，您可以制作本地克隆/深层副本。

Answer 3

真正的关键是要记住作用域是词法的；这是编译器负责处理的事情。因此它捕获变量，而不是它们的值。这些值是值类型还是引用类型完全是另一回事。

也许改变委托行为的一个稍微极端的例子会有所帮助：

var myVariable = "something";
Action a = () => Console.WriteLine(myVariable);
myVariable = "something else entirely"
a();

打印“完全是其他东西”。从这个角度来看，您包装、保存或移动函数多少次并不重要；重要的是。它仍然引用它所包含的变量。因此，简而言之，重要的是委托实际执行时所包含变量的值。