ユーザー宣言したコンストラクタを持つクラスの集成体初期化を禁止(C++20)

struct X {
  X() = delete;
};

int main() {
  // デフォルト構築。
  // デフォルトコンストラクタがdelete宣言されているのでコンパイルエラー
  X x1;   // C++17:NG C++20:NG

  // 集成体初期化。
  // delete宣言されているコンストラクタを回避して構築できてしまっていた
  X x2{}; // C++17:OK C++20:NG
}

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
}

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
}

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
}