ja.cppreference.net

Namespaces

Page

Variants

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

ja.cppreference.net より

< cpp | ユーティリティ | pair

pair();	(1)	(C++11 から constexpr) (C++11 から条件付きで explicit)
pair( const T1& x, const T2& y );	(2)	(C++14 から constexpr) (C++11 から条件付きで explicit)
template< class U1, class U2 > pair( U1&& x, U2&& y );	(3)	(C++11 から) (C++14 から constexpr) (C++23 まで) (条件付きで explicit)
template< class U1 = T1, class U2 = T2 > constexpr pair( U1&& x, U2&& y );	(3)		(C++23 から) (条件付きで explicit)
template< class U1, class U2 > constexpr pair( pair<U1, U2>& p );	(4)	(C++23 から) (条件付きで explicit)
template< class U1, class U2 > pair( const pair<U1, U2>& p );	(5)	(C++14 から constexpr) (C++11 から条件付きで explicit)
template< class U1, class U2 > pair( pair<U1, U2>&& p );	(6)	(C++14 から constexpr) (C++11 から条件付きで explicit)
template< class U1, class U2 > constexpr pair( const pair<U1, U2>&& p );	(7)	(C++23 から) (条件付きで explicit)
template< pair-like P > constexpr pair ( P&& u );	(8)	(C++23 から) (条件付きで explicit)
template< class... Args1, class... Args2 > pair( std::piecewise_construct_t, std::tuple<Args1...> first_args, std::tuple<Args2...> second_args );	(9)	(C++11 から) (C++20 から constexpr)
pair( const pair& p ) = default;	(10)
pair( pair&& p ) = default;	(11)	(C++11 から)

新しい pair を構築します。

1) デフォルトコンストラクタ。pair の両方の要素を値初期化します。first および second。

このコンストラクタは、std::is_default_constructible_v<T1> と std::is_default_constructible_v<T2> の両方が true である場合にのみオーバーロード解決に参加します。

このコンストラクタは、explicit または T1 のいずれかが暗黙的にデフォルト構築可能でない場合に限り T2 となります。

(C++11 から)

2) first を x で、second を y で初期化します。

このコンストラクタは、std::is_copy_constructible_v<T1> と std::is_copy_constructible_v<T2> の両方が true である場合にのみオーバーロード解決に参加します。

このコンストラクタは、explicit が std::is_convertible_v<const T1&, T1> であるか、または false が std::is_convertible_v<const T2&, T2> である場合に限り false となります。

(C++11 から)

3) first を std::forward<U1>(x) で、second を std::forward<U2>(y) で初期化します。

このコンストラクタは、std::is_constructible_v<T1, U1> と std::is_constructible_v<T2, U2> の両方が true である場合にのみオーバーロード解決に参加します。

このコンストラクタは、explicit が std::is_convertible_v<U1, T1> であるか、または false が std::is_convertible_v<U2, T2> である場合に限り false となります。

このコンストラクタは、first または second の初期化が一時オブジェクトへの参照の束縛となる場合、削除されたものとして定義されます。

(C++23 から)

4) first を p.first で、second を p.second で初期化します。

このコンストラクタは、std::is_constructible_v<T1, U1&> と std::is_constructible_v<T2, U2&> の両方が true である場合にのみオーバーロード解決に参加します。

このコンストラクタは、explicit が std::is_convertible_v<U1&, T1> であるか、または false が std::is_convertible_v<U2&, T2> である場合に限り false となります。

このコンストラクタは、first または second の初期化が一時オブジェクトへの参照の束縛となる場合、削除されたものとして定義されます。

5) first を p.first で、second を p.second で初期化します。

このコンストラクタは、std::is_constructible_v<T1, const U1&> と std::is_constructible_v<T2, const U2&> の両方が true である場合にのみオーバーロード解決に参加します。

このコンストラクタは、explicit が std::is_convertible_v<const U1&, T1> であるか、または false が std::is_convertible_v<const U2&, T2> である場合に限り false となります。

(C++11 から)

このコンストラクタは、first または second の初期化が一時オブジェクトへの参照の束縛となる場合、削除されたものとして定義されます。

(C++23 から)

6) first を std::forward<U1>(p.first) で、second を std::forward<U2>(p.second) で初期化します。

このコンストラクタは、std::is_constructible_v<T1, U1> と std::is_constructible_v<T2, U2> の両方が true である場合にのみオーバーロード解決に参加します。

このコンストラクタは、explicit が std::is_convertible_v<U1, T1> であるか、または false が std::is_convertible_v<U2, T2> である場合に限り false となります。

