Namespaces
Variants

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

    Начиная с ru.cppreference.net
     
    C++
    Поддержка компиляторов
    Автономное и хостируемое окружение
    Язык
    Стандартная библиотека
    Заголовки стандартной библиотеки
    Именованные требования
    Макросы проверки функций языка (C++20)
    Библиотека поддержки языка
    Библиотека концепций (C++20)
    Библиотека диагностики
    Библиотека управления памятью
    Библиотека метапрограммирования (C++11)
    Библиотека общих утилит
    Библиотека контейнеров
    Библиотека итераторов
    Библиотека диапазонов (C++20)
    Библиотека алгоритмов
    Библиотека строк
    Библиотека обработки текста
    Библиотека численных операций
    Библиотека даты и времени
    Библиотека ввода/вывода
    Библиотека файловых систем (C++17)
    Библиотека поддержки конкурентности (C++11)
    Библиотека управления выполнением (C++26)
    Технические спецификации
    Индекс символов
    Внешние библиотеки
     
    Библиотека утилит
    Поддержка языка
    Поддержка типов (базовые типы, RTTI)
    Макросы проверки функций библиотеки (C++20)
    Программные утилиты
    Функции с переменным числом аргументов
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Поддержка корутин (C++20)
    Поддержка контрактов (C++26)
    Трёхстороннее сравнение
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    Общие утилиты
    Операторы отношений (устарело в C++20)
     
    std::pair
     
    pair();
    		(1) (constexpr начиная с C++11)
    (условно явный начиная с C++11)    		 
    pair( const T1& x, const T2& y );
    		(2) (constexpr начиная с C++14)
    (условно явный начиная с C++11)    		 
    template< class U1, class U2 >
pair( U1&& x, U2&& y );
    		(3) (начиная с C++11)
    (constexpr начиная с C++14)
    (до C++23)
    (условно явный)    		 
    template< class U1 = T1, class U2 = T2 >
constexpr pair( U1&& x, U2&& y );
    		(начиная с C++23)
    (условно явный)    		 
    template< class U1, class U2 >
constexpr pair( pair<U1, U2>& p );
    		(4) (начиная с C++23)
    (условно явный) 
    template< class U1, class U2 >
pair( const pair<U1, U2>& p );
    		(5) (constexpr начиная с C++14)
    (условно явный начиная с C++11)    		 
    template< class U1, class U2 >
pair( pair<U1, U2>&& p );
    		(6) (constexpr начиная с C++14)
    (условно явный начиная с C++11)    		 
    template< class U1, class U2 >
constexpr pair( const pair<U1, U2>&& p );
    		(7) (начиная с C++23)
    (условно явный) 
    template< pair-like P >
constexpr pair ( P&& u );
    		(8) (начиная с C++23)
    (условно явный) 
    template< class... Args1, class... Args2 >
