std::tuple_size
来自cppreference.com
定义于头文件 <tuple>
|
||
定义于头文件 <array>
|
||
定义于头文件 <utility>
|
||
定义于头文件 <ranges>
|
(C++20 起) |
|
template< class T > struct tuple_size; // 不定义 |
(1) | (C++11 起) |
template< class T > struct tuple_size< const T > |
(2) | (C++11 起) |
template< class T > struct tuple_size< volatile T > |
(3) | (C++11 起) (C++20 中弃用) |
template< class T > struct tuple_size< const volatile T > |
(4) | (C++11 起) (C++20 中弃用) |
提供作为常量表达式的元组式类型中元素数的访问。
1) 不定义主模板。要求显式(全)或部分特化以令类型为元组式。
2-4) 对 cv 限定类型的特化默认复用对应 cv 无限定版本的
value
。
(2-4) 为 SFINAE 友好:若在作为不求值操作数时 std::tuple_size<T>::value 为非良构,则它们不提供成员 #include <utility> struct X { int a, b; }; const auto [x, y] = X(); // 结构化绑定声明首先尝试 tuple_size<const X> ,而它尝试 // tuple_size<X>::value ,然后遇到软错误,绑定到公开数据成员 |
(C++17 起) |
特化
标准库对标准库类型提供下列特化:
(C++11) |
在编译时获得 tuple 的大小 (类模板特化) |
(C++11) |
获得 pair 的大小 (类模板特化) |
(C++11) |
获得 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++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 2212 | C++11 | 未在某些头文件中要求对 cv 类型的特化,这导致歧义 | 已要求 |
参阅
结构化绑定 (C++17) | 绑定指定的名字到初始化器的子对象或元组元素 |
(C++11) |
获得元组式类型的元素类型 (类模板) |
通过连接任意数量的元组来创建一个tuple (函数模板) |