最終更新日時: 2026年07月22日 16時08分23秒 (JST)
rotarymars が更新

履歴 編集

function template
<meta>

# 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>
    #include <string_view>

    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}));
    }

### 出力

## バージョン

### 言語

- C++26

### 処理系

- Clang: ??
- GCC: 16 (`-freflection` オプション指定) ✅
- Visual C++: ??

## 参照

- P2996R13 Reflection for C++26