Namespaces
Variants

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

From cppreference.net
C++
Ranges library
Range adaptors
std::ranges::subrange
定义于头文件 <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 。

目录

成员类型

成员类型 定义
type (1,2) I
(3,4) S

注释

由于 get 函数对于 subrange 通过值返回迭代器和哨位，当 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)>,
            // 实现定义类型：
            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)
获取类元组类型的元素类型
(类模板)
(C++20)
获取 std::ranges::subrange 的大小
(类模板特化)