c++函数模板特化

Question

给出这段代码：

class X
{
public:
    template< typename T >
    void func( const T & v );
};

template<>
void X::func< int >( const int & v )
{
}

template<>
void X::func< char * >( const char * & v )       // 16
{
}

当我编译它时，出现以下错误。

test.cpp:16: error: template-id 'func<char*>' for 'void X::func(const char*&)' does not match any template declaration

任何人都可以阐明这一点吗？

Answer 1

如果您将声明：更改

template<> void X::func< char * >( const char * & v )

为：，

template<> void X::func< char * >( char * const & v )

这将工作得很好。为什么会发生这种情况？因为虽然 const sometype 是完全可以接受的，但它只是 sometype const 的替代表示法。因此，您的 const 修饰符不会应用于基本类型 (char)，而是应用于指针，从而使“指向非常量 char 的常量指针”成为有效类型。如果这不是您想要的，则必须更正您的基本模板。

最后，这里有一些关于为什么重载模板通常比专门化它们更好的有趣读物。

Answer 2

您遇到此错误的原因是因为您在类型之前编写了 const 。尽管这是常见的做法，但它不利于理解 const/易失性限定符 (cv-qualifier) 的工作原理。

在这种情况下，当 T 为 char* 时，const T 并不意味着 const char*。它的意思是 char* const 因为 T 是 char* 并且无论您将 T 放在哪一边>const 它的行为就好像 const 位于 T 的右侧，也就是说，指针本身将是 const，而不是指向的类型。

如果您制定一条规则，始终将 const 或 volatile 放在类型的右侧，则很容易避免这种类型的混淆。例如，当 T 为 char* 到 char* const 时，可以在心里轻松地扩展 T const。

这就是在 boost 源中您在类型之后而不是之前看到 cv 限定符的原因。

Answer 3

将 const 移到 & 之前

template<> 
void X::func< char * >( char * const & v ) 
{ 
}