deduction guides for std::array
From cppreference.com
C++
Feature test macros (C++20)
Concepts library (C++20)
Metaprogramming library (C++11)
Ranges library (C++20)
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Containers library
(C++17)
(C++11)
(C++26)
(C++26)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++23)
(C++23)
(C++23)
(C++23)
(C++20)
(C++23)
Tables
std::array
(until C++20)(until C++20)(until C++20)(until C++20)(until C++20)
Deduction guides (C++17)
Defined in header
<array>
template< class T, class... U >
array( T, U... ) -> array<T, 1 + sizeof...(U)>;
(since C++17)
array( T, U... ) -> array<T, 1 + sizeof...(U)>;
One deduction guide is provided for std::array to provide an equivalent of std::experimental::make_array for construction of std::array from a variadic parameter pack.
The program is ill-formed if (std::is_same_v <T, U> && ...) is not true. Note that (std::is_same_v <T, U> && ...) is true when sizeof...(U) is zero.
[edit] Example
Run this code
#include <algorithm> #include <array> #include <cassert> #include <type_traits> int main() { const int x = 10; std::array a{1, 2, 3, 5, x}; // OK, creates std::array<int, 5> assert (a.back() == x); // std::array b{1, 2u}; // Error, all arguments must have the same type // std::array<short> c{3, 2, 1}; // Error, wrong number of template args std::array c{std::to_array <short>({3, 2, 1})}; // C++20 facility assert (std::ranges::equal (c, std::array {3, 2, 1})); static_assert(std::is_same_v <short, decltype(c)::value_type>); }