c++ - 为什么不能为显式模板特化指定默认参数？

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