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

履歴 編集

function template
<meta>

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

    namespace std::meta {
      template <reflection_range R = std::initializer_list<info>>
      consteval info common_reference(R&& type_args);
    }

## 概要

複数の型の共通参照型を求める。`std::common_reference`に対応する。

## 戻り値

`type_args`の各要素が表す型に対して`std::common_reference`相当の変換を適用した結果の型のリフレクションを返す。

## 例外

`type_args`の各要素が型を表さない場合、`std::meta::exception` 例外を送出する。

## 例

    #include <meta>

    int main() {
      static_assert(std::meta::common_reference({^^int&, ^^const int&}) == ^^const int&);
    }

### 出力

## バージョン

### 言語

- C++26

### 処理系

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

## 関連項目

- `std::common_reference`

## 参照

- P2996R13 Reflection for C++26