pair( std::piecewise_construct_t,
      std::tuple<Args1...> first_args,
      std::tuple<Args2...> second_args );
    		(9) (начиная с C++11)
    (constexpr начиная с C++20)    		 
    pair( const pair& p ) = default;
    		(10) 
    pair( pair&& p ) = default;
    		(11) (начиная с C++11)

    Создаёт новую пару.

    1) Конструктор по умолчанию. Инициализирует значениями оба элемента пары, first и second.

    Этот конструктор участвует в разрешении перегрузки только если std::is_default_constructible_v<T1> и std::is_default_constructible_v<T2> оба являются true.

    Этот конструктор является explicit только если либо T1, либо T2 не является неявно конструируемым по умолчанию.

    		(начиная с C++11)
    2) Инициализирует first значением x и second значением y.

    Этот конструктор участвует в разрешении перегрузки только если std::is_copy_constructible_v<T1> и std::is_copy_constructible_v<T2> оба являются true.

    Этот конструктор является explicit только если std::is_convertible_v<const T1&, T1> является false или std::is_convertible_v<const T2&, T2> является false.

    		(начиная с C++11)
    3) Инициализирует first значением std::forward<U1>(x) и second значением std::forward<U2>(y).
    Этот конструктор участвует в разрешении перегрузки только если std::is_constructible_v<T1, U1> и std::is_constructible_v<T2, U2> оба являются true.
    Этот конструктор является explicit только если std::is_convertible_v<U1, T1> является false или std::is_convertible_v<U2, T2> является false.

    Этот конструктор определён как удалённый, если инициализация first или second будет привязывать ссылку к временному объекту.

    		(начиная с C++23)
    4) Инициализирует first значением p.first и second значением p.second.
    Этот конструктор участвует в разрешении перегрузки только если std::is_constructible_v<T1, U1&> и std::is_constructible_v<T2, U2&> оба являются true.
    Этот конструктор является explicit только если std::is_convertible_v<U1&, T1> является false или std::is_convertible_v<U2&, T2> является false.
    Этот конструктор определён как удалённый, если инициализация first или second будет привязывать ссылку к временному объекту.
    5) Инициализирует first значением p.first и second значением p.second.

    Этот конструктор участвует в разрешении перегрузки только если std::is_constructible_v<T1, const U1&> и std::is_constructible_v<T2, const U2&> оба являются true.

    Этот конструктор является explicit только если std::is_convertible_v<const U1&, T1> является false или std::is_convertible_v<const U2&, T2> является false.

    		(начиная с C++11)

    Этот конструктор определён как удалённый, если инициализация first или second будет привязывать ссылку к временному объекту.

    		(начиная с C++23)
    6) Инициализирует first значением std::forward<U1>(p.first) и second значением std::forward<U2>(p.second).
    Этот конструктор участвует в разрешении перегрузки только если std::is_constructible_v<T1, U1> и std::is_constructible_v<T2, U2> оба являются true.
    Этот конструктор является explicit только если std::is_convertible_v<U1, T1> является false или std::is_convertible_v<U2, T2> является false.

    Этот конструктор определён как удалённый, если инициализация first или second будет привязывать ссылку к временному объекту.

    		(начиная с C++23)
    7) Инициализирует first значением std::forward<const U1>(p.first) и second значением std::forward<const U2>(p.second).
    Этот конструктор участвует в разрешении перегрузки только если std::is_constructible_v<T1, U1> и std::is_constructible_v<T2, U2> оба являются true.
    Этот конструктор является explicit только если std::is_convertible_v<const U1, T1> является false или std::is_convertible_v<const U2, T2> является false.
    Этот конструктор определён как удалённый, если инициализация first или second будет привязывать ссылку к временному объекту.
    8) Пусть u1 обозначает std::get<0>(std::forward(u)), а u2 обозначает std::get<1>(std::forward(u)), и пусть их типы обозначаются как U1 и U2 соответственно. Инициализирует first значением u1 и second значением u2.
    Этот конструктор участвует в разрешении перегрузки только если
    • std::remove_cvref(P) не является специализацией std::ranges::subrange,
    • std::is_constructible_v<T1, U1> является true, и
    • std::is_constructible_v<T2, U2 является true.
    Этот конструктор является explicit только если std::is_convertible_v<U1, T1> является false или std::is_convertible_v<U2, T2> является false.
    Этот конструктор определён как удалённый, если инициализация first или second будет привязывать ссылку к временному объекту.
    9) Пересылает элементы first_args конструктору first и пересылает элементы second_args конструктору second. Это единственный нестандартный конструктор, который можно использовать для создания пары некопируемых неперемещаемых типов. Программа считается некорректной, если first или second является ссылкой и привязана к временному объекту.
    10) Конструктор копирования является неявно объявленным(до C++11)умолчательным, и является constexpr если копирование обоих элементов удовлетворяет требованиям к constexpr функциям(начиная с C++11).
    11) Конструктор перемещения является умолчательным, и является constexpr если перемещение обоих элементов удовлетворяет требованиям к constexpr функциям.

    Параметры

    x - значение для инициализации первого элемента этой пары
    y - значение для инициализации второго элемента этой пары
    p - пара значений, используемая для инициализации обоих элементов этой пары
    u - pair-like объект значений, используемый для инициализации обоих элементов этой пары
    first_args - кортеж аргументов конструктора для инициализации первого элемента этой пары
    second_args - кортеж аргументов конструктора для инициализации второго элемента этой пары

    Исключения

    Не генерирует исключения, если только одна из указанных операций (например, конструктор элемента) не генерирует исключение.

    Пример

    Запустить этот код 
    #include <complex>
#include <iostream>
#include <string>
#include <tuple>
#include <utility>
int main()
{
    auto print = [](auto rem, auto const& pair)
    {
        std::cout << rem << "(" << pair.first << ", " << pair.second << ")\n";
    };
    std::pair<int, float> p1;
    print("(1) Value-initialized: ", p1);
    std::pair<int, double> p2{42, 3.1415};
    print("(2) Initialized with two values: ", p2);
    std::pair<char, int> p4{p2};
    print("(4) Implicitly converted: ", p4);
    std::pair<std::complex<double>, std::string> p6
        {std::piecewise_construct, std::forward_as_tuple(0.123, 7.7),
            std::forward_as_tuple(10, 'a')};
    print("(8) Piecewise constructed: ", p6);
}

    Возможный вывод: 

    (1) Value-initialized: (0, 0)
(2) Initialized with two values: (42, 3.1415)
(4) Implicitly converted: (*, 3)
(8) Piecewise constructed: ((0.123,7.7), aaaaaaaaaa)

    Отчеты о дефектах

    Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.

    DR Применяется к Поведение в опубликованной версии Корректное поведение
    LWG 265 C++98 конструктор по умолчанию копирующе инициализировал first
    и second с помощью T1 ( ) и T2 ( ) соответственно
    (таким образом требовал, чтобы T1 и T2 были CopyConstructible )     		first и second
    инициализируются по значению
    LWG 2510 C++11 конструктор по умолчанию был неявным сделан условно-явным
    N4387 C++11 некоторые конструкторы были только неявными, что препятствовало некоторым использованиям конструкторы сделаны условно-явными

    Смотрите также

    		создаёт объект pair типа, определяемого типами аргументов
    (шаблон функции)
    		конструирует новый tuple
    (публичная функция-член std::tuple<Types...> )