Commit f3c74df

C++20 から、集成体において、メンバ変数名を指定した初期化（指示付き初期化子を用いた初期化: "Designated Initialization" ）ができるようになります。C 言語 (C99) にも同様の機能がありますが、C++20 では C99 と比較して以下のような制約が追加されています。

- (a) 指示子の順番はメンバの宣言順と同じである必要がある

- (b) 指示付き初期化子と通常の初期化子の混在はできない

- (c) 指示付き初期化は重複できない

- (d) 指示付き初期化のネストはできない

- (e) 配列の指示付き初期化はできない

また、初期化子の評価順序が左から右であることが保証されます。

#include <string>

struct Point

{

int x, y;

};

struct Item

{

std::string name;

int id = -1;

int count = 1;

};

void F(Point) {}

int main()

{

Point p1 = { .x = 10, .y = 20 }; // OK

Point p2{ .x = 10, .y = 20 }; // OK

Point p3 = { .x = 10 }; // OK: y は 0 に初期化される

Point p4 = { .y = 20 }; // OK: x は 0 に初期化される

F({ .x = 10, .y = 20 }); // OK

//Point p4 = { .y = 20, .x = 30 }; // コンパイルエラー: (a) 指示子の順番がメンバの宣言順と異なる

//Point p5 = { .x = 20, 40 }; // コンパイルエラー: (b) 指示付き初期化子と通常の初期化子は混在できない

//Point p6 = { .x = 20, .x = 30, .y = 30 }; // コンパイルエラー: (c) 指示付き初期化子は重複できない

Item i1{ .name = "shield", .id = 30, .count = 100 }; // OK

Item i2{ .id = 0 }; // OK: name は {} で初期化、count は 1 で初期化

//Item i3{ .pos.x = 10, .pos.y = 40 }; // コンパイルエラー: (d) 指示付き初期化のネストはできない

//int arr[3] = {[1] = 5}; // コンパイルエラー: (e) 配列の指示付き初期化はできない

}

しかし、`"hello"` や `int[4]` のような組み込み配列から `std::array<char, 6>` や `std::array<int, 4>` を作成する方法はありませんでした。

#include <array>

int main()

{

auto a1 = std::array{ "hello" }; // std::array<const char*, 1>

int xs[4] = { 1,2,3,4 };

auto a2 = std::array{ xs }; // std::array<int*, 1>

}

C++20 では、組み込み配列の左辺値または右辺値を引数にとり、値をコピー（ムーブ）して新しい `std::array` を作成する補助関数 `std::to_array()` が追加され、組み込み配列からの `std::array` の作成が簡単になりました。

#include <array>

int main()

{

auto a1 = std::to_array("hello"); // std::array<char, 6>

int xs[4] = { 1,2,3,4 };

auto a2 = std::to_array(xs); // std::array<int, 4>

auto a3 = std::to_array<long>({ 1, 2 }); // std::array<long, 2>

}