C++模板化構造函數：它們是否阻止推斷某些類型？

Question

如果我有一個像

struct Foo 
{ 
    template<class T> 
    Foo(T arg) { } 
}; 

代碼並防止T從以往任何時候都const，volatile，或參考？

同樣，如果我有

struct Bar 
{ 
    template<class T> 
    Bar(T const volatile &arg) { } 
}; 

意思T永遠不會const，volatile，或參考？

基本上，這是否意味着構造函數模板參數必須被推斷，即不能被指定爲推斷值以外的任何東西？

Answer 1

是的，您在調用構造函數模板時無法顯式指定模板參數。

因爲你永遠不會直接調用它，但總是隱式地通過強制轉換或聲明。

只有在顯式專門化或實例化時，才能指定它們。這不是真的有用，但可能

// explicit instantiation 
template Bar::Bar<const int>(const int);