C ++部分模板特化与std :: is_base_of和std :: enable_if的组合

时间:2013-06-19 20:32:54

标签: templates c++11 specialization

假设我有两个班级:SerializablePrintable

因此,接受Printable的所有派生类的简单模板函数可能如下所示:

template <class T, class B = Printable, class = typename std::enable_if<std::is_base_of<B,     T>::value>::type>
void print(T value) {
    cout << value << endl;
}

但是,如果我希望它同时接受Serializable的所有派生类,而我仍然可以控制函数体,那么这显然不起作用:

template <class T, class B = Printable, class = typename std::enable_if<std::is_base_of<B,     T>::value>::type>
void print(T value) {
    cout << value << endl;
}

template <class T, class B = Serializable, class = typename std::enable_if<std::is_base_of<B,     T>::value>::type>
void print(T value) {
    cout << value << endl;
}

// Error: Redefinition of ...

所以我认为这个问题的其余解决方案是模板特化。

但我无法弄清楚,我如何将模板与std::is_base_ofstd::enable_if结合使用。

我希望有人愿意帮助我!

3 个答案:

答案 0 :(得分:22)

尝试使用逻辑运算符:

std::enable_if<std::is_base_of<Serializable, T>::value ||
               std::is_base_of<Printable, T>::value>::type

您可以轻松编写可变参数模板,如:

is_base_of_any<T, Printable, Serialiable, Googlable, Foobarable>::value

例如:

template <typename T, typename ...> struct is_base_of_any : std::true_type {};

template <typename T, typename Head, typename ...Rest>
struct is_base_of_any<T, Head, Rest...>
: std::integral_constant<bool, std::is_base_of<T, Head>::value ||
                               is_base_of_any<T, Rest...>::value>
{ };

如果你想要不同的实现:

template <bool...> struct tag_type {};

template <typename T>
void foo(T, tag_type<true, false>) { }   // for Printable

template <typename T>
void foo(T, tag_type<false, true>) { }   // for Serializable

template <typename T>
void foo(T x)
{
    foo(x, tag_type<std::is_base_of<Printable, T>::value,
                    std::is_base_of<Serializable, T>::value>());
}

最后一次重载(“面向用户”的重载)应该被赋予上面的enable_if,以免创建过多的重载候选者。

您也可以使用以下标记制作变量template <typename ...Bases>

tag_type<std::is_base_of<Bases, T>::value...>

答案 1 :(得分:21)

比Kerrek的答案少一点机器,但我恐怕不再可读:

template <class T, typename std::enable_if<std::is_base_of<Printable, T>::value>::type* = nullptr>
void print(const T& value) {
    std::cout << "printable(" << &value << ")\n";
}

template <class T, typename std::enable_if<std::is_base_of<Serializable, T>::value>::type* = nullptr>
void print(const T& value) {
    std::cout << "serializable(" << &value << ")\n";
}

live at ideone

答案 2 :(得分:2)

考虑一下:

void print(const Printable& value) {
    cout << value << endl;
}

void print(const Serializable& value) {
    cout << value << endl;
}

当然,您将在右侧操作数中调用适当的operator<<虚拟函数,这将执行实际打印。