ทำไมรหัสนี้ใช้เวลานานในการคอมไพล์ด้วย g ++

พิจารณารหัสต่อไปนี้:

template<int i> class A
{
    typedef A<i-1> B;
    B x, y;
};
template<> class A<0> { char m; };
int main()
{
    A<LEVEL> a;
}

เมื่อทำการเปรียบเทียบการคอมไพล์ด้วย g ++ โดยคำสั่ง Bash ต่อไปนี้ (ด้วย g ++ 8.3.0)

for ((level=1; level<30; ++level)); do
    echo -n ${level},
    /usr/bin/time -f %U g++ -DLEVEL=$level test.cpp -o /dev/null
done

ฉันได้รับผลลัพธ์ต่อไปนี้:

1,0.03
2,0.03
3,0.04
4,0.04
5,0.04
6,0.04
7,0.04
8,0.04
9,0.03
10,0.04
11,0.02
12,0.04
13,0.02
14,0.03
15,0.04
16,0.05
17,0.05
18,0.08
19,0.11
20,0.20
21,0.35
22,0.67
23,1.30
24,2.52
25,5.02
26,10.23
27,19.96
28,40.30
29,80.99

LEVELดังนั้นเวลาที่สะสมอยู่ในการชี้แจง แต่ถ้าฉันเปลี่ยนB x, y;ไปการB x[2];รวบรวมจะเกิดขึ้นในเวลาคงที่ (~ 30 ms)

ทำไมมันเกิดขึ้น ผมคิดว่าตั้งแต่คอมไพเลอร์รู้ว่าBเป็นหนึ่งในประเภทเดียวกันและสำหรับทั้งสองxและก็จะใช้เวลาเดียวกับที่รวบรวมy x[2]แต่ด้วยเหตุผลบางอย่างมันดูแตกต่าง ฉันสามารถบังคับBให้รับรู้ได้อย่างไร (เทียบกับนามแฝงเพียงนามแฝง) เพื่อให้ g ++ สามารถสร้างตัวแปรทั้งสองได้อย่างง่ายดายเช่นเดียวกับที่สร้างอาร์เรย์

เนื่องจากมีข้อผิดพลาดในอินสแตนซ์ g ++ ของคุณ ไม่ควรและตามที่ @Marc Glisse แสดงความคิดเห็นคุณควรรายงาน (ซึ่งคุณได้ทำในขณะที่เขียน)

คุณอาจต้องการลบคำถามของคุณ (ตัวเลือกที่ฉลาด) หรือยอมรับคำตอบนี้