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

pair& operator=( const pair& other );	(1)	(C++20 から constexpr)
constexpr const pair& operator=( const pair& other ) const;	(2)	(C++23 から)
template< class U1, class U2 > pair& operator=( const pair<U1, U2>& other );	(3)	(C++20 から constexpr)
template< class U1, class U2 > constexpr const pair& operator=( const pair<U1, U2>& other ) const;	(4)	(C++23 から)
pair& operator=( pair&& other ) noexcept(/* see below */);	(5)	(C++11 から) (C++20 から constexpr)
constexpr const pair& operator=( pair&& other ) const;	(6)	(C++23 から)
template< class U1, class U2 > pair& operator=( pair<U1, U2>&& p );	(7)	(C++11 から) (C++20 から constexpr)
template< class U1, class U2 > constexpr const pair& operator=( pair<U1, U2>&& p ) const;	(8)	(C++23 から)
template< pair-like P > constexpr pair& operator=( P&& u );	(9)	(C++23 から)
template< pair-like P > constexpr const pair& operator=( P&& u ) const;	(10)	(C++23 から)

ペアの内容を置き換えます。

1) コピー代入演算子。内容を other の内容のコピーで置き換えます。

代入演算子は暗黙に宣言されます。この代入演算子を使用すると、`T1` または `T2` が const 修飾された型、参照型、アクセス不能なコピー代入演算子を持つクラス型、またはそのようなクラスの配列型である場合、プログラムは ill-formed になります。	(C++11まで)
このオーバーロードは、`std::is_copy_assignable<T1>::value` または `std::is_copy_assignable<T2>::value` が `false` である場合、削除されたものとして定義されます。	(C++11 から)

2) const 修飾されたオペランドのコピー代入演算子。

このオーバーロードは、std::is_copy_assignable_v<const T1> と std::is_copy_assignable_v<const T2> が両方とも true である場合にのみ、オーバーロード解決に参加します。

3) other.first を first に、other.second を second に代入します。

このオーバーロードは、std::is_assignable<T1&, const U1&>::value と std::is_assignable<T2&, const U2&>::value が両方とも true である場合にのみ、オーバーロード解決に参加します。

(C++11 から)

4) other.first を first に、other.second を second に代入します。

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

5) ムーブ代入演算子。ムーブセマンティクスを使用して内容を other の内容で置き換えます。

このオーバーロードは、std::is_move_assignable<T1>::value と std::is_move_assignable<T2>::value が両方とも true である場合にのみ、オーバーロード解決に参加します。

6) const 修飾されたオペランドのムーブ代入演算子。

このオーバーロードは、std::is_assignable_v<const T1&, T1> と std::is_assignable_v<const T2&, T2> が両方とも true である場合にのみ、オーバーロード解決に参加します。

7) std::forward<U1>(p.first) を first に、std::forward<U2>(p.second) を second に代入します。

このオーバーロードは、std::is_assignable<T1&, U1>::value と std::is_assignable<T2&, U2>::value が両方とも true である場合にのみ、オーバーロード解決に参加します。

8) std::forward<U1>(p.first) を first に、std::forward<U2>(p.second) を second に代入します。

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

9) std::get<0>(std::forward(u)) を first に、std::get<1>(std::forward(u)) を second に代入します。

このオーバーロードは、以下の場合にのみオーバーロード解決に参加します:

std::same_as<std::remove_cvref_t, std::pair> は false であり、
std::remove_cvref_t は std::ranges::subrange の特殊化ではなく、
std::is_assignable_v<T1&, decltype(std::get<0>(std::forward(p)))> は true であり、かつ
std::is_assignable_v<T1&, decltype(std::get<1>(std::forward(p)))> は true であること。

10) std::get<0>(std::forward(u)) を first に、std::get<1>(std::forward(u)) を second に代入します。

このオーバーロードは、以下の場合にのみオーバーロード解決に参加します:

std::same_as<std::remove_cvref_t, std::pair> は false であり、
std::remove_cvref_t は std::ranges::subrange の特殊化ではなく、
std::is_assignable_v<const T1&, decltype(std::get<0>(std::forward(p)))> は true であり、かつ
std::is_assignable_v<const T1&, decltype(std::get<1>(std::forward(p)))> は true であること。

