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&”不匹配

如何实现特化？

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)
{
}