C++14の新機能: メンバー初期化子と初期化リストの組み合わせ

さて、今回解説するC++14の新機能は、機能というよりは、変更といった方がいい小規模なものだ。そして、本来ならば、メンバー初期化子とアグリゲートというべきなのだが、わかりやすさのために初期化リストとしておいた。

C++では、特定の条件を満たしたクラスをアグリゲートと呼び、C言語から受け継いだメンバーごとの初期化ができる。

struct X
{
    int a ;
    int b ;
} ;

X x = { 1, 2 } ;
// x.a == 1
// x.b == 2

C++11には、メンバー初期化子という新機能が追加された。これは、クラスのデータメンバーの宣言に、初期化子を記述できる機能だ。

struct X
{
    int data = 0 ;
} ;

X x ; // x.data == 0

C++11では、この二つの初期化を組み合わせることができない。

// C++11ではエラー
struct X
{
    int a ;
    int b = 0 ;
} ;

// エラー
X x = { 0 } ;

これは、C++11の定義では、メンバー初期化子のあるクラスはアグリゲートではなくなるからだ。

C++14では、メンバー初期化子があってもクラスがアグリゲートの条件を満たすようにし、メンバー初期化子とアグリゲートによる初期化を組み合わせて使えるように、制限を緩和した。

struct X
{
    int a ;
    int b = 2 ; 
} ;

// C++14ではwell-formed
X x = { 1 } ;
// x.a == 1
// x.b == 2

これもconstexpr関数の制限緩和と同じで、プログラマーが難しいことを考えずに、普通に、自然に書いたコードがそのまま動くようにするための変更だ。

なおこの機能はClang 3.4で実装されている。GCCではまだ実装されていない。