LINQ Sum OverflowException？

Question

我为EventLogEntry实现了一个自定义的IEqualityComparer.

public class EventLogEntryListComparison :
    IEqualityComparer<List<EventLogEntry>>,
    IEqualityComparer<EventLogEntry>

对于IEqualityComparer<List<EventLogEntry>>,GetHashCode函数非常简单.

public int GetHashCode(List<EventLogEntry> obj)
{
    return obj.Sum(entry => 23 * GetHashCode(entry));
}

但是,这会为某些条目抛出OverflowException.

"Arithmetic operation resulted in an overflow."
   at System.Linq.Enumerable.Sum(IEnumerable`1 source)
   at System.Linq.Enumerable.Sum[TSource](IEnumerable`1 source, Func`2 selector)
   at <snip>.Diagnostics.EventLogAnalysis.EventLogEntryListComparison.GetHashCode(List`1 obj) in C:\dev\<snip>Diagnostics.EventLogAnalysis\EventLogEntryListComparison.cs:line 112
   at System.Collections.Generic.Dictionary`2.Insert(TKey key, TValue value, Boolean add)
   at System.Collections.Generic.Dictionary`2.set_Item(TKey key, TValue value)
   at <snip>.Diagnostics.EventLogAnalysis.Program.AnalyseMachine(String validMachineName) in C:\dev\<snip>.Diagnostics.EventLogAnalysis\Program.cs:line 104
   at System.Threading.Tasks.Parallel.<>c__DisplayClass2d`2.<ForEachWorker>b__23(Int32 i)
   at System.Threading.Tasks.Parallel.<>c__DisplayClassf`1.<ForWorker>b__c()

在调试时尝试获得相同的错误并且无法在即时窗口中,我将代码更改为此并再见了OverflowException？

int total = 0;
foreach (var eventLogEntry in obj)
{
    total += GetHashCode(eventLogEntry);
}

return total;

LINQ的Sum函数的行为有何不同？

编辑2

由于一些注释,更正和预期的GetHashCode函数现在如下,

public int GetHashCode(List<EventLogEntry> obj)
{
    return unchecked(obj.Aggregate(17,
        (accumulate, entry) =>
        accumulate * 23 + GetHashCode(entry)));
}

Answer 1

LINQ的Enumerable.Sum(...)方法在checked块内执行添加.这意味着如果总和溢出,他们故意抛出异常.

你的总和不在一个checked块内,所以它是否抛出一个异常取决于......是从checked块内部调用,还是在我认为的程序集上的属性.

Answer 2

这是因为在C#中编译的Assemblies的不同行为以及它的实现Enumerable.Sum.

如果在C#中编译程序集,默认情况下所有添加都是在unchecked模式下执行的,这就是为什么在上一个示例中没有溢出的原因.如果你希望运行时抛出溢出,你需要使用checked块(当然对于你的哈希,你不需要它,所以C#的默认行为很好).

相比之下,Enumerable.Sum意味着计算总和,通常,您不希望总和溢出.这就是为什么Enumerable.Sum在checked模式下执行计算的原因,如果总和溢出则抛出异常.