假设我有两个班级:
Serializable
和Printable
。
因此,接受
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_of
和 std::enable_if
来专门化模板。
希望有人愿意帮助我!
尝试逻辑运算符:
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...>
比 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";
}
观看它现场 ideone。
考虑一下:
void print(const Printable& value) {
cout << value << endl;
}
void print(const Serializable& value) {
cout << value << endl;
}
自然地,您将有适当的
operator<<
在右侧操作数中调用虚拟函数,这将执行实际的打印。