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

namespace std::meta {
  template <reflection_range R = std::initializer_list<info>>
  consteval bool is_constructible_type(info type, R&& type_args);
}

概要

指定した引数型で構築可能かを判定する。std::is_constructibleに対応する。

戻り値

typeが表す型がtype_argsで指定された引数型で構築可能な場合にtrueを返す。

例外

typeまたはtype_argsの各要素が型を表さない場合、std::meta::exception例外を送出する。

例

#include <meta>
#include <string>

int main() {
  // stringはconst char*から構築可能
  static_assert(std::meta::is_constructible_type(^^std::string, {^^const char*}));
  // intは引数なしで構築可能
  static_assert(std::meta::is_constructible_type(^^int, {}));
  // intはstring_viewから構築不可能
  static_assert(!std::meta::is_constructible_type(^^int, {^^std::string_view}));
}

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

概要

戻り値

例外

例

出力

バージョン

言語

処理系

参照