std::meta::is_default_constructible_type(C++26)

namespace std::meta {
  consteval bool is_default_constructible_type(info type);
}

概要

デフォルト構築可能型であるかを判定する。std::is_default_constructibleに対応する。

typeが表す型がデフォルト構築可能型である場合にtrueを返す。

typeが型を表さない場合、std::meta::exception例外を送出する。

#include <meta>

int main() {
  static_assert(std::meta::is_default_constructible_type(^^int));
}