C# 编译器 (csc.exe) 内存溢出编译嵌套类型和 Linq

本文关键字：编译 溢出 嵌套类型 Linq 内存 编译器 csc exe | 更新日期: 2023-09-27 18:34:24

我发现Visual Studio开发时有一种不愉快的行为。它在编译 C# 时挂起了我的机器。

我已经将行为减少到下一个最小的源代码

using System.Collections.Generic;
using System.Linq;
namespace memoryOverflowCsharpCompiler {
    class SomeType { public decimal x; }
    class TypeWrapper : Dictionary<int,
                        Dictionary<int,
                        Dictionary<int, SomeType [] []>>> {
        public decimal minimumX() {
            return base.Values.Min(a =>
                      a.Values.Min(b =>
                      b.Values.Min(c =>
                      c       .Sum(d =>
                      d       .Sum(e => e.x)))));
        }
    }
}

编译使用

PROMPT> csc source.cs
    *** BANG! overflow memory usage (up to ~3G)
PROMPT> csc /?
Microsoft (R) Visual C# Compiler version 12.0.30501.0
Copyright (C) Microsoft Corporation. All rights reserved.
...

（使用 Windows 8.1 Pro N x64; csc编译器进程以 32 位运行）

视觉修改不会产生这种行为（例如，通过int更改decimal，减少一个嵌套级别，...），执行大Select然后减少，工作正常

显式解决方法：

            return base.Values.SelectMany(a =>
                      a.Values.SelectMany(b =>
                      b.Values.Select    (c =>
                      c.       Sum       (d =>
                      d.       Sum       (e => e.x))))).Min();

尽管存在此显式解决方法，但不能保证此行为不会再次发生。

怎么了？

谢谢！

C# 编译器 (csc.exe) 内存溢出编译嵌套类型和 Linq

在这种情况下，泛型类型解析似乎失败。从decimal到int的改变是偶然的。如果增加嵌套级别，则会看到 int 也失败。在我的 x64 机器上，此代码针对int和decimal进行编译，并使用大约 2.5GB 的内存，但是当内存使用量增长到 4GB 时，增加嵌套级别会导致溢出。

显式指定类型参数允许编译代码：

class TypeWrapper : Dictionary<int, Dictionary<int, Dictionary<int, Dictionary<int, SomeType[][]>>>>
{
    public decimal minimumX()
    {
        return base.Values
            .Min<Dictionary<int, Dictionary<int, Dictionary<int, SomeType[][]>>>, decimal>(a => a.Values
                .Min<Dictionary<int, Dictionary<int, SomeType[][]>>, decimal>(b => b.Values
                    .Min<Dictionary<int, SomeType[][]>, decimal>(c => c.Values
                        .Min(d => d
                            .Sum(e => e.Sum(f => f.x))
                        )
                    )
                )
            );
    }
}

当您通过引入局部变量来减少嵌套时，编译器也可以工作：

class TypeWrapper : Dictionary<int, Dictionary<int, Dictionary<int, Dictionary<int, SomeType[][]>>>>
{
    public decimal minimumX()
    {
        Func<Dictionary<int, SomeType[][]>, decimal> inner = (Dictionary<int, SomeType[][]> c) => c.Values
                        .Min(d => d
                            .Sum(e => e.Sum(f => f.x))
                        );
        return base.Values
            .Min(a => a.Values
                .Min(b => b.Values
                    .Min(inner)
                )
            );
    }
}
相关文章：