std::pair<T1,T2>::operator=
pair& operator=( const pair& other );
|
(1) | (constexpr начиная с C++20) |
constexpr const pair& operator=( const pair& other ) const;
|
(2) | (начиная с C++23) |
template< class U1, class U2 >
pair& operator=( const pair<U1, U2>& other );
|
(3) | (constexpr начиная с C++20) |
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) (constexpr начиная с C++20) |
constexpr const pair& operator=( pair&& other ) const;
|
(6) | (начиная с C++23) |
template< class U1, class U2 >
pair& operator=( pair<U1, U2>&& p );
|
(7) | (начиная с C++11) (constexpr начиная с 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) |
Заменяет содержимое пары.
other.
|
Оператор присваивания объявляется неявно. Использование этого оператора присваивания делает программу некорректной, если |
(до C++11) |
|
Эта перегрузка определена как удалённая, если |
(начиная с C++11) |
std::is_copy_assignable_v<const T1> и std::is_copy_assignable_v<const T2> оба являются true.other.first в first и other.second в second.
|
Эта перегрузка участвует в разрешении перегрузки только если |
(начиная с C++11) |
other.first в first и other.second в second.std::is_assignable_v<const T1&, const U1&> и std::is_assignable_v<const T2&, const U2&> оба являются true.other с использованием семантики перемещения.std::is_move_assignable<T1>::value и std::is_move_assignable<T2>::value оба являются true.std::is_assignable_v<const T1&, T1> и std::is_assignable_v<const T2&, T2> оба являются true.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.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.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.
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 | - | pair-like объект значений для замены содержимого этой пары |
| Требования к типам | ||
-
T1
должен удовлетворять требованиям
CopyAssignable
от
U1
.
(до C++11)
|
||
-
T2
должен удовлетворять требованиям
CopyAssignable
от
U2
.
(до C++11)
|
||
Возвращаемое значение
* this
Исключения
std::
is_nothrow_move_assignable
<
T1
>
::
value
&&
std::
is_nothrow_move_assignable
<
T2
>
::
value
Пример
#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=
был неограниченным и мог
приводить к необязательному неопределённому поведению |
ограничен |
Смотрите также
присваивает содержимое одного
tuple
другому
(публичная функция-член
std::tuple<Types...>
)
|