命名空间
变体
操作

std::tuple_size<std:ranges::subrange>

来自 cppreference.com
< cpp‎ | ranges‎ | subrange
 
 
范围库
范围适配器
 
 
在头文件 <ranges> 中定义
template< class I, class S, ranges::subrange_kind K >

struct tuple_size<ranges::subrange<I, S, K>>

    : std::integral_constant<std::size_t, 2> {};
(自 C++20)

std::tuple_sizestd::ranges::subrange 部分特化提供了一种编译时方式,可以使用类似元组的语法获取 subrange 的组件数量,该数量始终为 2。它用于结构化绑定支持。

内容

std::integral_constant 继承

成员常量

value
[静态]
常量值 2
(公共静态成员常量)

成员函数

operator std::size_t
将对象转换为 std::size_t,返回 value
(公共成员函数)
operator()
(C++14)
返回 value
(公共成员函数)

成员类型

类型 定义
value_type std::size_t
type std::integral_constant<std::size_t, value>

[edit] 示例

#include <array>
#include <iostream>
#include <iterator>
#include <ranges>
 
int main()
{
    static_assert(2 == std::tuple_size_v<std::ranges::subrange<int*, int*>>);
 
    using array5 = std::array<int, 5>;
 
    static_assert(2 == std::tuple_size<std::ranges::subrange<
        array5::const_iterator, array5::const_iterator>>{});
 
    constexpr array5 a{1, 2, 3, 4, 5};
 
    std::ranges::subrange sub_a1{a};
 
    for (std::cout << "sub_a1: { "; int e : sub_a1)
        std::cout << e << ' ';
    std::cout << "}\n";
 
    std::ranges::subrange sub_a2{std::next(cbegin(a)), std::prev(cend(a))};
 
    const auto [first, last] = sub_a2;
    std::cout << "sub_a2 size = " << std::distance(first, last) << '\n';
 
    for (std::cout << "sub_a2: { "; int e : sub_a2)
        std::cout << e << ' ';
    std::cout << "}\n";
}

输出

sub_a1: { 1 2 3 4 5 }
sub_a2 size = 3
sub_a2: { 2 3 4 }

[edit] 另请参阅

结构化绑定 (C++17) 将指定的名称绑定到初始化程序的子对象或元组元素[edit]
获取类似元组的类型的元素数量
(类模板) [edit]
获取的大小

一个 tuple
(类模板特化) [edit]

获取 pair 的大小
(类模板特化) [edit]
获取 array 的大小
(类模板特化) [edit]
获取 std::ranges::subrange 的迭代器或哨兵的类型
(类模板特化) [edit]