• Class / Function / Type

      std::
    • Header file

      <>
    • Other / All

    最終更新日時(UTC):
    が更新

    履歴 編集

    ユーザー宣言したコンストラクタを持つクラスの集成体初期化を禁止 [P1008R1]

    このページはC++20に採用された言語機能の変更を解説しています。

    のちのC++規格でさらに変更される場合があるため関連項目を参照してください。

    概要

    ユーザー宣言されたコンストラクタをもつクラスを、集成体初期化によってコンストラクタを回避してオブジェクト構築できてしまっていた技法を禁止する。

    C++17まで、集成体初期化ができる型として、「deletedefault宣言されたコンストラクタを持つ型」が許可されてしまっていたが、これを禁止する。これによって一部、以前のバージョンからの互換性がなくなる。

    delete宣言されているコンストラクタを回避した構築

    struct X {
      X() = delete;
    };
    
    int main() {
      // デフォルト構築。
      // デフォルトコンストラクタがdelete宣言されているのでコンパイルエラー
      X x1;   // C++17:NG C++20:NG
    
      // 集成体初期化。
      // delete宣言されているコンストラクタを回避して構築できてしまっていた
      X x2{}; // C++17:OK C++20:NG
    }
    

    privateなdefault宣言コンストラクタを回避した構築

    struct X {
    private:
      X() = default;
    };
    
    int main() {
      // デフォルト構築。
      // デフォルトコンストラクタがprivateなのでコンパイルエラー
      X x1;   // C++17:NG C++20:NG
    
      // 集成体初期化。
      // privateなデフォルトコンストラクタを回避して構築できてしまっていた
      X x2{}; // C++17:OK C++20:NG
    }
    

    default宣言コンストラクタをもっているのに集成体初期化によるメンバ変数初期化

    struct X {
      int i{4};
      X() = default;
    };
    
    int main() {
      // コンストラクタ呼び出し。
      // 一致するコンストラクタがないためコンパイルエラー
      X x1(3); // C++17:NG C++20:NG
    
      // 集成体初期化。
      // デフォルトコンストラクタがあるのに集成体初期化できてしまっていた
      X x2{3}; // C++17:OK C++20:NG
    }
    

    コンストラクタがexplicitかどうかでの集成体初期化の挙動の違い

    struct X {
      X() = delete;
    };
    
    struct Y {
      explicit Y() = delete;
    };
    
    int main() {
      // explicitなコンストラクタだけは集成体初期化で回避できなかった
      X x{}; // C++17:OK C++20:NG
      Y y{}; // C++17:NG C++20:NG
    }
    

    コンストラクタ宣言を分けた場合の挙動の違い

    struct X {
      int i;
      X() = default;
    };
    
    struct Y {
      int i;
      Y();
    };
    Y::Y() = default;
    
    int main() {
      // YはXとは違って集成体とは見なされずコンパイルエラーだった
      X x{4}; // C++17:OK C++20:NG
      Y y{4}; // C++17:NG C++20:NG
    }
    

    仕様

    • 集成体初期化できる型の条件として、
      • 「ユーザー提供 (user-provided) されたコンストラクタを持たないこと」となっていたが、これを「ユーザー宣言 (user-declared) されたコンストラクタを持たないこと」に変更
      • explicitなコンストラクタを持たないこと」という条件を削除

    参照