Namespaces
Variants

руководства по выводу для std::tuple

С сайта ru.cppreference.net
 
 
Библиотека утилит
Языковая поддержка
Поддержка типов (базовые типы, RTTI)
Макросы проверки возможностей библиотеки (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++14)
(C++11)
(C++11)
(C++11)
(C++17)
Общеупотребительные типы
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)



 
 
Определено в заголовке <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}; // в данном случае используется явный вывод типа
}