爲什麼默認參數不能爲明確的模板專門化指定？

Question

下面的代碼無法通過編譯，這個編譯器錯誤的考慮是什麼？

template<class T> void f(T t) {}; 

template<> void f<char>(char c = 'a') {} 

錯誤消息：默認參數不允許在一個函數模板

Answer 1

我認爲一個明確的分工，這個錯誤的理由是由於在函數模板中的默認參數適用於事實它也是專業化的，你不能在C++中多次定義默認參數。

考慮以下幾點：

#include <iostream> 

template<class T> void f(T t = 'a') {} 

template<> void f<char>(char c) 
{ 
    std::cout << c << std::endl; 
} 

int main(int argc, char **argv) 
{ 
    f<char>(); 
} 

這將打印a這意味着專業化被稱爲與主模板中定義的默認參數。

如果你需要爲每個專業化不同的默認參數，你可以使用的方法如下所示：

#include <iostream> 

template<class T> 
struct default_arg 
{ 
    static T get() { return T(); } 
}; 

template<class T> void f(T t = default_arg<T>::get()) {} 

template<> 
struct default_arg<char> 
{ 
    static char get() { return 'a'; } 
}; 

template<> void f<char>(char c) 
{ 
    std::cout << c << std::endl; 
} 

int main(int argc, char **argv) 
{ 
    f<char>(); 
} 

Answer 2

C++ 98§12.7/ 21「默認函數參數，不得在指定的...顯式專門化功能模板「。

關於基本原理，我認爲它必須處理一個始終針對主模板進行解析的調用。忽略主模板所需參數的調用在更改查找規則時無法解析。

Answer 3

要使用哪個特定模板實例的選擇基於提供的參數的類型。因此，顯式特化的選擇是通過提供一個char參數來實現的 - 只有在這一點上，默認參數（如你所編寫的）纔會發揮作用（它是多餘的）。

只有在模板聲明本身上提供默認參數纔有意義。缺點是你必須自己指定適當的專業化（這首先消除了使用默認參數的一些優點）。

爲了達到（我相信）你想要的行爲，請使用以下內容。

template<class T> void f(T t) {} 

template<> void f<char>(char c) {} 

void f() { f('a'); }