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

namespace std::meta {
  consteval info apply_result(info fn, info tuple);
}

概要

関数型fnに、tuple-like型tupleの各要素型を引数として適用したときの結果型のリフレクションを返す。

std::apply_result_tに対応する。

戻り値

fnにtupleの各要素型を順に引数として渡したときの結果型のリフレクションを返す。

例外

fnまたはtupleが型を表さない場合、またはis_applicable_type()がfalseの場合、std::meta::exception例外を送出する。

例

#include <meta>
#include <tuple>

int f(int, double);

int main() {
  static_assert(std::meta::apply_result(
    ^^decltype(f), ^^std::tuple<int, double>) == ^^int);
}

出力

バージョン

言語

• C++26

処理系

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

関連項目

• is_applicable_type
• is_nothrow_applicable_type
• std::apply()

参照

• P3795R2 Miscellaneous Reflection Cleanup