std::tuple 的推导指引

C++ 参考手册

C++11
C++14
C++17
C++20
C++ 编译器支持情况表
独立与宿主实现
C++ 语言
C++ 关键词
预处理器
C++ 标准库头文件
具名要求
功能特性测试 (C++20)
工具库
程序支持工具
std::initializer_list
函数对象
std::hash
std::pair
std::tuple
std::tie
std::tuple<Types...>::tuple
std::tuple<Types...>::swap
std::make_tuple
std::forward_as_tuple
std::tuple 的推导指引
std::tuple<Types...>::operator=
std::tuple_cat
operator==,!=,<,<=,>,>=,<=>(std::tuple)
std::swap(std::tuple)
std::get(std::tuple)
std::tuple_size<std::tuple>
std::tuple_element<std::tuple>
std::uses_allocator<std::tuple>
std::ignore
std::apply
库特性测试宏 (C++20)
std::optional
std::any
std::variant
格式化库 (C++20)
std::integer_sequence
std::exchange
std::make_from_tuple
std::launder
std::to_chars
std::from_chars
std::as_const
std::source_location
变参数函数
std::bitset
std::cmp_equal, cmp_not_equal, cmp_less, cmp_greater, cmp_less_equal, cmp_greater_equal
std::in_range
std::declval
std::forward
std::move
std::move_if_noexcept
std::chars_format
std::piecewise_construct_t
std::piecewise_construct
std::in_place, std::in_place_type, std::in_place_index, std::in_place_t, std::in_place_type_t, std::in_place_index_t
注释
类型支持（基本类型、RTTI、类型特性）
概念库 (C++20)
错误处理
动态内存管理
日期和时间工具
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
输入/输出库
文件系统库
本地化库
正则表达式库
原子操作库
线程支持库
实验性 C++ 特性
有用的资源
索引
std 符号索引
协程支持 (C++20)
C++ 关键词

位置：首页 > C++ 参考手册 >工具库 >std::tuple > std::tuple 的推导指引

定义于头文件 `<tuple>`
template<class... UTypes> tuple(UTypes...) -> tuple<UTypes...>;	(1)	(C++17 起)
template<class T1, class T2> tuple(std::pair<T1, T2>) -> tuple<T1, T2>;	(2)	(C++17 起)
template<class Alloc, class... UTypes> tuple(std::allocator_arg_t, Alloc, UTypes...) -> tuple<UTypes...>;	(3)	(C++17 起)
template<class Alloc, class T1, class T2> tuple(std::allocator_arg_t, Alloc, std::pair<T1, T2>) -> tuple<T1, T2>;	(4)	(C++17 起)
template<class Alloc, class... UTypes> tuple(std::allocator_arg_t, Alloc, tuple<UTypes...>) -> tuple<UTypes...>;	(5)	(C++17 起)

为 std::tuple 提供这些推导指引，以涵盖隐式推导指引缺失的极端情况，特别是不可复制参数和数组到指针转换。

示例

运行此代码

#include <tuple>
int main()
{
    int a[2], b[3], c[4];
    std::tuple t1{a, b, c}; // 用于此场合的显式推导指引
}