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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 库功能特性测试宏 (C++20) 类型支持（基本类型、RTTI） 程序工具 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) 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(/* 见下文 */);			(C++11 起) (C++20 前)
constexpr pair& operator=( pair&& other ) noexcept(/* 见下文 */);			(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) 将 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<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

时才会参与重载决议。

参数

other	-	包含用来替换此对偶内容的值对偶
p	-	包含用来替换此对偶内容的（类型可能不同的）值的对偶
u	-	包含用来替换此对偶内容的值的对偶式对象
类型要求
- 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	operator= 未被约束并可能导致不必要的未定义行为	已约束

参阅

operator=

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