std::tuple_element<std::ranges::subrange>
来自 cppreference.cn
定义于头文件 <ranges> |
||
template< class I, class S, ranges::subrange_kind K > struct tuple_element<0, ranges::subrange<I, S, K>>; |
(1) | (C++20 起) |
template< class I, class S, ranges::subrange_kind K > struct tuple_element<0, const ranges::subrange<I, S, K>>; |
(2) | (C++20 起) |
template< class I, class S, ranges::subrange_kind K > struct tuple_element<1, ranges::subrange<I, S, K>>; |
(3) | (C++20 起) |
template< class I, class S, ranges::subrange_kind K > struct tuple_element<1, const ranges::subrange<I, S, K>>; |
(4) | (C++20 起) |
std::tuple_element 对于 std::ranges::subrange 的部分特化提供了使用类元组语法对 subrange
的迭代器或哨位类型的编译时访问。它们被提供以支持结构化绑定。
1,2) 获得迭代器类型,即
I
。3,4) 获得哨位类型,即
S
。目录 |
[编辑] 成员类型
成员类型 | 定义 |
类型
|
(1,2) I (3,4) S |
[编辑] 注意
因为 subrange
的 get
函数以值返回迭代器和哨位,所以当 subrange
是 const 限定(但非 volatile 限定)时,不会给结果类型添加 const 限定符。
如果 subrange
是 volatile 限定的,结果类型也会是 volatile 限定的,因为会使用 volatile 或 const volatile 类型的部分特化。这种用法已被弃用。
[编辑] 示例
运行此代码
#include <iterator> #include <list> #include <ranges> #include <type_traits> int main() { std::list<int> list{3, 1, 4, 1, 5, 9, 2, 6}; std::ranges::subrange subrange { std::counted_iterator{std::begin(list), 4}, std::default_sentinel }; static_assert( std::is_same_v< std::tuple_element_t<0, decltype(subrange)>, // implementation-defined type: std::counted_iterator<std::_List_iterator<int>> >); static_assert( std::is_same_v< std::tuple_element_t<1, decltype(subrange)>, std::default_sentinel_t >); }
[编辑] 参阅
结构化绑定 (C++17) | 将指定的名字绑定到初始化器的子对象或元组元素 |
(C++11) |
获取类元组类型的元素类型 (类模板) |
获取 std::ranges::subrange 的大小 (类模板特化) |