C++ 参考手册

位置：首页 > C++ 参考手册 >工具库 >std::tuple > std::tuple_size<std::tuple>

std::tuple_size<std::tuple>

定义于头文件 <tuple>
template< class T >
class tuple_size; /*undefined*/
 (1) (C++11 起)
template< class... Types >

class tuple_size< std::tuple<Types...> >

 : public std::integral_constant<std::size_t, sizeof...(Types)> { };
 (2) (C++11 起)
定义于头文件 <tuple>
定义于头文件 <array>
(C++17 起)
定义于头文件 <utility>
(C++17 起)
定义于头文件 <ranges>
(C++20 起)
template< class T >

class tuple_size<const T>

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

class tuple_size< volatile T >

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

class tuple_size< const volatile T >

 : public std::integral_constant<std::size_t, tuple_size<T>::value> { };
 (5) (C++11 起)

提供对 tuple 中元素数量的访问，作为编译时常量表达式。

在通过包含 <tuple> 头文件变得合法以外，模板 (3-5) 在包含头文件 <array> 或 <utility> 时可用。

所有 std::tuple_size 的特化满足 BaseCharacteristic 对于某些 N 为 std::integral_constant<std::size_t, N> 的一元类型特征 (UnaryTypeTrait) 。

cv-T 模板 (3-5) 是 SFINAE 友好的：若 std::tuple_size<T>::value 在视作不求值运算数时为病式，则 (3-5) 不提供成员 value 。访问检查如同在无关于 tuple_size 和 T 的语境进行。仅考虑表达式直接语境的合法性。这允许： 

#include <utility>
struct X { int a, b; };
const auto [x, y] = X(); // 结构化绑定声明首先尝试 tuple_size<const X>
                         // 这试图使用 tuple_size<X>::value ，而那是 OK 的
 (C++17 起)

辅助变量模板

template< class T >
inline constexpr std::size_t tuple_size_v = tuple_size<T>::value;
 (C++17 起)

继承自 std::integral_constant

成员常量

value
[静态]
 sizeof...(Types)
(公开静态成员常量)

成员函数

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>

示例

运行此代码
#include <iostream>
#include <tuple>
 
template <class T>
void test(T t)
{
    int a[std::tuple_size<T>::value]; // 可在编译时
 
    std::cout << std::tuple_size<T>::value << '\n'; // 或在运行时使用
}
 
int main()
{
    test(std::make_tuple(1, 2, 3.14));
}

输出： 

3

参阅

 获得 array 的大小
(类模板特化)
(C++11)
 获得pair的大小
(类模板特化)
元组式访问指定的元素
(函数模板)
获得指定元素的类型
(类模板特化)