是否允許在模板參數中使用sizeof ...來進行專門化？

我試圖沿着這條使用GCC 4.7快照的線路做一些事情：是否允許在模板參數中使用sizeof ...來進行專門化？

template <int n, int... xs> 
struct foo { 
    static const int value = 0; 
}; 

// partial specialization where n is number of ints in xs: 

template <int... xs> 
struct foo<sizeof...(xs), xs...> { // error: template argument ‘sizeof (xs ...)’ 
            // involves template parameter(s) 
    static const int value = 1; 
}; 

template <int... xs> 
struct foo<sizeof(xs), xs...> { // This compiles fine. sizeof(xs) is sizeof int 
           // even though packs aren't expanded 
    static const int value = 2; 
};

錯誤很奇怪，因爲的sizeof代替的sizeof ......在這種情況下工作。兩者似乎都可以在編譯期間輕鬆計算。

編譯器是否正確，我不能在模板參數中使用sizeof...進行專業化？

來源

2011-11-16 Pubby

你的意思是'sizeof（xs）'的作品？我希望對未擴展的包進行投訴。 –

@ R.MartinhoFernandes奇怪的是它確實有效。 – Pubby

同樣的錯誤，更簡單的代碼：http：//ideone.com/BBKbw。第二個可能是編譯器中的錯誤，或者只是'sizeof（xs）== sizeof（int）'，因此不涉及模板參數。 - 作爲一種實際的解決方案：'value = sizeof ...（xs）== n;'？ – UncleBens

在閱讀this post後，我將假設這是一個編譯器問題。

除非參數表達式是簡單標識符，否則部分專用非類型參數表達式不應涉及部分特化的模板參數。

有爭議點here。

GCC要麼不正確地拆開參數包的包裝，要麼過早地評估sizeof。

Response to bug report I filed may be helpful.

來源

2011-11-16 08:02:24 Pubby

是否允許在模板參數中使用sizeof ...來進行專門化？

回答

相關問題