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

履歴 編集

function
<meta>

# 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