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

履歴 編集

function
<meta>

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

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

## 概要

テンプレートにテンプレート引数を適用する。

## 戻り値

テンプレート`templ`に`arguments`を置換した結果の特殊化のリフレクションを返す。

## 例外

`can_substitute(templ, arguments)`が`false`の場合、`std::meta::exception` 例外を送出する。

## 例

    #include <meta>
    #include <vector>

    int main() {
      constexpr auto vec_int = std::meta::substitute(^^std::vector, {^^int});
      static_assert(vec_int == ^^std::vector<int>);
    }

### 出力

## バージョン

### 言語

- C++26

### 処理系

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

## 関連項目

- `can_substitute`
- `template_of`

## 参照

- P2996R13 Reflection for C++26