标准库中 std::d isjunction 的实现
Implementation of std::disjunction in the Standard Library
我已经在标准库中看到了std::disjunction
的实现(来源(:
template<class...> struct disjunction : std::false_type { };
template<class B1> struct disjunction<B1> : B1 { };
template<class B1, class... Bn>
struct disjunction<B1, Bn...>
: std::conditional_t<bool(B1::value), B1, disjunction<Bn...>> { };
我很好奇是否需要将disjunction<B1>
专业化为B1
.为什么它比我幼稚的实现更好?
template<class...> struct or_t
: std::false_type {};
template<class B1, class... Bn> struct or_t<B1, Bn...>
: std::integral_constant<bool, bool(B1::value) || bool(or_t<Bn...>::value)> {};
你返回std::integral_constant
.
std::disjunction
返回给定类型之一(可能具有其他成员(。
此外,如果所有这些都是伪造的,则需要disjunction<B1,...,BN>
导致最后一个给定的类型(BN
((参见[meta.logical#10.2](。
一元专用化disjunction<B1>
递归序列的尾部实现此行为。
例如,如果没有一元特化,如果B1::value
true
,disjunction<B1>
会给出B1
,否则std::false_type
。
由于所有 B 可能具有不同的类型,因此 std::d isjunction 返回其 ::value 成员转换为 true 的第一个类型。是不是有点奇怪?做一个有趣的选择器可能会很有用
事实上,我从未使用过这个特征族,但它似乎是一个相当灵活的抽象:
template<class T>
struct some_condition: std::bool_constant</*whatever*/>
{
using payload = T;
};
// take the first T satisfying some_condition, or last T if none does
disjunction<some_condition<T>...>::payload
// take the first T satisfying some_condition, or none
disjunction<some_condition<T>...,none_type>::payload
我唯一讨厌分离的是它的名字......
相关文章:
- 如果没有malloc,链表实现将失败
- 如何在c++中实现处理器调度模拟器
- 如何在c++中使用引用实现类似python的行为
- 实现无开销push_back的最佳方法是什么
- 使用简单类型列表实现的指数编译时间.为什么
- 如何在BST的这个简单递归实现中消除警告
- 实现一个在集合上迭代的模板函数
- 我应该实现右值推送功能吗?我应该使用std::move吗
- 如何正确实现和访问运算符的各种自定义枚举器
- C++Union/Struct位域的实现和可移植性
- 这个极客对极客的trie实现是否存在内存泄漏问题
- 在c++中实现LinkedList时,应出现未处理的错误
- 为左值和右值的包装器实现C++范围
- 使用模板进行堆栈实现; "name followed by :: must be a class or namespace"
- 使用GSoap实现ONVIF
- 在用于格式4的arm模拟器中实现功能时的一个问题
- 用于AVX的ln(x)的实现,m256
- 用常见虚拟函数实现的任意组合来实现派生类的正确方法是什么
- 在C++中,如何在类和函数(可能是模板化的)的头中编写完整的实现
- 标准库中 std::d isjunction 的实现