这段代码真的会导致“访问修改后的闭包”吗？问题？

Question

使用以下代码，Resharper 告诉我 voicesSoFar 和 voicesNeededMaximum 导致“访问修改后的闭包”。我读到了这些内容，但令我困惑的是，Resharper 建议通过将变量提取到 LINQ 查询之前来解决此问题。但这就是他们已经在的地方了！

如果我只是在 int voicesSoFar = 0 之后添加 int voicesSoFar1 = voicesSoFar，Resharper 就会停止抱怨。是否有一些我不明白的奇怪逻辑使 Resharper 的建议正确？或者有没有一种方法可以在此类情况下安全地“访问修改后的闭包”而不会导致错误？

// this takes voters while we have less than 300 voices    
int voicesSoFar = 0;    
int voicesNeededMaximum = 300;    
var eligibleVoters =
    voters.TakeWhile((p => (voicesSoFar += p.Voices) < voicesNeededMaximum));

Answer 1

将外部变量转变为 lambda 表达式会产生一个非常棘手的问题。问题是这样的：如果您尝试迭代 eligibleVoters 两次 (foreach(var voter in EligibleVoters) { Console.WriteLine(voter.Name); } 并在 (< 这是不正确的。

code>foreach(var voter in EligibleVoters) { Console.WriteLine(voter.Name); }) 从函数式编程的角度来看， 将累积直到累加器上的某些条件为真：

public static IEnumerable<T> TakeWhileAccumulator<T, TAccumulate>(
    this IEnumerable<T> elements,
    TAccumulate seed,
    Func<TAccumulate, T, TAccumulate> accumulator,
    Func<TAccumulate, bool> predicate
) {
    TAccumulate accumulate = seed;
    foreach(T element in elements) {
        if(!predicate(accumulate)) {
            yield break;
        }
        accumulate = accumulator(accumulate, element);
        yield return element;
    }
}

用法：

var eligibleVoters = voters.TakeWhileAccumulator(
                         0,
                         (votes, p) => votes + p.Voices, 
                         i => i < 300
                     );

因此，上面说的是当我们累积的票数少于 300 时累积声音

然后：

foreach (var item in eligibleVoters) { Console.WriteLine(item.Name); }
Console.WriteLine();
foreach (var item in eligibleVoters) { Console.WriteLine(item.Name); }

输出为：

Alice
Bob
Catherine

Alice
Bob
Catherine

Answer 2

好吧，错误消息是正确的，因为在操作过程中未保留 voicesSoFar 的值。在纯粹的“函数式”术语中（并且 lambda 确实被设计为函数式操作），这会令人困惑。

例如，一个有趣的测试是：

如果我迭代查询两次会发生什么？

例如：

int count = voters.Count();
var first = voters.FirstOrDefault();

我相信您可以看到... 10，null - 令人困惑。以下内容是可重复的：

public static IEnumerable<Foo> TakeVoices(
    this IEnumerable<Foo> voices, int needed)
{
    int count = 0;
    foreach (Foo voice in voices)
    {
        if (count >= needed) yield break;
        yield return voice;
        count += voice.Voices;
    }
}
....
foreach(var voice in sample.TakeVoices(numberNeeded)) {
    ...
}

如果您需要，您当然可以编写一个采用 lambda 的可重用扩展方法。

Answer 3

我怀疑修改 TakeWhile 中的“voicesSoFar”值导致了该问题。