std::experimental::conjunction

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

實驗性

技術規範

檔案系統庫 (檔案系統 TS)

庫基礎 (庫基礎 TS)

庫基礎 2 (庫基礎 TS v2)

庫基礎 3 (庫基礎 TS v3)

並行性擴充套件 (並行性 TS)

並行性擴充套件 2 (並行性 TS v2)

併發性擴充套件 (併發性 TS)

併發擴充套件 2 (併發 TS v2)

概念 (概念 TS)

範圍 (範圍 TS)

反射 (反射 TS)

數學特殊函式 (特殊函式 TR)

實驗性非 TS

模式匹配

線性代數

std::execution

契約

2D 圖形

 

庫基礎 v2

experimental::propagate_const

experimental::not_fn

experimental::observer_ptr

experimental::make_array

experimental::to_array

experimental::ostream_joiner

experimental::gcd

experimental::lcm

experimental::source_location

experimental::randint

檢測慣用法

統一容器擦除

邏輯運算子型別特徵

 

定義於標頭檔案 <experimental/type_traits>
template< class... B > struct conjunction;		(庫基礎 TS v2)

構成型別特徵 B... 的邏輯合取，實際是對特徵序列執行邏輯 AND。

特化 std::experimental::conjunction<B1, ..., BN> 具有一個公開且明確的基類，它為

• 如果 sizeof...(B) == 0，則為 std::true_type；否則為
• B1, ..., BN 中第一個使得 bool(Bi::value) == false 的型別 Bi，或者如果沒有這樣的型別，則為 BN。

基類除了 conjunction 和 operator= 以外的成員名在 conjunction 中不被隱藏且明確可用。

Conjunction 是短路的：如果存在模板型別引數 Bi，使得 bool(Bi::value) == false，則例項化 conjunction<B1, ..., BN>::value 不需要例項化 Bj::value，其中 j > i。

模板引數

B...

-

每個模板引數 Bi（其 Bi::value 被例項化）都必須可用作基類，並定義可轉換為 bool 的成員 value

輔助變數模板

template< class... B > constexpr bool conjunction_v = conjunction<B...>::value;		(庫基礎 TS v2)

可能實現

template<class...> struct conjunction : std::true_type {}; template<class B1> struct conjunction<B1> : B1 {}; template<class B1, class... Bn> struct conjunction<B1, Bn...> : std::conditional_t<bool(B1::value), conjunction<Bn...>, B1> {};

注意

conjunction 的特化不一定繼承自 std::true_type 或 std::false_type：它僅繼承自第一個其 ::value 轉換為 bool 為 false 的 B，或者當所有 B 都轉換為 true 時，繼承自最後一個 B。例如，conjunction<std::integral_constant<int, 2>, std::integral_constant<int, 4>>::value 為 4。

示例

執行此程式碼

#include <experimental/type_traits>
#include <iostream>
 
// func is enabled if all Ts... have the same type
template<typename T, typename... Ts>
constexpr std::enable_if_t<std::experimental::conjunction_v<std::is_same<T, Ts>...>>
func(T, Ts...)
{
    std::cout << "All types are the same.\n";
}
 
template<typename T, typename... Ts>
constexpr std::enable_if_t<!std::experimental::conjunction_v<std::is_same<T, Ts>...>>
func(T, Ts...)
{
    std::cout << "Types differ.\n";
}
 
int main()
{
    func(1, 2'7, 3'1);    
    func(1, 2.7, '3');    
}

輸出

All types are the same.
Types differ.

另請參閱

conjunction (C++17)

可變引數邏輯 AND 元函式 (類模板)