在 parallel.foreach 循环中捕获的变量

Question

每个线程是否都有自己可以更改的副本？他们都共享同一个吗？它是线程安全的吗？

X var;
Parallel.Foreach(ls , it => Op(var, It));

Op 对 var 做了一些事情。我假设如果 var 是一个引用（比如List<string>），那么所有线程都共享一个引用，我的工作就是练习安全更新。如果 X 是 int say 呢？

如果 var 是 List<string> 但为空怎么办？如果一个线程创建一个新列表并将其写入var？其他线程看到 var 的新值了吗？

我已经做了一些测试，但我想确保我看到的是真实的，而不是我在编写糟糕的测试。

最后一种情况（null）似乎每个线程都有自己的List<string>

编辑： 看来我需要区分

   X var;
    Parallel.Foreach(ls , it => Op(var, It));

和

   X var;
    Parallel.Foreach(ls , it => {
          ....
          var = <something>
          ....
      });

即 lambda 本身会修改变量。在这种情况下，它是共享的。但是在函数（Op）的情况下，关于按值传递的通常规则适用

在共享 var 的情况下，任务并行库是管理并发访问还是我必须这样做？

Answer 1

你在Op中通过值传递var，所以Op不能改变var，因为Op只有它的副本。

编辑：

即 lambda 本身会修改变量。在这种情况下，它是共享的。但是在函数（Op）的情况下，关于按值传递的通常规则适用

是的，如果你想共享变量，那么你应该通过 lambda 本身来引用它，或者通过引用将它传递给 Op（Op(ref var,it)，假设 Op 的签名也发生了变化），而不是通过值。

在共享 var 的情况下，任务并行库是管理并发访问还是我必须这样做？

你必须自己管理并发访问。

Answer 2

仅复制变量引用。不是可变数据。就好像所有的局部变量都通过方法调用传递给匿名委托一样。

每MSDN (Anonymous Methods (C# Programming Guide))

当外部变量 n 的引用被捕获时 委托已创建。与局部变量不同， 捕获的变量一直延伸到引用该变量的委托 匿名方法有资格进行垃圾回收。

Answer 3

该 lambda 的所有调用都将访问同一个变量。每次调用不会有单独的副本。

编译器将把闭包转换成与以下内容等效的东西：

public class ClosureClass
{
    public X var;
    public void method1(Y it)
    {
        Op(var, it);
    }
}

---

IEnumerable<Y> ls = null;
ClosureClass closure = new ClosureClass();
closure.var = null;
Parallel.ForEach(ls, closure.method1);

将创建一个类来表示闭包，将在方法的开头创建一个实例，lambda 的主体将映射到闭包类中的一个方法，并且所有封闭变量的使用都将是其中的字段班级。正如您在此处看到的，closure.method1 的所有调用最终都将访问同一实例的同一字段，这是一个单一变量。