最終更新日時: 2026年05月07日 12時33分06秒 (JST)
Akira Takahashi が更新

履歴 編集

function
<meta>

# std::meta::can_substitute(C++26)

    namespace std::meta {
      template <reflection_range R = std::initializer_list<info>>
      consteval bool can_substitute(info templ, R&& arguments);
    }

## 概要

テンプレートにテンプレート引数を置換可能かを判定する。

## 戻り値

テンプレート`templ`に`arguments`を置換した結果が妥当である場合に`true`を返す。そうでなければ`false`を返す。

## 例外

`templ`がテンプレートを表さない場合、または`arguments`の要素がテンプレート引数として使用可能な構成要素を表さない場合、`std::meta::exception` 例外を送出する。

## 例

    #include <meta>
    #include <vector>

    int main() {
      static_assert(std::meta::can_substitute(^^std::vector, {^^int}));
    }

### 出力

## バージョン

### 言語

- C++26

### 処理系

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

## 関連項目

- `substitute`

## 参照

- P2996R13 Reflection for C++26