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

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 类型支持（基本类型、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<=> (until C++20)(until C++20)(until C++20)(until C++20)(until 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 起)

替换 pair 的内容。

1) 复制赋值运算符。用 `other` 内容的副本替换内容。

赋值运算符是隐式声明的。如果 T1 或 T2 是 const-qualified 类型、引用类型、具有不可访问的复制赋值运算符的类类型，或者是此类类型的数组类型，则使用此赋值运算符将使程序格式错误。	(C++11 前)
如果 std::is_copy_assignable<T1>::value 或 std::is_copy_assignable<T2>::value 为 false，则此重载被定义为删除。	(C++11 起)

2) const-qualified 操作数的复制赋值运算符。

仅当 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-qualified 操作数的移动赋值运算符。

仅当 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<P>(u)) 赋值给 first，将 std::get<1>(std::forward<P>(u)) 赋值给 second。

仅当以下条件成立时，此重载才参与重载决议：

• 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) 将 std::get<0>(std::forward<P>(u)) 赋值给 first，将 std::get<1>(std::forward<P>(u)) 赋值给 second。

仅当以下条件成立时，此重载才参与重载决议：

• 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。

参数

其他	-	要替换此 pair 内容的 pair 值
p	-	要替换此 pair 内容的 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++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
LWG 885	C++98	缺少异构复制赋值	已添加（作为重载 (3)）
LWG 2729	C++11	pair::operator= 未受约束，可能 导致不必要的未定义行为	已受约束

参阅

operator=

将一个 tuple 的内容赋值给另一个 (std::tuple<Types...> 的公共成员函数)