Namespaces
Variants

std:: tuple_size <std::pair>

From cppreference.net
C++
Utilities library
std::pair
定義済みヘッダー <utility>
template < class T1, class T2 >

struct tuple_size < std:: pair < T1, T2 >>

: std:: integral_constant < std:: size_t , 2 > { } ;
(C++11以降)

std:: tuple_size のペアに対する部分特殊化は、タプルと同様の構文を用いて、ペア内の要素数（常に2）をコンパイル時に取得する方法を提供します。

目次

std:: integral_constant からの継承

メンバ定数

value
[static]
定数値 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 >

例

このコードを実行 
#include <iostream>
#include <tuple>
#include <utility>
template<class T>
void test([[maybe_unused]]T t)
{
    [[maybe_unused]]
    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));
    test(std::make_pair(1, 3.14));
}

出力: 

3
2

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 2313 C++11 pair の特殊化が integral_constant からの派生を必須としていなかった 必須とする

関連項目

構造化バインディング (C++17) 指定された名前を初期化子の部分オブジェクトまたはタプルの要素にバインドする
(C++11)
タプルライクな型の要素数を取得する
(クラステンプレート)
(C++11)
array のサイズを取得する
(クラステンプレートの特殊化)
(C++11)

tuple のサイズを取得する
(クラステンプレートの特殊化)

(C++20)
std::ranges::subrange のサイズを取得する
(クラステンプレートの特殊化)
(C++11)
pair の要素の型を取得する
(クラステンプレートの特殊化)