Namespaces
Variants

std::tuple_size<std::pair>

ja.cppreference.net より
 
 
ユーティリティライブラリ
言語サポート
型サポート (基本型、RTTI)
ライブラリ機能テストマクロ (C++20)
プログラムユーティリティ
可変長引数関数
コルーチンサポート (C++20)
契約サポート (C++26)
三方比較
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

汎用ユーティリティ
関係演算子 (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)
(C++11)
(C++17)
(C++23)



 
 
ヘッダ <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)
タプルライクな型の要素数を取得する
(クラステンプレート)
array のサイズを取得する
(クラステンプレートの特殊化)

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

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