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

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

工具库

语言支持 类型支持（基本类型、 RTTI 、类型特征）     库功能特性测试宏 (C++20) 动态内存管理 程序工具 错误处理 协程支持 (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)

通用工具 日期和时间 函数对象 bitset 格式化库 (C++20) hash (C++11) integer_sequence (C++14) 关系运算符 (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) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) to_underlying (C++23) 常用词汇类型 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) 初等字符串转换 to_chars (C++17) from_chars (C++17) chars_format (C++17) 栈踪 stacktrace_entry (C++23) basic_stacktrace (C++23)

 

std::pair

成员函数

pair::pair

pair::operator=

pair::swap

非成员函数

make_pair

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20)

std::swap

get (C++11)

推导指引(C++17)

辅助类

tuple_size (C++11)

tuple_element (C++11)

 

	(1)
pair();			(C++11 前)
constexpr pair();			(C++11 起) (条件性 explicit)
		(2)
pair( const T1& x, const T2& y );				(C++11 前)
pair( const T1& x, const T2& y );				(C++11 起) (C++14 前) (条件性 explicit)
constexpr pair( const T1& x, const T2& y );				(C++14 起) (条件性 explicit)
			(3)
template< class U1, class U2 > pair( U1&& x, U2&& y );					(C++11 起) (C++14 前) (条件性 explicit)
template< class U1, class U2 > constexpr pair( U1&& x, U2&& y );					(C++14 起) (C++23 前) (条件性 explicit)
template< class U1 = T1, class U2 = T2 > constexpr pair( U1&& x, U2&& y );					(C++23 起) (条件性 explicit)
				(4)
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 前) (条件性 explicit)
template< class U1, class U2 > constexpr pair( const pair<U1, U2>& p );						(C++14 起) (条件性 explicit)
					(5)
template< class U1, class U2 > pair( pair<U1, U2>&& p );							(C++11 起) (C++14 前) (条件性 explicit)
template< class U1, class U2 > constexpr pair( pair<U1, U2>&& p );							(C++14 起) (条件性 explicit)
						(6)
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;							(7)
pair( pair&& p ) = default;							(8)	(C++11 起)

构造新的 pair 。

1) 默认构造函数。值初始化 pair 的两个元素 first 和 second 。

此构造函数参与重载决议，当且仅当 std::is_default_constructible_v<first_type> 与 std::is_default_constructible_v<second_type> 均为 true 。 此构造函数为 explicit ，当且仅当 first_type 或 second_type 不可隐式默认构造。

(C++11 起)

2) 以 x 初始化 first 并以 y 初始化 second 。

此构造函数参与重载决议，当且仅当 std::is_copy_constructible_v<first_type> 与 std::is_copy_constructible_v<second_type> 均为 true 。 此构造函数为 explicit ，当且仅当 std::is_convertible_v<const first_type&, first_type> 为 false 或 std::is_convertible_v<const second_type&, second_type> 为 false 。

(C++11 起)

3) 以 std::forward<U1>(x) 初始化 first 并以 std::forward<U2>(y) 初始化 second 。

• 此构造函数参与重载决议，当且仅当 std::is_constructible_v<first_type, U1&&> 和 std::is_constructible_v<second_type, U2&&> 均为 true 。
• 此构造函数为 explicit ，当且仅当 std::is_convertible_v<U1&&, first_type> 为 false 或 std::is_convertible_v<U2&&, second_type> 为 false 。

4) 以 p.first 初始化 first 并以 p.second 初始化 second 。

此构造函数参与重载决议，当且仅当 std::is_constructible_v<first_type, const U1&> 和 std::is_constructible_v<second_type, const U2&> 均为 true 。 此构造函数为 explicit ，当且仅当 std::is_convertible_v<const U1&, first_type> 为 false 或 std::is_convertible_v<const U2&, second_type> 为 false 。

(C++11 起)

5) 以 std::forward<U1>(p.first) 初始化 first 并以 std::forward<U2>(p.second) 初始化 second 。

• 此构造函数参与重载决议，当且仅当 std::is_constructible_v<first_type, U1&&> 和 std::is_constructible_v<second_type, U2&&> 均为 true 。
• 此构造函数为 explicit ，当且仅当 std::is_convertible_v<U1&&, first_type> 为 false 或 std::is_convertible_v<U2&&, second_type> 为 false 。

6) 转发 first_args 的元素到 first 的构造函数并转发 second_args 的元素到 second 的构造函数。这是能用于构造不可复制不可移动类型的 pair 的仅有的非默认构造函数。

7) 复制构造函数为隐式声明 (C++11 前)默认化，且若两个元素的复制满足 constexpr 函数的要求则为 constexpr (C++11 起)。

8) 移动构造函数为默认化，且若两个元素的移动满足 constexpr 函数的要求则为 constexpr 。

参数

x	-	初始化此 pair 首元素的值
y	-	初始化此 pair 第二元素的值
p	-	用于初始化此 pair 两个元素的值的 pair
first_args	-	初始化此 pair 首元素的构造函数参数的 tuple
second_args	-	初始化此 pair 第二元素的构造函数参数的 tuple

异常

不抛异常，除非指定操作之一（如元素的构造）抛出。

示例

运行此代码

#include <utility>
#include <string>
#include <complex>
#include <tuple>
#include <iostream>
 
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("(6) Piecewise constructed: ", p6);
}

可能的输出：

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

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR	应用于	出版时的行为	正确行为
N4387	C++11	某些构造函数曾为 explicit ，阻止了有用的行为	使大多数构造函数为条件性 explicit
LWG 2510	C++11	默认构造函数为隐式	使之为条件性 explicit

参阅

make_pair

创建一个 pair 对象，其类型根据各实参类型定义 (函数模板)