このコンストラクタは、first または second の初期化が一時オブジェクトへの参照の束縛となる場合、削除されたものとして定義されます。

(C++23 から)

7) first を std::forward<const U1>(p.first) で、second を std::forward<const U2>(p.second) で初期化します。

このコンストラクタは、std::is_constructible_v<T1, U1> と std::is_constructible_v<T2, U2> の両方が true である場合にのみオーバーロード解決に参加します。

このコンストラクタは、explicit が std::is_convertible_v<const U1, T1> であるか、または false が std::is_convertible_v<const U2, T2> である場合に限り false となります。

このコンストラクタは、first または second の初期化が一時オブジェクトへの参照の束縛となる場合、削除されたものとして定義されます。

8) u1 を std::get<0>(std::forward(u)) とし、u2 を std::get<1>(std::forward(u)) として、それぞれの型を U1 および U2 と表記します。first を u1 で、second を u2 で初期化します。

このコンストラクタは、以下の場合にのみオーバーロード解決に参加します。

std::remove_cvref(P) が std::ranges::subrange の特殊化ではないこと、
std::is_constructible_v<T1, U1> が true であること、かつ
std::is_constructible_v<T2, U2 が true であること。

このコンストラクタは、explicit が std::is_convertible_v<U1, T1> であるか、または false が std::is_convertible_v<U2, T2> である場合に限り false となります。

このコンストラクタは、first または second の初期化が一時オブジェクトへの参照の束縛となる場合、削除されたものとして定義されます。

9) first_args の要素を first のコンストラクタに転送し、second_args の要素を second のコンストラクタに転送します。これは、非コピーかつ非ムーブ可能な型の pair を作成するために使用できる唯一のデフォルト以外のコンストラクタです。first または second が参照であり、一時オブジェクトに束縛される場合、プログラムは ill-formed となります。

10) コピーコンストラクタは暗黙的に宣言され(C++11 まで)デフォルト化され、両方の要素のコピーが constexpr 関数の要件を満たす場合は constexpr となります(C++11 から)。

11) ムーブコンストラクタはデフォルト化され、両方の要素のムーブが constexpr 関数の要件を満たす場合は constexpr となります。

パラメータ

x	-	このペアの最初の要素を初期化する値
y	-	このペアの2番目の要素を初期化する値
p	-	このペアの両方の要素を初期化するために使用される値のペア
u	-	`pair-like` このペアの両方の要素を初期化するために使用される値のペアライクオブジェクト
first_args	-	このペアの最初の要素を初期化するためのコンストラクタ引数のタプル
second_args	-	このペアの2番目の要素を初期化するためのコンストラクタ引数のタプル

例外

指定された操作（例：要素のコンストラクタ）が例外をスローしない限り、例外をスローしません。

例

このコードを実行

#include <complex>
#include <iostream>
#include <string>
#include <tuple>
#include <utility>
int main()
{
    auto print = [](auto rem, auto const& pair)
    {
        std::cout << rem << "(" << pair.first << ", " << pair.second << ")\n";
    };
    std::pair<int, float> p1;
    print("(1) Value-initialized: ", p1);
    std::pair<int, double> p2{42, 3.1415};
    print("(2) Initialized with two values: ", p2);
    std::pair<char, int> p4{p2};
    print("(4) Implicitly converted: ", p4);
    std::pair<std::complex<double>, std::string> p6
        {std::piecewise_construct, std::forward_as_tuple(0.123, 7.7),
            std::forward_as_tuple(10, 'a')};
    print("(8) Piecewise constructed: ", p6);
}

出力例:

(1) Value-initialized: (0, 0)
(2) Initialized with two values: (42, 3.1415)
(4) Implicitly converted: (*, 3)
(8) Piecewise constructed: ((0.123,7.7), aaaaaaaaaa)

欠陥報告

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

DR	適用対象	公開時の動作	正しい動作
LWG 265	C++98	デフォルトコンストラクタが `first` と `second` を T1 ( ) と T2 ( ) でそれぞれコピー初期化していた（したがって `T1` と `T2` が CopyConstructible であることを要求していた）	`first` と `second` は値初期化される
LWG 2510	C++11	デフォルトコンストラクタが暗黙的であった	条件付き明示的になった
N4387	C++11	一部のコンストラクタが暗黙的のみで、一部の使用を妨げていた	コンストラクタが条件付き明示的になった

関連項目

make_pair	引数の型によって決定される型の `pair` オブジェクトを作成する (関数テンプレート)
(constructor)	新しい `tuple` を構築する ( `std::tuple<Types...>` の公開メンバ関数)