パラメータ

other	-	このpairの内容を置き換える値のペア
p	-	このpairの内容を置き換える、異なる型の可能性がある値のペア
u	-	`pair-like` このpairの内容を置き換える値のオブジェクト
型要件
- `T1` は `U1` からの CopyAssignable 要件を満たさなければならない。 (C++11まで)
- `T2` は `U2` からの CopyAssignable 要件を満たさなければならない。 (C++11まで)

戻り値

* this

例外

1-4) 実装定義の例外をスローする可能性があります。

5)

noexcept 指定子:

noexcept (

std:: is_nothrow_move_assignable < T1 > :: value &&
std:: is_nothrow_move_assignable < T2 > :: value

)

6-10) 実装定義の例外をスローする可能性があります。

例

このコードを実行

#include <cstddef>
#include <iomanip>
#include <iostream>
#include <utility>
#include <vector>
template<class Os, class T>
Os& operator<<(Os& os, const std::vector<T>& v)
{
    os << '{';
    for (std::size_t t = 0; t != v.size(); ++t)
        os << v[t] << (t + 1 < v.size() ? ", " : "");
    return os << '}';
}
template<class Os, class U1, class U2>
Os& operator<<(Os& os, const std::pair<U1, U2>& pair)
{
    return os << '{' << pair.first << ", " << pair.second << '}';
}
int main()
{
    std::pair<int, std::vector<int>> p{1, {2}}, q{2, {5, 6}};
    p = q; // (1) operator=(const pair& other);
    std::cout << std::setw(23) << std::left
              << "(1) p = q;"
              << "p: " << p << "     q: " << q << '\n';
    std::pair<short, std::vector<int>> r{4, {7, 8, 9}};
    p = r; // (3) operator=(const pair<U1, U2>& other);
    std::cout << std::setw(23)
              << "(3) p = r;"
              << "p: " << p << "  r: " << r << '\n';
    p = std::pair<int, std::vector<int>>{3, {4}};
    p = std::move(q); // (5) operator=(pair&& other);
    std::cout << std::setw(23)
              << "(5) p = std::move(q);"
              << "p: " << p << "     q: " << q << '\n';
    p = std::pair<int, std::vector<int>>{5, {6}};
    p = std::move(r); // (7) operator=(pair<U1, U2>&& other);
    std::cout << std::setw(23)
              << "(7) p = std::move(r);"
              << "p: " << p << "  r: " << r << '\n';
}

出力:

(1) p = q;             p: {2, {5, 6}}     q: {2, {5, 6}}
(3) p = r;             p: {4, {7, 8, 9}}  r: {4, {7, 8, 9}}
(5) p = std::move(q);  p: {2, {5, 6}}     q: {2, {}}
(7) p = std::move(r);  p: {4, {7, 8, 9}}  r: {4, {}}

欠陥報告

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

DR	適用対象	公開時の動作	正しい動作
LWG 885	C++98	異種コピー代入が欠落	追加（オーバーロード (3) として）
LWG 2729	C++11	`pair::operator=` が制約されておらず、不必要な未定義動作を引き起こす可能性があった	制約を追加

コンパイラサポート
フリースタンディングとホスト環境
言語
標準ライブラリ
標準ライブラリヘッダ
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
一般ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
レンジライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行処理サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
技術仕様書
シンボルインデックス
外部ライブラリ

メンバ関数
pair::pair
pair::operator=
pair::swap (C++11)
非メンバ関数
make_pair
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20まで)(C++20まで)(C++20まで)(C++20まで)(C++20まで)(C++20)
swap(std::pair) (C++11)
get(std::pair) (C++11)
ヘルパークラス
tuple_size<std::pair> (C++11)
tuple_element<std::pair> (C++11)
basic_common_reference<std::pair> (C++23)
common_type<std::pair> (C++23)
formatter<std::pair> (C++23)
piecewise_construct_t (C++11)
推論ガイド(C++17)

ja.cppreference.net

Namespaces

Variants

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

内容

パラメータ

戻り値

例外

例

欠陥報告

関連項目