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

 

C++

语言

标准库

标准库头文件

自立与有宿主

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

工具库

语言支持 类型支持（基本类型、 RTTI） 库功能特性测试宏 (C++20) 动态内存管理 程序工具 协程支持 (C++20) 变参数函数 is_constant_evaluated (C++20) launder (C++17) initializer_list (C++11) source_location (C++20) 三路比较 (C++20) 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_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(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 与类型运算 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) 初等字符串转换 to_chars (C++17) from_chars (C++17) chars_format (C++17)

 

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)

std::swap (C++11)

get (C++11)

推导指引(C++17)

辅助类

tuple_size (C++11)

tuple_element (C++11)

basic_common_reference (C++23)

common_type (C++23)

 

	(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++11 起) (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>&& other );						(C++11 起) (C++20 前)
template< class U1, class U2 > constexpr pair& operator=( pair<U1, U2>&& other );						(C++20 起)
template< class U1, class U2 > constexpr const pair& operator=( pair<U1, U2>&& other ) const;					(8)	(C++23 起)

替换 pair 的内容。

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 时才参与重载决议。

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 时才参与重载决议 。

参数

other

-

替换此 pair 的值的 pair

返回值

*this

异常

1-4) 可能抛出实现定义的异常。

5)

noexcept 说明：  

noexcept(

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

)

6-8) 可能抛出实现定义的异常。

示例

运行此代码

#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 2729	C++11	pair::operator= 未被约束并可能导致不必要的未定义行为	已约束

参阅

operator= (C++11)

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