函数模板的部分特化：为什么不呢？
众所周知，C 语言规范禁止函数模板的部分特化。这一决定让许多开发人员感到困惑，他们质疑其有用性和基本原理。
由于疏忽，语言规范禁止函数模板的部分专业化。部分专业化提供的灵活性可以通过替代技术来实现，例如将函数定义为类的静态成员。
例如，考虑以下代码：
template<typename T, typename U> void f() {} //allowed!
template<> void f<int, char>() {} //allowed!
template<typename T> void f<char, T>() {} //not allowed!
template<typename T> void f<T, int>() {} //not allowed!而不允许 f 的部分特化，我们可以通过将函数定义为类的静态成员来实现类似的效果：
void say( char const s[] ) { std::cout << s << std::endl; }
namespace detail {
template< class T, class U >
struct F {
static void impl() { say( "1. primary template" ); }
};
template<>
struct F<int, char> {
static void impl() { say( "2. <int, char> explicit specialization" ); }
};
template< class T >
struct F< char, T > {
static void impl() { say( "3. <char, T> partial specialization" ); }
};
template< class T >
struct F< T, int > {
static void impl() { say( "4. <T, int> partial specialization" ); }
};
} // namespace detail
template< class T, class U >
void f() { detail::F<T, U>::impl(); }
int main() {
f<char const*, double>(); // 1
f<int, char>(); // 2
f<char, double>(); // 3
f<double, int>(); // 4
}此代码的行为类似函数模板的部分特化，提供一种机制来定义特定参数组合的专门实现。
以上是为什么 C 语言中禁止函数模板的部分特化？的详细内容。更多信息请关注PHP中文网其他相关文章！
