コンストラクタの初期化リストの評価順序

いくつかの引数を取るコンストラクターがあります。リストされた順序で構築されていると想定していましたが、逆に構築されているために中止されたようです。引数を逆にすると、プログラムは異常終了しました。これは私が使用している構文の例です。この場合、a_はb_の前に初期化する必要があります。施工順序は保証できますか？

例えば

class A
{
  public:
    A(OtherClass o, string x, int y) :
      a_(o), b_(a_, x, y) { }

    OtherClass a_;
    AnotherClass b_;
};

これは、クラス内のメンバー変数宣言の順序によって異なります。したがって、例a_では最初の1つ、次にb_2番目の1つになります。

明確にするために、標準を引用するには：

12.6.2.5

初期化は次の順序で行われます。

...

• 次に、非静的データメンバーは、クラス定義で宣言された順序で初期化されます（これも、mem-initializerの順序に関係ありません）。

...

これに対する標準的な参照は、12.6.2セクション13.3のようになります。

（13.3）—次に、静的でないデータメンバーは、クラス定義で宣言された順序で初期化されます（これも、mem-initializerの順序に関係ありません）。