define_static_arrayを使用

Author: faithandbrave

lang/cpp26/reflection.md

@@ -32,7 +32,7 @@ enum class Color { red, green, blue };
 template <typename E>
   requires std::is_enum_v<E>
 constexpr std::string_view to_string(E value) {
-  template for (constexpr auto e : std::meta::enumerators_of(^^E)) { // 型から列挙子のリストを取得
+  template for (constexpr auto e : std::define_static_array(std::meta::enumerators_of(^^E)) { // 型から列挙子のリストを取得
     if (value == [:e:]) {
       return std::meta::identifier_of(e); // 列挙子の名前を文字列として取得
     }
@@ -93,10 +93,12 @@ struct S {
   void f(double);
 };
 
-// members_of()で個々のオーバーロードを取得
-constexpr auto members = std::meta::members_of(
-    ^^S, std::meta::access_context::unchecked());
-// フィルタリングで特定のオーバーロードを選択できる
+consteval {
+  // members_of()で個々のオーバーロードを取得
+  auto members = std::meta::members_of(
+      ^^S, std::meta::access_context::unchecked());
+  // フィルタリングで特定のオーバーロードを選択できる
+}
 ```
 * std::meta::members_of[link /reference/meta/members_of.md]
 * std::meta::access_context[link /reference/meta/access_context.md]
@@ -132,13 +134,16 @@ constexpr std::meta::info rv = ^^value;
 
 ```cpp
 struct S { int x; int y; };
-S s{1, 2};
 
-constexpr auto members = std::meta::nonstatic_data_members_of(
-  ^^S, std::meta::access_context::unchecked());
+consteval void example() {
+  S s{1, 2};
+
+  auto members = std::meta::nonstatic_data_members_of(
+    ^^S, std::meta::access_context::unchecked());
 
-int a = s.[:members[0]:];  // s.x と等価。a == 1
-int b = s.[:members[1]:];  // s.y と等価。b == 2
+  int a = s.[:members[0]:];  // s.x と等価。a == 1
+  int b = s.[:members[1]:];  // s.y と等価。b == 2
+}
 ```
 * std::meta::nonstatic_data_members_of[link /reference/meta/nonstatic_data_members_of.md]
 * std::meta::access_context[link /reference/meta/access_context.md]
@@ -151,10 +156,12 @@ int b = s.[:members[1]:];  // s.y と等価。b == 2
 struct Base { int b; };
 struct Derived : Base { int d; };
 
-Derived obj{{42}, 100};
-constexpr auto bases = std::meta::bases_of(
-  ^^Derived, std::meta::access_context::unchecked());
-Base& base_ref = obj.[:bases[0]:];  // 基底クラスのサブオブジェクトへの参照
+consteval void example() {
+  Derived obj{{42}, 100};
+  auto bases = std::meta::bases_of(
+    ^^Derived, std::meta::access_context::unchecked());
+  Base& base_ref = obj.[:bases[0]:];  // 基底クラスのサブオブジェクトへの参照
+}
 ```
 * std::meta::bases_of[link /reference/meta/bases_of.md]
 * std::meta::access_context[link /reference/meta/access_context.md]
@@ -237,9 +244,9 @@ struct [[=Name{std::define_static_string("点")}]] Point {
 
 // メンバのアノテーションを取得
 template for (constexpr auto m :
-    std::meta::nonstatic_data_members_of(^^Point,
-        std::meta::access_context::unchecked())) {
-  constexpr auto annots = std::meta::annotations_of_with_type(m, ^^Name);
+    std::define_static_array(std::meta::nonstatic_data_members_of(^^Point,
+        std::meta::access_context::unchecked()))) {
+  auto annots = std::meta::annotations_of_with_type(m, ^^Name);
   if constexpr (annots.size() > 0) {
     std::println("{}: {}", [:annots[0]:].value,
                            std::meta::identifier_of(m));
@@ -263,17 +270,16 @@ template for (constexpr auto m :
 template <typename E>
   requires std::is_enum_v<E>
 constexpr std::string_view enum_to_string(E value) {
-  template for (constexpr auto e : std::meta::enumerators_of(^^E)) {
+  template for (constexpr auto e : std::define_static_array(std::meta::enumerators_of(^^E))) {
     if (value == [:e:]) {
-      return std::define_static_string(std::meta::identifier_of(e));
+      return std::meta::identifier_of(e);
     }
   }
   return "<unknown>";
 }
 ```
 * std::meta::enumerators_of[link /reference/meta/enumerators_of.md]
 * std::meta::identifier_of[link /reference/meta/identifier_of.md]
-* std::define_static_string[link /reference/meta/define_static_string.md]
 
 
 ## リフレクションのエラー処理
@@ -297,8 +303,8 @@ int main() {
   Point p{10, 20, "origin"};
 
   template for (constexpr auto m :
-      std::meta::nonstatic_data_members_of(^^Point,
-          std::meta::access_context::unchecked())) {
+      std::define_static_array(std::meta::nonstatic_data_members_of(^^Point,
+          std::meta::access_context::unchecked()))) {
     std::println("{}: {}", std::meta::identifier_of(m), p.[:m:]);
   }
 }
@@ -327,7 +333,7 @@ enum class Color { red, green, blue };
 template <typename E>
   requires std::is_enum_v<E>
 constexpr std::string_view to_string(E value) {
-  template for (constexpr auto e : std::meta::enumerators_of(^^E)) {
+  template for (constexpr auto e : std::define_static_array(std::meta::enumerators_of(^^E))) {
     if (value == [:e:]) {
       return std::meta::identifier_of(e);
     }
@@ -361,7 +367,7 @@ blue
 void process(int id, double value, const char* name) {}
 
 int main() {
-  template for (constexpr auto p : std::meta::parameters_of(^^process)) {
+  template for (constexpr auto p : std::define_static_array(std::meta::parameters_of(^^process))) {
     std::println("パラメータ: {} (型: {})",
       std::meta::identifier_of(p),
       std::meta::display_string_of(std::meta::type_of(p)));

reference/meta/access_context.md

@@ -44,16 +44,16 @@ int main() {
   // unchecked: すべてのメンバにアクセス
   std::println("unchecked:");
   template for (constexpr auto m :
-      std::meta::nonstatic_data_members_of(
-          ^^MyClass, std::meta::access_context::unchecked())) {
+      std::define_static_array(std::meta::nonstatic_data_members_of(
+          ^^MyClass, std::meta::access_context::unchecked()))) {
     std::println("  {}", std::meta::identifier_of(m));
   }
 
   // unprivileged: publicのみ
   std::println("unprivileged:");
   template for (constexpr auto m :
-      std::meta::nonstatic_data_members_of(
-          ^^MyClass, std::meta::access_context::unprivileged())) {
+      std::define_static_array(std::meta::nonstatic_data_members_of(
+          ^^MyClass, std::meta::access_context::unprivileged()))) {
     std::println("  {}", std::meta::identifier_of(m));
   }
 }

reference/meta/access_context/current.md

@@ -33,8 +33,8 @@ public:
     // current()はC内部からの呼び出しなのでprivateメンバも見える
     std::println("C内部から見えるメンバ:");
     template for (constexpr auto m :
-        std::meta::nonstatic_data_members_of(
-            ^^C, std::meta::access_context::current())) {
+        std::define_static_array(std::meta::nonstatic_data_members_of(
+            ^^C, std::meta::access_context::current()))) {
       std::println("  {}", std::meta::identifier_of(m));
     }
   }
@@ -46,8 +46,8 @@ int main() {
   // current()はmain関数からの呼び出しなのでpublicのみ
   std::println("外部から見えるメンバ:");
   template for (constexpr auto m :
-      std::meta::nonstatic_data_members_of(
-          ^^C, std::meta::access_context::current())) {
+      std::define_static_array(std::meta::nonstatic_data_members_of(
+          ^^C, std::meta::access_context::current()))) {
     std::println("  {}", std::meta::identifier_of(m));
   }
 }

reference/meta/access_context/unchecked.md

@@ -35,8 +35,8 @@ public:
 int main() {
   std::println("全メンバ:");
   template for (constexpr auto m :
-      std::meta::nonstatic_data_members_of(
-          ^^C, std::meta::access_context::unchecked())) {
+      std::define_static_array(std::meta::nonstatic_data_members_of(
+          ^^C, std::meta::access_context::unchecked()))) {
     std::println("  {}", std::meta::identifier_of(m));
   }
 }

reference/meta/access_context/unprivileged.md

@@ -33,8 +33,8 @@ public:
 int main() {
   std::println("publicメンバ:");
   template for (constexpr auto m :
-      std::meta::nonstatic_data_members_of(
-          ^^C, std::meta::access_context::unprivileged())) {
+      std::define_static_array(std::meta::nonstatic_data_members_of(
+          ^^C, std::meta::access_context::unprivileged()))) {
     std::println("  {}", std::meta::identifier_of(m));
   }
 }

reference/meta/access_context/via.md

@@ -37,8 +37,8 @@ class Derived : public Base {};
 int main() {
   // Derived経由でBaseのメンバにアクセス
   constexpr auto ctx = std::meta::access_context::current().via(^^Derived);
-  constexpr auto members = std::meta::nonstatic_data_members_of(^^Base, ctx);
-  std::println("Derived経由で見えるメンバ数: {}", members.size());
+  constexpr auto count = std::meta::nonstatic_data_members_of(^^Base, ctx).size();
+  std::println("Derived経由で見えるメンバ数: {}", count);
 }
 ```
 * via[color ff0000]

reference/meta/annotations_of.md

@@ -29,7 +29,7 @@ struct Label { const char* text; };
 struct [[=Label{std::define_static_string("my struct")}, =42]] S {};
 
 int main() {
-  constexpr auto annots = std::meta::annotations_of(^^S);
+  constexpr auto annots = std::define_static_array(std::meta::annotations_of(^^S));
   std::println("アノテーション数: {}", annots.size());
 
   template for (constexpr auto a : annots) {

reference/meta/annotations_of_with_type.md

@@ -32,9 +32,12 @@ struct [[=Name{std::define_static_string("点")}, =42]] Point {
 };
 
 int main() {
-  constexpr auto annots = std::meta::annotations_of_with_type(^^Point, ^^Name);
-  static_assert(annots.size() == 1);
-  std::println("{}", [:annots[0]:].value);
+  static_assert(std::meta::annotations_of_with_type(^^Point, ^^Name).size() == 1);
+  template for (constexpr auto a :
+      std::define_static_array(
+          std::meta::annotations_of_with_type(^^Point, ^^Name))) {
+    std::println("{}", [:a:].value);
+  }
 }
 ```
 

reference/meta/bases_of.md

@@ -39,7 +39,7 @@ struct C : A, B {};
 int main() {
   // クラスCの直接基底クラスを取得して出力
   template for (constexpr auto b :
-      std::meta::bases_of(^^C, std::meta::access_context::unchecked())) {
+      std::define_static_array(std::meta::bases_of(^^C, std::meta::access_context::unchecked()))) {
     std::println("{}", std::meta::display_string_of(std::meta::type_of(b)));
   }
 }

reference/meta/bit_size_of.md

@@ -32,11 +32,15 @@ struct Flags {
   unsigned b : 3;
 };
 
-int main() {
-  constexpr auto members = std::meta::nonstatic_data_members_of(
+consteval bool check() {
+  auto members = std::meta::nonstatic_data_members_of(
       ^^Flags, std::meta::access_context::unchecked());
-  static_assert(std::meta::bit_size_of(members[0]) == 1);
-  static_assert(std::meta::bit_size_of(members[1]) == 3);
+  return std::meta::bit_size_of(members[0]) == 1
+      && std::meta::bit_size_of(members[1]) == 3;
+}
+
+int main() {
+  static_assert(check());
 }
 ```