命名空间
变体
操作

std::tuple_element<std::ranges::subrange>

来自 cppreference.cn
< cpp‎ | ranges‎ | subrange
 
 
范围库 (Ranges library)
范围适配器 (Range adaptors)
 
 
定义于头文件 <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

[编辑] 注意

因为 subrangeget 函数以值返回迭代器和哨位,所以当 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) 将指定的名字绑定到初始化器的子对象或元组元素[编辑]
获取类元组类型的元素类型
(类模板) [编辑]
获取 std::ranges::subrange 的大小
(类模板特化) [编辑]