Why default argument cannot be specified for an explicit template specialization?

Question

The below code couldn't pass the compilation, what's the consideration for this compiler error?

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

Error message: Default arguments are not allowed on an explicit specialization of a function template

Answer 1

I think that the rationale behind this error is due to the fact that the default arguments in the function template apply to its specialization as well and you are not allowed to define the default argument more than once in C++.

Consider the following:

#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>(); } 

This will print a meaning that specialization is called with the default argument defined in the main template.

If you need a different default argument for each specialization you can use the approach illustrated below:

#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>(); }