enable-if 相关问题

`std :: enable_if`是一个C ++元函数模板，参数`bool B`，`class T = void`，在标准C ++头文件`type_traits`中定义。如果`B`为真，则实例化类定义一个等于`T`的公共成员类型`type`;否则它没有。

使用`std::enable_if`时如何避免编写`::value`和`::type`？ [cppx]

注意：这是一个问答题，旨在记录其他人可能认为有用的技术，并可能了解其他人更好的解决方案。欢迎大家补充

c++ c++11 templates sfinae enable-if

回答 3 投票 0

C++ 部分模板特化与 std::is_base_of 和 std::enable_if 相结合

假设我有两个类：可序列化和可打印。因此，一个接受 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

如何启用具有可变模板参数的类？

假设我有一个具有以下签名的类：模板 A 级；但是这个类的行为方式应该取决于其他一些参数，假设它是 va...

c++ templates sfinae enable-if

回答 2 投票 0

使用不同的enable_if条件选择成员函数[重复]

我试图根据类模板参数确定调用哪个版本的成员函数。我已经尝试过这个： #包括 #包括模板<

c++ c++11 templates sfinae enable-if

回答 6 投票 0

在非模板成员函数上使用 std::enable_if 时出错[重复]

为什么此代码（M 类中的 fnc 值）无法通过 SFINAE 规则解析？我收到错误：错误 1 错误 C2039：“类型”：不是以下成员 'std::tr1::

c++ templates sfinae enable-if

回答 2 投票 0

SFINAE：班级成员不能重新声明[重复]

我正在尝试创建自己的“智能迭代器”，我想使用 SFINAE 根据迭代器的标签来创建一些运算符：这是我的代码：模板我正在尝试创建自己的“智能迭代器”，并且我想使用 SFINAE 根据迭代器的标签创建一些运算符：这是我的代码： template<class Iterator, class Predicat, class Tag> class RangeFilterIterator { public: RangeFilterIterator(Iterator begin, Iterator end, Predicat predicat) : mBegin(begin), mEnd(end), mPredicat(predicat) {} bool operator !=(RangeFilterIterator const &r) { return mBegin != r.mBegin; } typename Iterator::value_type &operator*() {return *mBegin;} RangeFilterIterator &operator++() { while(mBegin != mEnd && mPredicat(*mBegin++)); return *this; } template<class = std::enable_if_t<std::is_base_of<std::random_access_iterator_tag, Tag>::value>> RangeFilterIterator &operator+(std::size_t n) { while(n--) ++(*this); return *this; } template<class = std::enable_if_t<!std::is_base_of<std::random_access_iterator_tag, Tag>::value>> RangeFilterIterator &operator+(std::size_t n) = delete; private: Iterator mBegin, mEnd; Predicat mPredicat; }; template<typename Container, typename Predicate> auto RangeFilter(Container const &c, Predicate p) { using Iterator = RangeFilterIterator<typename Container::iterator, Predicate, typename Container::iterator::iterator_category>; Iterator begin(const_cast<Container&>(c).begin(), const_cast<Container&>(c).end(), p); Iterator end(const_cast<Container&>(c).end(), const_cast<Container&>(c).end(), p); return Range(begin, end); } 在RangeFilterIterator &operator+(std::size_t n) = delete行我收到错误：class member cannot be redeclared。我对模板不太“擅长”，但我认为对于 SFINAE，只会“声明”两者之一。我错过了什么吗？还可以做别的吗？好吧，当我使用返回类型参数而不是模板参数时，它可以工作。 template<class tag = Tag> std::enable_if_t<std::is_base_of<std::random_access_iterator_tag, tag>::value, RangeFilterIterator> &operator+(std::size_t n) { while(n--) ++(*this); return *this; } template<class tag = Tag> std::enable_if_t<!std::is_base_of<std::random_access_iterator_tag, tag>::value, RangeFilterIterator> &operator+(std::size_t n) = delete;

c++ sfinae enable-if

回答 1 投票 0

向可变参数类模板添加可选参数 (C++14)

在我们的 C++14 代码库中，我们的模块有两种类型的扩展。将 A 组想象为启动时运行类型，将 B 组想象为关闭时运行类型。该模块只需提供所有扩展名的列表和

c++ c++14 enable-if tmp

回答 1 投票 0

模板专业化和enable_if问题[重复]

我遇到了有关正确使用enable_if和模板专业化的问题。修改示例后（出于保密原因），下面是一个可比较的示例：我...

c++ templates c++11 sfinae enable-if

回答 1 投票 0

SFINAE 构造函数[重复]

我一直很喜欢像这样的函数 SFINAE 语法，似乎总体上工作得很好！模板::值>::t...