deduction guides for std::array

1つの 推論ガイド が std::array に対して提供されており、 可変長パラメータパック からの std::array 構築のために std::experimental::make_array と同等の機能を実現します。

プログラムは、 ( std:: is_same_v < T, U > && ... ) が真でない場合、不適格です。 ( std:: is_same_v < T, U > && ... ) は、 sizeof... ( U ) がゼロの場合に真となることに注意してください。

例

#include <algorithm>
#include <array>
#include <cassert>
#include <type_traits>
int main()
{
    const int x = 10;
    std::array a{1, 2, 3, 5, x}; // OK, std::array<int, 5> を作成
    assert(a.back() == x);
//  std::array b{1, 2u}; // エラー: すべての引数は同じ型でなければならない
//  std::array<short> c{3, 2, 1}; // エラー: テンプレート引数の数が不正
    std::array c{std::to_array<short>({3, 2, 1})}; // C++20 機能
    assert(std::ranges::equal(c, std::array{3, 2, 1}));
    static_assert(std::is_same_v<short, decltype(c)::value_type>);
}