23 General utilities library [utilities]

23.4 Pairs [pairs]

23.4.2 Class template pair [pairs.pair]

namespace std {
  template <class T1, class T2>
    struct pair {
      using first_type  = T1;
      using second_type = T2;

      T1 first;
      T2 second;

      pair(const pair&) = default;
      pair(pair&&) = default;
      EXPLICIT constexpr pair();
      EXPLICIT constexpr pair(const T1& x, const T2& y);
      template<class U1, class U2> EXPLICIT constexpr pair(U1&& x, U2&& y);
      template<class U1, class U2> EXPLICIT constexpr pair(const pair<U1, U2>& p);
      template<class U1, class U2> EXPLICIT constexpr pair(pair<U1, U2>&& p);
      template <class... Args1, class... Args2>
        pair(piecewise_construct_t, tuple<Args1...> first_args, tuple<Args2...> second_args);

      pair& operator=(const pair& p);
      template<class U1, class U2> pair& operator=(const pair<U1, U2>& p);
      pair& operator=(pair&& p) noexcept(see below);
      template<class U1, class U2> pair& operator=(pair<U1, U2>&& p);

      void swap(pair& p) noexcept(see below);
    };

  template<class T1, class T2>
    pair(T1, T2) -> pair<T1, T2>;
}

Конструкторы и функции-членыpair не должны вызывать исключения, если одна из поэлементных операций, указанных для вызова для этой операции, не вызывает исключение.

Конструктор перемещения и копирования по умолчанию, соответственно,pair должен быть функцией constexpr тогда и только тогда, когда все требуемые поэлементные инициализации для копирования и перемещения, соответственно, будут удовлетворять требованиям для функции constexpr. Деструкторpair должен быть тривиальным деструктором, если (is_trivially_destructible_v<T1> && is_trivially_destructible_v<T2>) естьtrue.

EXPLICIT constexpr pair();

Effects: Значение инициализируетfirst иsecond.

Remarks: Этот конструктор не должен участвовать в разрешении перегрузки , если is_default_constructible_v<first_type> неtrue и is_default_constructible_v<second_type> являетсяtrue. [ Note: Это поведение может быть реализовано с помощью шаблона конструктора с аргументами шаблона по умолчанию. ] Конструктор является явным тогда и только тогда, когда любой из них или не является неявно конструктивным по умолчанию. [ Это поведение может быть реализовано с помощью трейта, который проверяет, можно ли инициализировать a или a . ] — end note first_type second_type Note: const first_type& const second_type&{} — end note

EXPLICIT constexpr pair(const T1& x, const T2& y);

Effects: Инициализируетсяfirst с помощьюx иsecond с помощьюy.

Remarks: Этот конструктор не должен участвовать в разрешении перегрузки , еслиis_copy_constructible_v<first_type> неtrue и is_copy_constructible_v<second_type> являетсяtrue. Конструктор является явным тогда и только тогда, когда is_convertible_v<const first_type&, first_type> естьfalse или is_convertible_v<const second_type&, second_type> естьfalse.

template<class U1, class U2> EXPLICIT constexpr pair(U1&& x, U2&& y);

Effects: Инициализируетсяfirst с помощью std::forward<U1>(x) иsecond с помощьюstd::forward<U2>(y).

Remarks: Этот конструктор не должен участвовать в разрешении перегрузки , если is_constructible_v<first_type, U1&&> неtrue и is_constructible_v<second_type, U2&&> являетсяtrue. Конструктор является явным тогда и только тогда, когда is_convertible_v<U1&&, first_type> естьfalse или is_convertible_v<U2&&, second_type> естьfalse.

template<class U1, class U2> EXPLICIT constexpr pair(const pair<U1, U2>& p);

Effects: Инициализирует члены из соответствующих членов аргумента.

Remarks: Этот конструктор не должен участвовать в разрешении перегрузки , если is_constructible_v<first_type, const U1&> неtrue и is_constructible_v<second_type, const U2&> являетсяtrue. Конструктор является явным тогда и только тогда, когда is_convertible_v<const U1&, first_type> естьfalse или is_convertible_v<const U2&, second_type> естьfalse.

template<class U1, class U2> EXPLICIT constexpr pair(pair<U1, U2>&& p);

Effects: Инициализируетсяfirst с помощью std::forward<U1>(p.first) иsecond с помощью std::forward<U2>(p.second).

template<class... Args1, class... Args2> pair(piecewise_construct_t, tuple<Args1...> first_args, tuple<Args2...> second_args);

Requires:is_constructible_v<first_type, Args1&&...> естьtrue иis_constructible_v<second_type, Args2&&...> естьtrue.

Effects: Инициализируетсяfirst аргументами типов, Args1... полученных путем пересылки элементов,first_args и инициализируетсяsecond аргументами типов,Args2... полученных пересылкой элементовsecond_args. (Здесь пересылка элементаx типаU внутриtuple объекта означает вызов std::forward<U>(x).) Вызывается эта форма конструкции, при которой аргументы конструктора дляfirst иsecond предоставляются в отдельном tuple объектеpiecewise construction.

pair& operator=(const pair& p);

Effects: Присваиваетp.first кfirst иp.second кsecond.

Remarks: Этот оператор должен быть определен как удален , если is_copy_assignable_v<first_type> неtrue иis_copy_assignable_v<second_type> являетсяtrue.

Returns:*this.

template<class U1, class U2> pair& operator=(const pair<U1, U2>& p);

Effects: Присваиваетp.first кfirst иp.second кsecond.

Remarks: Этот оператор не должен участвовать в разрешении перегрузки , если is_assignable_v<first_type&, const U1&> неtrue иis_assignable_v<second_type&, const U2&> являетсяtrue.

Returns:*this.

pair& operator=(pair&& p) noexcept(see below);

Effects: Назначает кfirst сstd::forward<first_type>(p.first) и кsecond с
std::forward<second_type>(p.second).

Remarks: Этот оператор должен быть определен как удален , если is_move_assignable_v<first_type> неtrue иis_move_assignable_v<second_type> являетсяtrue.

Remarks: Выражение внутриnoexcept эквивалентно:

is_nothrow_move_assignable_v<T1> && is_nothrow_move_assignable_v<T2>

Returns:*this.

template<class U1, class U2> pair& operator=(pair<U1, U2>&& p);

Effects: Назначает кfirst сstd::forward<U>(p.first) и кsecond с
std::forward<V>(p.second).

Remarks: Этот оператор не должен участвовать в разрешении перегрузки , если is_assignable_v<first_type&, U1&&> неtrue иis_assignable_v<second_type&, U2&&> являетсяtrue.

Returns:*this.

void swap(pair& p) noexcept(see below);

Requires: first должны бытьswappable with p.first иsecond должны быть замененыp.second.

Effects: Меняет местами first сp.first и second сp.second.

Remarks: Выражение внутриnoexcept эквивалентно:

is_nothrow_swappable_v<first_type> && is_nothrow_swappable_v<second_type>