第7回 統一初期化 { }

1. これまでの初期化はバラバラだった

C や C++03 までは、何を初期化するかで書き方が違っていました。覚えることが多く、場所によっては使えない書き方もありました。

2. 統一初期化 { } の基本

基本形はシンプルです。T x{値}; と書くだけで、ほぼ全ての場面をカバーできます。

// 単純な型
int    x{42};
double d{3.14};
char   c{'A'};

// 配列
int a[]{1, 2, 3};

// std::array / std::vector
std::array<int, 3> arr{1, 2, 3};
std::vector<int> v{1, 2, 3, 4, 5};

// クラス / 構造体
struct Point { int x, y; };
Point p{10, 20};

// 関数の戻り値でも使える
Point make_origin() { return {0, 0}; }

// メンバ初期化
class Box {
    int w{0}, h{0};  // メンバの既定値
};

3. narrowing を弾く安全性

統一初期化のもう一つの大きな利点は、精度が落ちる変換（narrowing）をコンパイル時にエラーにしてくれることです。C や () 初期化では通ってしまうバグを防げます。

検出される「narrowing」は、double → int / long → int / unsigned → signed（値が入らない場合）など、情報が失われる方向の暗黙変換です。意図的に切り捨てたい場合は static_cast で明示すれば通ります。

4. ゼロ初期化 T x{}

中身が空の {} を書くと、型に応じた「ゼロ相当の値」で初期化されます。C の int x = 0; / memset(arr, 0, sizeof(arr)); に相当する書き方を、1 つの構文で統一できます。

int    x{};        // 0
double d{};        // 0.0
bool   b{};        // false
char*  p{};        // nullptr

std::string s{};  // 空文字列 ""
std::vector<int> v{};  // 空の vector

int arr[10]{};   // すべて 0

struct Point { int x, y; };
Point pt{};        // x=0, y=0

5. most vexing parse の回避

C++ には歴史的に most vexing parse（極めて厄介な構文解析）という罠があります。「オブジェクトを作ったつもりが、コンパイラには関数宣言として解釈される」問題です。

原因は「Timer()」の () が空引数リストと区別できないこと。C++ の文法は曖昧な場合「宣言として解釈できるなら宣言優先」というルールがあるため、意図と違う方に倒れます。{} は宣言構文として解釈される余地がないので、必ずオブジェクト生成になります。

6. () と {} の使い分けの罠

「何でも {}」と言いましたが、1 箇所だけ例外があります。std::vector のコンストラクタでは、() と {} で意味が変わります。

std::vector<int> v1(3, 5);  // → {5, 5, 5}   要素 3 個、全部 5
std::vector<int> v2{3, 5};  // → {3, 5}      要素 2 個

理由は、std::vector には 2 種類のコンストラクタが用意されているためです。

• vector(size_t count, const T& value) ― 要素数と初期値を受け取る
• vector(std::initializer_list<T>) ― 並んだ値を受け取る（{} はこちらを優先）

{} を使うと initializer_list 版が優先的に呼ばれるため、「3 と 5 を並べた vector」になります。要素数を指定して作りたい場合は () を使うか、C++11 の std::vector<int> v(n, value); のように意図的に分けます。

次章へ

統一初期化は「C++ の変数をどう作るか」の土台になります。次章（第 8 回）は同じ変数・ポインタまわりのモダン C++ 機能として、nullptr（NULL の代替）と constexpr（コンパイル時計算）を扱います。