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

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

概要

トリビアルに構築可能かを判定する。std::is_trivially_constructibleに対応する。

戻り値

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

例外

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

例

#include <meta>
#include <string>

struct Trivial {
  int x;
};

struct NonTrivial {
  NonTrivial(int v) : x(v) {}  // ユーザー定義
  int x;
};

int main() {
  static_assert(std::meta::is_trivially_constructible_type(^^int, {^^int}));
  static_assert(std::meta::is_trivially_constructible_type(^^Trivial, {^^Trivial}));
  static_assert(!std::meta::is_trivially_constructible_type(^^NonTrivial, {^^int}));
  static_assert(!std::meta::is_trivially_constructible_type(^^std::string, {^^const char*}));
}

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

概要

戻り値

例外

例

出力

バージョン

言語

処理系

参照