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

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

ユーティリティライブラリ

言語サポート 型のサポート (基本型、RTTI) ライブラリ機能検査マクロ (C++20) プログラムユーティリティ 可変引数関数 initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) コルーチンサポート (C++20) 契約サポート (C++26) 三方比較 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

汎用ユーティリティ 関数オブジェクト ビット操作 (C++20) bitset hash (C++11) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 共通語彙型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

std::pair

メンバ関数

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)

 

	(1)
pair& operator=( const pair& other );			(C++20まで)
constexpr pair& operator=( const pair& other );			(C++20以降)
constexpr const pair& operator=( const pair& other ) const;		(2)	(C++23から)
		(3)
template< class U1, class U2 > pair& operator=( const pair<U1, U2>& other );				(C++20まで)
template< class U1, class U2 > constexpr pair& operator=( const pair<U1, U2>& other );				(C++20以降)
template< class U1, class U2 > constexpr const pair& operator=( const pair<U1, U2>& other ) const;			(4)	(C++23から)
			(5)
pair& operator=( pair&& other ) noexcept(/* see below */);					(C++11以降) (C++20まで)
constexpr pair& operator=( pair&& other ) noexcept(/* see below */);					(C++20以降)
constexpr const pair& operator=( pair&& other ) const;				(6)	(C++23から)
				(7)
template< class U1, class U2 > pair& operator=( pair<U1, U2>&& p );						(C++11以降) (C++20まで)
template< class U1, class U2 > constexpr pair& operator=( pair<U1, U2>&& p );						(C++20以降)
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 修飾された型、参照型、アクセス不能なコピー代入演算子を持つクラス型、またはそのようなクラスの配列型である場合、プログラムは不正形式となります。	(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) first に other.first を、second に other.second を代入します。

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

(C++11以降)

4) first に other.first を、second に other.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) first に std::forward<U1>(p.first) を、second に std::forward<U2>(p.second) を代入します。

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

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

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

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

このオーバーロードは、

• std::same_as<std::remove_cvref_t<P>, std::pair> は false、
• std::remove_cvref_t<P> は std::ranges::subrange の特殊化ではなく、
• std::is_assignable_v<T1&, decltype(std::get<0>(std::forward<P>(p)))> は true、そして
• std::is_assignable_v<T1&, decltype(std::get<1>(std::forward<P>(p)))> は true。

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

このオーバーロードは、

• std::same_as<std::remove_cvref_t<P>, std::pair> は false、
• std::remove_cvref_t<P> は std::ranges::subrange の特殊化ではなく、
• std::is_assignable_v<const T1&, decltype(std::get<0>(std::forward<P>(p)))> は true、そして
• std::is_assignable_v<const T1&, decltype(std::get<1>(std::forward<P>(p)))> は true。

Parameters

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

Return value

*this

Exceptions

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

5)

noexcept 指定:  

noexcept(

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

)

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

Example

このコードを実行

#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, {}}

Defect reports

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 885	C++98	異種コピー代入の欠如	追加されました（オーバーロード (3) として）
LWG 2729	C++11	pair::operator= に制約がなく、 不要な未定義動作を招く可能性があった	制約付き

See also

operator=

ある tuple の内容を別の tuple に代入する (std::tuple<Types...> の public member function)