เหตุใดคอมไพเลอร์ C # จึงคลั่งไคล้ในแบบสอบถาม LINQ ที่ซ้อนกันนี้

ลองคอมไพล์โค้ดต่อไปนี้แล้วคุณจะพบว่าคอมไพเลอร์ใช้ RAM มากกว่า 3 GB (หน่วยความจำว่างทั้งหมดในเครื่องของฉัน) และคอมไพล์นานมาก (อันที่จริงฉันได้รับข้อยกเว้น IO หลังจาก 10 นาที)

using System;
using System.Linq;

public class Test
{
    public static void Main()
    {
        Enumerable.Range(0, 1).Sum(a =>
        Enumerable.Range(0, 1).Sum(b =>
        Enumerable.Range(0, 1).Sum(c =>
        Enumerable.Range(0, 1).Sum(d =>
        Enumerable.Range(0, 1).Sum(e =>
        Enumerable.Range(0, 1).Sum(f =>
        Enumerable.Range(0, 1).Count(g => true)))))));
    }
}

ใครสามารถอธิบายพฤติกรรมที่น่าสงสัยนี้ได้หรือไม่?

เวอร์ชัน CS: Microsoft (R) Visual C # Compiler เวอร์ชัน 4.0.30319.17929
ชื่อระบบปฏิบัติการ: Microsoft Windows 7 Ultimate
เวอร์ชันระบบปฏิบัติการ: 6.1.7601 Service Pack 1 Build 7601

ฉันเชื่อว่ามันเกี่ยวข้องกับการอนุมานประเภทและ / หรือการสร้างแลมด้า (เมื่อการอนุมานประเภทต้องไปในทิศทางตรงกันข้ามกับปกติ) รวมกับความละเอียดเกินพิกัด น่าเสียดายที่การจัดหาพารามิเตอร์ประเภทไม่ได้ช่วยในสถานการณ์ (ซึ่งน่าจะยังคงต้องทำการตรวจสอบประเภท)

รหัสต่อไปนี้ซึ่งควรเป็นรหัสที่เทียบเท่าจากของคุณในทางตรรกะหลังจากวิเคราะห์แลมบ์ดาแล้วคอมไพล์โดยไม่มีปัญหา:

static void Main()
{
    var x = Enumerable.Range(0, 1).Sum(a);
}

private static int a(int a)
{
    return Enumerable.Range(0, 1).Sum(b);
}
private static int b(int b)
{
    return Enumerable.Range(0, 1).Sum(c);
}
private static int c(int c)
{
    return Enumerable.Range(0, 1).Sum(d);
}
private static int d(int d)
{
    return Enumerable.Range(0, 1).Sum(e);
}
private static int e(int e)
{
    return Enumerable.Range(0, 1).Sum(f);
}
private static int f(int f)
{
    return Enumerable.Range(0, 1).Count(g);
}
private static bool g(int g)
{
    return true;
}

ฉันเชื่อว่า Eric Lippert ได้โพสต์ก่อนการอนุมานประเภทนั้นเป็นหนึ่งในสถานที่ในคอมไพเลอร์ C # ที่ (ปัญหาบางอย่าง) อาจบังคับให้คอมไพเลอร์พยายามแก้ปัญหา NP-Complete และกลยุทธ์ที่แท้จริงเพียงอย่างเดียว (ตามที่นี่) คือกำลังดุร้าย หากฉันสามารถค้นหาข้อมูลอ้างอิงที่เกี่ยวข้องได้ฉันจะเพิ่มที่นี่

ข้อมูลอ้างอิงที่ดีที่สุดที่ฉันสามารถหาได้คือที่นี่ซึ่ง Eric กำลังพูดถึงความจริงที่ว่ามันเป็นงานแก้ปัญหาโอเวอร์โหลดที่ทำให้เกิดต้นทุนจริง - จำไว้ว่าEnumerable Sumมี 10 overloads ที่ยอมรับ lambda / method