`std::pair` 的推导指引

工具库

语言支持
类型支持（基本类型、 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 与类型运算

常用词汇类型

初等字符串转换

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)

在标头 `<utility>` 定义
template<class T1, class T2> pair(T1, T2) -> pair<T1, T2>;		(C++17 起)

为 std::pair 提供一个推导指引，以涵盖隐式推导指引所遗漏的极端情况。

特别是不可复制参数及数组到指针转换。

运行此代码

#include <utility>
 
int main()
{
    int a[2], b[3];
    std::pair p{a, b}; // 显式推导指引用于此情况
}

Xi Xu's More Things