Mã nguồn thực tế mà mẫu này tạo ra trông như thế nào?

Question

template <int N> 
struct Factorial { 
    enum { value = N * Factorial<N - 1>::value }; 
}; 

template <> 
struct Factorial<0> { 
    enum { value = 1 }; 
}; 


const int x = Factorial<4>::value; // == 24 
const int y = Factorial<0>::value; // == 1 

Sau khi tiền biên dịch, nếu chúng ta kỳ diệu có thể nhìn thấy những gì các trình biên dịch tạo ra, sẽ chúng tôi thực sự thấy:

const int x = 24; 
const int y = 1; 

Và chúng ta sẽ thấy các định nghĩa thực tế cho struct Factorial, nhiều trong số này? Nếu họ trông như thế nào? Tôi đang cố gắng quấn đầu của tôi xung quanh phần này của quá trình lập trình meta.

Answer 1

Sử dụng g++ -fdump-tree-original trên mã này, tôi thấy kết quả sau đây, mà đối với trường hợp này dường như để khẳng định nghi ngờ của bạn:

;; Function int main() (null) 
;; enabled by -tree-original 



{ 
    const int x = 24; 
    const int y = 1; 

    <<cleanup_point const int x = 24;>>; 
    <<cleanup_point const int y = 1;>>; 
} 
return <retval> = 0;