reflect_constant_array.md

reflect_constant_array

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

namespace std::meta {
  template <ranges::input_range R>
  consteval info reflect_constant_array(R&& r);
}

• info[link info.md]

概要

構造的型または配列型の要素を持つRangeから、静的配列のリフレクションを生成する。

define_static_array()はspanを返すため実行時のアクセスには便利だが、spanは構造化束縛によるパック展開ができない。この関数は配列のリフレクションを返すため、スプライスして構造化束縛でパック展開する用途に使用できる。

また、define_static_array()はこの関数を内部で使用して実装されている。

備考

• 要素の型が配列型である場合、その各要素に対して再帰的にこの関数が適用される。これにより、多次元配列のリフレクションを生成できる（配列型は構造的型ではないため、この再帰的な扱いがなければ多次元配列は扱えない）

戻り値

rの要素をコピーしたconst T[N]のテンプレートパラメータオブジェクトのリフレクションを返す。

例

#include <meta>
#include <array>

// 構造化束縛のパック展開はテンプレート文脈で使用する必要がある
template <int>
consteval int sum() {
  // 配列のリフレクションをスプライスし、構造化束縛でパック展開
  constexpr auto [...elems] =
      [:std::meta::reflect_constant_array(std::array{1, 2, 3}):];
  return (... + elems);
}

int main() {
  static_assert(sum<0>() == 6);
}

• std::meta::reflect_constant_array[color ff0000]

出力

バージョン

言語

• C++26

処理系

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

関連項目

• define_static_array
• reflect_constant_string

参照

• P3491R3 define_static_{string,object,array}
• LWG Issue 4483. Multidimensional arrays are not supported by meta::reflect_constant_array and related functions
  • C++26で、配列型の要素に対して再帰的にこの関数を適用することで、多次元配列がサポートされた