c++ - 无法匹配使用 boost enable_if 的模板方法

Question

#include <boost/type_traits.hpp>
#include <boost/utility.hpp>

using namespace boost;

struct Serializable{};

struct Derived : Serializable {};

class Serializer
{
public:
    template <typename ValueType>
    void operator& (const typename enable_if<is_base_of<Serializable, ValueType>, ValueType>::type& value) {
        ;
    }
};

int main() {
    Serializer serializer;
    Derived tar;

    serializer & tar;

    return 0;
}

我使用的是 g++4.4.7，它给了我一个编译错误：错误：'serializer & tar'中的'operator&'不匹配</p>

如何实现专业化？

Answer 1

的右侧值operator &应该是类型ValueType。因此，使该enable_if部分成为（假）结果类型：

#include <boost/type_traits.hpp>
#include <boost/utility.hpp>

using namespace boost;

struct Serializable{};

struct Derived : Serializable {};

class Serializer
{
public:
    template <typename ValueType>
    const typename enable_if<is_base_of<Serializable, ValueType>, ValueType>::type* operator& (ValueType &v)
    {
      return 0;
    }
};

int main() 
{
    Serializer serializer;
    Derived tar;
    int i = 1;

    serializer & tar; //ok
    serializer & i; //error

    return 0;
}

在 C++11 中，您还可以使enable_if构造成为默认模板参数，这将使函数签名保持干净且未修改：

template <typename ValueType, typename = typename enable_if<is_base_of<Serializable, ValueType>, ValueType>::type>
void operator& (ValueType &v)
{
}