std::experimental::ranges::common_type

 

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 圖形

 

Ranges

概念

通用工具

迭代器

Ranges

演算法

 

通用工具庫

實用元件
swap	exchange
函式物件
invoke identity	equal_to not_equal_to	greater less	greater_equal less_equal
超程式設計和型別特徵
is_swappable_withis_swappable	is_nothrow_swappable_withis_nothrow_swappable	common_reference common_type
帶標籤的對和元組
TagSpecifier TaggedType	tagged tag specifiers	tagged_pair make_tagged_pair	tagged_tuple make_tagged_tuple

 

定義於標頭檔案 <experimental/ranges/type_traits>
template< class... T > struct common_type;		(ranges TS)

確定所有型別 T... 的公共型別，即所有 T... 都可以隱式轉換為的型別。如果存在這樣的型別（根據以下規則確定），則成員 type 命名該型別。否則，不存在成員 type。如果 T... 中的任何型別是不完整型別（除了（可能帶有 cv 限定符的）void），則行為未定義。

• 如果 sizeof...(T) 為零，則沒有成員 `type`。
• 如果 sizeof...(T) 為一（即 T... 只包含一個型別 T0），則成員 type 命名與 std::decay_t<T0> 相同的型別。
• 如果 sizeof...(T) 為二（即 T... 恰好包含兩個型別 T1 和 T2），

• 如果對 T1 和 T2 中的至少一個應用 std::decay 會產生不同的型別，則成員 type 命名與 ranges::common_type_t<std::decay_t<T1>, std::decay_t<T2>> 相同的型別（如果存在）；如果不存在，則沒有成員 type；
• 否則（並且除非存在 ranges::common_type<T1, T2> 的使用者特化），如果 std::common_type_t<T1, T2> 格式良好，則成員 type 指示該型別；
• 否則，如果條件表示式 std::decay_t<decltype(false ? std::declval<const T1&>() : std::declval<const T2&>())> 格式良好，則成員 type 指示該型別；如果格式不良好，則沒有成員 type。

• 如果 sizeof...(T) 大於二（即 T... 由型別 T1, T2, R... 組成），那麼如果 ranges::common_type_t<T1, T2> 存在，則成員 type 指示 ranges::common_type_t<ranges::common_type_t<T1, T2>, R...>（如果存在這樣的型別）。在所有其他情況下，沒有成員 type。

成員型別

名稱	定義
型別	所有 T... 的公共型別

輔助型別

template< class... T > using common_type_t = typename common_type<T...>::type;

特化

使用者可以為型別 T1 和 T2 特化 common_type，如果

• T1 和 T2 中至少有一個依賴於使用者定義的型別，並且
• std::decay 對 T1 和 T2 都是恆等變換。

如果這樣的特化有一個名為 type 的成員，它必須是一個公共且明確的成員型別，它命名一個 cv-非限定的非引用型別，並且 T1 和 T2 都可以顯式轉換為該型別。此外，ranges::common_type_t<T1, T2> 和 ranges::common_type_t<T2, T1> 必須表示相同的型別。

違反這些規則新增 common_type 特化的程式具有未定義行為。

注意

對於不受提升的算術型別，公共型別可以看作是（可能混合模式的）算術表示式的型別，例如 T0() + T1() + ... + Tn()。

另請參閱

common_type (C++11)	確定一組型別的公共型別 (類模板)
common_reference	確定一組型別的公共引用型別 (類模板)