deduction guides for std::array

Un guide de déduction est fourni pour std::array afin de fournir un équivalent de std::experimental::make_array pour la construction de std::array à partir d'un pack de paramètres variadique .

Le programme est mal formé si ( std:: is_same_v < T, U > && ... ) n'est pas vrai. Notez que ( std:: is_same_v < T, U > && ... ) est vrai lorsque sizeof... ( U ) est zéro.

Exemple

#include <algorithm>
#include <array>
#include <cassert>
#include <type_traits>
int main()
{
    const int x = 10;
    std::array a{1, 2, 3, 5, x}; // OK, crée std::array<int, 5>
    assert(a.back() == x);
//  std::array b{1, 2u}; // Erreur, tous les arguments doivent avoir le même type
//  std::array<short> c{3, 2, 1}; // Erreur, nombre incorrect d'arguments template
    std::array c{std::to_array<short>({3, 2, 1})}; // Fonctionnalité C++20
    assert(std::ranges::equal(c, std::array{3, 2, 1}));
    static_assert(std::is_same_v<short, decltype(c)::value_type>);
}