substitute.md

substitute

• meta[meta header]
• std::meta[meta namespace]
• function[meta id-type]
• cpp26[meta cpp]

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

• info[link info.md]
• reflection_range[link reflection_range.md]

概要

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

戻り値

テンプレート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 オプション指定) [mark verified]
• Visual C++: ??

関連項目

• can_substitute
• template_of

参照

• P2996R13 Reflection for C++26