specialization 相关问题

假设我有两个类：可序列化和可打印。因此，一个接受 Printable 的所有派生类的简单模板函数可能如下所示：模板假设我有两个班级：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<<在右侧操作数中调用虚拟函数，这将执行实际的打印。

c++ c++11 templates specialization enable-if

回答 3 投票 0

具体类型的泛型函数特化

在这个示例中，我试图制作一些颜色转换实用程序：我想保证实现 ColorSpace 特征的每种类型都可以轻松转换为任何其他此类类型。为了实现...

generics rust traits specialization

回答 1 投票 0

基于传递的 lambda 的返回类型的模板专业化 - C++

我正在尝试根据它作为参数获取的 lambda 函数的返回类型进行模板专业化。目标是有一个函数，我可以将 lambda 传递给它（或者另一个函数，如果

c++ templates lambda specialization

回答 0 投票 0

C++ 模板函数特化错误当特化在不同的头文件中

在 cnvt.h 头文件中有：模板 std::optional cnvt(t_from); 在 header int.h 中，我们有： #include "cnvt.h" 模板<> 标准::