std::conjunction

STD：：连词

形成逻辑连接类型性状B...，有效地执行一个逻辑和一系列的特性。

专业化std::conjunction<B1, ..., BN>有一个公共的和明确的基础，也就是说。

• 如果sizeof...(B) == 0，，，std::true_type；否则

• 第一类Bi在B1, ..., BN对此bool(Bi::value) == false，或BN如果没有这样的类型。

基类的成员名称，但conjunction和operator=，则不隐藏，并且可以在conjunction...

连接是短路的：如果有模板类型参数。Bi带着bool(Bi::value) == false，然后实例化conjunction<B1, ..., BN>::value不需要实例化Bj::value为j > i...

模板参数

辅助变量模板

可能的实施

模板<class...>结构连接：std：：true[医]类型{}；模板<class B1>结构连接<B1>：B1{}；模板<类B1，类...。结构连接<B1，Bn...>：std：：条件[医]t<bool%28B1：：值%29，连词<Bn.>，B1>{}；

*。

注记

...的专业化conjunction不一定继承std::true_type或std::false_type*它只是继承了第一个B谁的::value，显式转换为bool，是false，还是从最后一个B当他们都变成真的时候。例如，std::conjunction<std::integral_constant<int, 2>,std::integral_constant<int, 4>>::value是4...

短路实例化conjunction从折叠表达式：折叠表达式，如(... && Bs::value)实例化每个B在Bs，同时std::conjunction_v<Bs...>一旦确定了值，就停止实例化。如果后面的类型实例化成本很高，或者使用错误的类型实例化会导致硬错误，则这尤其有用。

例

二次

#include <iostream>
#include <type_traits>
 
// func is enabled if all Ts... have the same type as T
template<typename T, typename... Ts>
std::enable_if_t<std::conjunction_v<std::is_same<T, Ts>...>>
func(T, Ts...) {
    std::cout << "all types in pack are T\n";
}
 
// otherwise
template<typename T, typename... Ts>
std::enable_if_t<!std::conjunction_v<std::is_same<T, Ts>...>>
func(T, Ts...) {
    std::cout << "not all types in pack are T\n";
}
 
int main() {
    func(1, 2, 3
    func(1, 2, "hello!"
}

二次

产出：

二次

all types in pack are T
not all types in pack are T

二次

另见

 © cppreference.com

在CreativeCommonsAttribution下授权-ShareAlike未移植许可v3.0。

http：//en.cppreference.com/w/cpp/type/connection