在 C++ 中创建成员函数模板特化

Question

我正在编写一个类，我想在其中创建这样的成员函数模板专业化

namespace aha
{
class Foo
{
public:
    template < typename T >
    T To() const
    {
        // some code here
    }
};
template <>
bool Foo::To < bool > () const
{
    // some other code here
}
}

gcc 给出错误：

在实例化后显式实例化'To '

我只想对成员函数进行模板特化，这样我的库的用户在将Foo 转换为不同的数据类型时可以获得相同的函数

Foo obj;
bool b( obj.To < std::string > () );
int i( obj.To < int > () );
float f( obj.To < float > () );

等等。

请让我知道我在代码中做错了什么。

Answer 1

在实例化后显式实例化'To '

上面已经说明了一切：在它的通用版本已经被使用之后，它变得专门化。

函数模板特化可以通过重载来模拟，这是一种更灵活的机制（例如，函数模板没有部分特化，但通过重载可以达到预期的效果）：

template<class T> struct Type {}; // similar to boost::type<>

class Foo
{
    template<class T>
    T doTo(Type<T>) const; // the generic version

    bool doTo(Type<bool>) const; // an overload for bool only
    // add more overloads as you please

public:
    template < typename T >
    T To() const {
        return this->doTo(Type<T>());
    }
};