std::pair::pair

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм (C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) 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 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) to_chars_result (C++17) from_chars_result (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)

piecewise_construct_t (C++11)

 

<tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody>

	(1)
pair();			(до C++11)
constexpr pair();			(начиная с C++11) (conditionally explicit)
		(2)
pair( const T1& x, const T2& y );				(до C++11)
pair( const T1& x, const T2& y );				(начиная с C++11) (до C++14) (conditionally explicit)
constexpr pair( const T1& x, const T2& y );				(начиная с C++14) (conditionally explicit)
			(3)
template< class U1, class U2 > pair( U1&& x, U2&& y );					(начиная с C++11) (до C++14) (conditionally explicit)
template< class U1, class U2 > constexpr pair( U1&& x, U2&& y );					(начиная с C++14) (до C++23) (conditionally explicit)
template< class U1 = T1, class U2 = T2 > constexpr pair( U1&& x, U2&& y );					(начиная с C++23) (conditionally explicit)
template< class U1, class U2 > constexpr pair( pair<U1, U2>& p );				(4)	(начиная с C++23) (conditionally explicit)
				(5)
template< class U1, class U2 > pair( const pair<U1, U2>& p );						(до C++11)
template< class U1, class U2 > pair( const pair<U1, U2>& p );						(начиная с C++11) (до C++14) (conditionally explicit)
template< class U1, class U2 > constexpr pair( const pair<U1, U2>& p );						(начиная с C++14) (conditionally explicit)
					(6)
template< class U1, class U2 > pair( pair<U1, U2>&& p );							(начиная с C++11) (до C++14) (conditionally explicit)
template< class U1, class U2 > constexpr pair( pair<U1, U2>&& p );							(начиная с C++14) (conditionally explicit)
template< class U1, class U2 > constexpr pair( const pair<U1, U2>&& p );						(7)	(начиная с C++23) (conditionally explicit)
template< pair-like P > constexpr pair ( P&& u );						(8)	(начиная с C++23) (conditionally explicit)
						(9)
template< class... Args1, class... Args2 > pair( std::piecewise_construct_t, std::tuple<Args1...> first_args, std::tuple<Args2...> second_args );								(начиная с C++11) (до C++20)
template< class... Args1, class... Args2 > constexpr pair( std::piecewise_construct_t, std::tuple<Args1...> first_args, std::tuple<Args2...> second_args );								(начиная с C++20)
pair( const pair& p ) = default;							(10)
pair( pair&& p ) = default;							(11)	(начиная с C++11)

Создаёт новый pair.

1) Конструктор по умолчанию. Инициализирует значением оба элемента pair, 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	—	значение для инициализации первого элемента pair
y	—	значение для инициализации второго элемента pair
p	—	pair значений, используемых для инициализации обоих элементов pair
u	—	объект значений pair-like, используемый для инициализации обоих элементов pair
first_args	—	кортеж аргументов конструктора для инициализации первого элемента pair
second_args	—	кортеж аргументов конструктора для инициализации второго элемента pair

Исключения

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

Пример

Запустить этот код

#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) Инициализированное значение: ", p1);
    
    std::pair<int, double> p2{42, 3.1415};
    print("(2) Инициализируется двумя значениями: ", p2);
    
    std::pair<char, int> p4{p2};
    print("(4) Неявно преобразуется: ", 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) Кусочно создаётся: ", p6);
}

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

(1) Инициализированное значение: (0, 0)
(2) Инициализируется двумя значениями: (42, 3.1415)
(4) Неявно преобразуется: (*, 3)
(8) Кусочно создаётся: ((0.123,7.7), aaaaaaaaaa)

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

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

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

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

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