std::experimental::ranges::value_type
來自 cppreference.com
< cpp | experimental | ranges
| 定義於標頭檔案 <experimental/ranges/iterator> |
||
| template< class I > struct value_type {}; |
(1) | |
| template< class T > struct value_type<T*>; |
(2) | |
| template< class I > requires std::is_array<I>::value |
(3) | |
| template< class T > struct value_type<const T> : value_type<std::decay_t<T>> {}; |
(4) | |
| template< class T > requires requires { typename T::value_type; } |
(5) | |
| template< class T > requires requires { typename T::element_type; } |
(6) | |
計算型別 I 的關聯值型別（如果存在）。使用者可以為程式定義的型別特化 value_type。
1) 主模板是一個空結構體。
3) 陣列型別的特化。
4) const 限定型別的特化。
5) 為定義了公共可訪問成員型別
value_type 的型別進行特化。如果 T::value_type 是一個物件型別，則提供一個成員型別 type，其等於 T::value_type。否則，沒有成員 type。6) 為定義了公共可訪問成員型別
element_type 的型別進行特化（例如，std::shared_ptr）。如果 T::element_type 是一個物件型別，則提供一個成員型別 type，其等於 std::remove_cv_t<typename T::element_type>。否則，沒有成員 type。目錄 |
[編輯] 輔助別名模板
| template< class T > using value_type_t = typename ranges::value_type<T>::type; |
(Ranges TS) | |
[編輯] 注意
如果一個型別同時包含 value_type 成員和 element_type 成員，那麼特化 (5) 和 (6) 會產生歧義。
value_type 旨在用於 Readable 型別，例如迭代器。它不打算用於範圍。
[編輯] 示例
| 本節不完整 原因：無示例 |
[編輯] 參閱
指定型別透過應用運算子 * 可讀(概念) | |
| 收集迭代器相關型別的相容性特徵類 (別名模板) |
