std::tuple_size

来自cppreference.com
< cpp‎ | utility
 
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
tuple_size
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)
 
在标头 <tuple> 定义
在标头 <array> 定义
在标头 <utility> 定义
在标头 <ranges> 定义
(C++20 起)
template< class T >
struct tuple_size; // 不定义
(1) (C++11 起)
template< class T >

struct tuple_size< const T >

    : std::integral_constant<std::size_t, std::tuple_size<T>::value> { };
(2) (C++11 起)
template< class T >

struct tuple_size< volatile T >

    : std::integral_constant<std::size_t, std::tuple_size<T>::value> { };
(3) (C++11 起)
(C++20 中弃用)
template< class T >

struct tuple_size< const volatile T >

    : std::integral_constant<std::size_t, std::tuple_size<T>::value> { };
(4) (C++11 起)
(C++20 中弃用)

提供作为常量表达式的元组式类型中元素数的访问。

1) 不定义主模板。要求显式(全)或部分特化以令类型为元组式。
2-4) 对 cv 限定类型的特化默认复用对应 cv 无限定版本的 value

std::tuple_size 与核心语言交互:它能在元组式情况中提供结构化绑定支持。

(2-4) 为 SFINAE 友好:若在作为不求值操作数时 std::tuple_size<T>::value 为非良构,则它们不提供成员 value 。如同在与 tuple_sizeT 无关的场景进行访问检查。仅考虑表达式的立即语境的合法性。这允许

#include <utility>
struct X { int a, b; };
const auto [x, y] = X(); // 结构化绑定声明首先尝试 tuple_size<const X> ,而它尝试
                         // tuple_size<X>::value ,然后遇到软错误,绑定到公开数据成员
(C++17 起)

特化

标准库对标准库类型提供下列特化:

在编译时获得 tuple 的大小
(类模板特化)
获得 pair 的大小
(类模板特化)
获得 array 的大小
(类模板特化)
获得 std::ranges::subrange 的组分数量
(类模板特化)

std::tuple_size 的所有特化满足基特征std::integral_constant<std::size_t, N> 某个 N一元类型特性 (UnaryTypeTrait)

用户可以对程序定义类型特化 std::tuple_size 以令它们为元组式。程序定义特化必须满足上述要求。

通常只需要定制对 cv 无限定类型的特化。

辅助变量模板

在标头 <tuple> 定义
template< class T >
inline constexpr std::size_t tuple_size_v = tuple_size<T>::value;
(C++17 起)

继承自 std::integral_constant

成员常量

value
[静态]
对于标准特化,为元组式类型 T 的元素数
(公开静态成员常量)

成员函数

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>

示例

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 2212 C++11 未在某些头文件中要求对 cv 类型的特化,这导致歧义 已要求

参阅

结构化绑定 (C++17) 绑定指定的名字到初始化器的子对象或元组元素
获得元组式类型的元素类型
(类模板)
(C++11)
通过连接任意数量的元组来创建一个tuple
(函数模板)