c++ - 在 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 给出错误:

Explicit instantiation of 'To < bool >' after instantiation

我只想通过成员函数的模板特化来做到这一点，这样我的库的用户在将 Foo 转换为不同的数据类型时可以获得相同的函数，例如

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

等等。

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

Answer 1

Explicit instantiation of 'To < bool >' after instantiation

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

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

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