C++26リフレクションに対応 by faithandbrave · Pull Request #1607 · cpprefjp/site

faithandbrave · 2026-04-09T06:13:49Z

[C++26][言語機能] リフレクション #1493

一通り軽くチェックしたくらいなので、作業漏れチェックなどしてからマージします。

faithandbrave · 2026-04-09T06:17:43Z

まだ大量に抜けがありそう

github-actions · 2026-04-09T06:18:44Z

⚡ プレビュー (HTML) (更新時刻: 2026-04-13 13:55:51 JST)

⫯ Commit: ed10402
プレビューの生成には時間がかかります (3～5分)。進捗状況はこちらをご確認ください。

変更記事一覧

258件の記事が変更されました。多いため一部を表示しています。完全なリストについてはこちらをご参照ください。

(ファイル一覧)

📝 implementation-status
📝 lang/cpp11/attributes
📝 lang/cpp20/immediate_functions
📝 lang/cpp26
📝 lang/cpp26/allowing_exception_throwing_in_constant-evaluation
📝 lang/cpp26/expansion_statements
📝 lang/cpp26/feature_test_macros
📝 lang/cpp26/reflection ✨
📝 reference
📝 reference/meta ✨
📝 reference/meta/access_context ✨
📝 reference/meta/access_context/current ✨
📝 reference/meta/access_context/designating_class ✨
📝 reference/meta/access_context/scope ✨
📝 reference/meta/access_context/unchecked ✨
📝 reference/meta/access_context/unprivileged ✨
📝 reference/meta/access_context/via ✨
📝 reference/meta/add_const ✨
📝 reference/meta/add_cv ✨
📝 reference/meta/add_lvalue_reference ✨
📝 reference/meta/add_pointer ✨
📝 reference/meta/add_rvalue_reference ✨
📝 reference/meta/add_volatile ✨
📝 reference/meta/alignment_of ✨
📝 reference/meta/annotations_of ✨
📝 reference/meta/annotations_of_with_type ✨
📝 reference/meta/bases_of ✨
📝 reference/meta/bit_size_of ✨
📝 reference/meta/can_substitute ✨
📝 reference/meta/common_reference ✨
📝 reference/meta/common_type ✨
📝 reference/meta/constant_of ✨
📝 reference/meta/data_member_options ✨
📝 reference/meta/data_member_spec ✨
📝 reference/meta/dealias ✨
📝 reference/meta/decay ✨
📝 reference/meta/define_aggregate ✨
📝 reference/meta/define_static_array ✨
📝 reference/meta/define_static_object ✨
📝 reference/meta/define_static_string ✨
📝 reference/meta/display_string_of ✨
📝 reference/meta/enumerators_of ✨
📝 reference/meta/exception ✨
📝 reference/meta/extent ✨
📝 reference/meta/extract ✨
📝 reference/meta/has_automatic_storage_duration ✨
📝 reference/meta/has_c_language_linkage ✨
📝 reference/meta/has_default_argument ✨
📝 reference/meta/has_default_member_initializer ✨
📝 reference/meta/has_ellipsis_parameter ✨
📝 reference/meta/has_external_linkage ✨
📝 reference/meta/has_identifier ✨
📝 reference/meta/has_inaccessible_bases ✨
📝 reference/meta/has_inaccessible_nonstatic_data_members ✨
📝 reference/meta/has_internal_linkage ✨
📝 reference/meta/has_linkage ✨
📝 reference/meta/has_module_linkage ✨
📝 reference/meta/has_parent ✨
📝 reference/meta/has_static_storage_duration ✨
📝 reference/meta/has_template_arguments ✨
📝 reference/meta/has_thread_storage_duration ✨
📝 reference/meta/has_unique_object_representations ✨
📝 reference/meta/has_virtual_destructor ✨
📝 reference/meta/identifier_of ✨
📝 reference/meta/info ✨
📝 reference/meta/invoke_result ✨
📝 reference/meta/is_abstract_type ✨
📝 reference/meta/is_accessible ✨
📝 reference/meta/is_aggregate_type ✨
📝 reference/meta/is_alias_template ✨
📝 reference/meta/is_annotation ✨
📝 reference/meta/is_arithmetic_type ✨
📝 reference/meta/is_array_type ✨
📝 reference/meta/is_assignable_type ✨
📝 reference/meta/is_assignment ✨
📝 reference/meta/is_base ✨
📝 reference/meta/is_base_of_type ✨
📝 reference/meta/is_bit_field ✨
📝 reference/meta/is_bounded_array_type ✨
📝 reference/meta/is_class_member ✨
📝 reference/meta/is_class_template ✨
📝 reference/meta/is_class_type ✨
📝 reference/meta/is_complete_type ✨
📝 reference/meta/is_compound_type ✨
📝 reference/meta/is_concept ✨
📝 reference/meta/is_const ✨
📝 reference/meta/is_const_type ✨
📝 reference/meta/is_consteval_only_type ✨
📝 reference/meta/is_constructible_type ✨
📝 reference/meta/is_constructor ✨
📝 reference/meta/is_constructor_template ✨
📝 reference/meta/is_conversion_function ✨
📝 reference/meta/is_conversion_function_template ✨
📝 reference/meta/is_convertible_type ✨
📝 reference/meta/is_copy_assignable_type ✨
📝 reference/meta/is_copy_assignment ✨
📝 reference/meta/is_copy_constructible_type ✨
📝 reference/meta/is_copy_constructor ✨
📝 reference/meta/is_data_member_spec ✨
📝 reference/meta/is_default_constructible_type ✨
… (以下省略)

※ソース (.md) に直接変更のあった記事を列挙しています。グローバル修飾や変換規則の変更による変化は考慮していません。

faithandbrave · 2026-04-09T07:51:35Z

[C++26][言語機能] トリビアルな再配置 #1421

これの取り消しに対応しないといけない

yohhoy · 2026-04-09T09:24:35Z

lang/cpp26/reflection.md

+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::vector<std::meta::info>を走査するときはstd::define_static_arrayで配列型(std::meta::info[N])に変換しておく必要があります。

template for (constexpr auto e : std::define_static_array(std::meta::enumerators_of(^^E))) { // ...

yohhoy · 2026-04-09T09:26:31Z

lang/cpp26/reflection.md

+
+// メンバのアノテーションを取得
+template for (constexpr auto m :
+    std::meta::nonstatic_data_members_of(^^Point,


要std::define_static_array

template for (constexpr auto m : std::define_static_array( std::meta::nonstatic_data_members_of( ^^Point, std::meta::access_context::unchecked())) {

yohhoy · 2026-04-09T09:27:11Z

lang/cpp26/reflection.md

+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)) {


要std::define_static_array

yohhoy · 2026-04-09T09:28:09Z

lang/cpp26/reflection.md

+constexpr std::string_view enum_to_string(E value) {
+  template for (constexpr auto e : std::meta::enumerators_of(^^E)) {
+    if (value == [:e:]) {
+      return std::meta::define_static_string(std::meta::identifier_of(e));


std::meta::identifier_ofはstd::string_viewを返すためstd::meta::define_static_stringは不要（冗長）です。（厳密にはstd名前空間所属ですね）

lang/cpp26/reflection.md

yohhoy · 2026-04-09T09:29:57Z

lang/cpp26/reflection.md

+int main() {
+  Point p{10, 20, "origin"};
+
+  template for (constexpr auto m :


要std::define_static_array

yohhoy · 2026-04-09T09:30:43Z

lang/cpp26/reflection.md

+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)) {


要std::define_static_array

yohhoy · 2026-04-09T09:30:56Z

lang/cpp26/reflection.md

+void process(int id, double value, const char* name) {}
+
+int main() {
+  template for (constexpr auto p : std::meta::parameters_of(^^process)) {


要std::define_static_array

lang/cpp26/reflection.md

reference/meta/annotations_of.md

reference/meta/annotations_of_with_type.md

reference/meta/is_override.md

reference/meta/access_context/current.md

reference/meta/access_context/designating_class.md

reference/meta/access_context/scope.md

reference/meta/access_context/unchecked.md

reference/meta/access_context/unprivileged.md

reference/meta/access_context/via.md

Raclamusi · 2026-04-09T14:20:11Z

lang/cpp26/reflection.md

+constexpr auto members = std::meta::members_of(
+    ^^S, std::meta::access_context::unchecked());


std::vector<std::meta::info> をconstexpr変数で持つことはできません。
std::define_static_array で静的ストレージに配置するか、
定数式内の一時オブジェクトとして使うか、
constexprの文脈でconstexprでない変数として使うべきです。

constexpr auto members = std::define_static_array(members_of(^^S, std::meta::access_context::unchecked()));

constexpr auto ctx = std::meta::access_context::unchecked(); constexpr auto member0 = members_of(^^S, ctx)[0]; constexpr auto member1 = members_of(^^S, ctx)[1];

#include <cassert> consteval { auto members = members_of(^^S, std::meta::access_context::unchecked()); assert(type_of(parameters_of(members[0])[0]) == ^^int); assert(type_of(parameters_of(members[1])[0]) == ^^double); }

Raclamusi · 2026-04-09T14:24:22Z

lang/cpp26/reflection.md

+constexpr auto members = std::meta::nonstatic_data_members_of(
+  ^^S, std::meta::access_context::unchecked());


std::vector<std::meta::info> をconstexpr変数で持つことはできません。

faithandbrave · 2026-04-09T14:29:07Z

@yohhoy @Raclamusi
たくさん指摘いただいてありがとうございます。
まだ直すところ、書くところが大量にあってぜんぜん追いついてない状況です。
セルフチェックまでおわったらレビュー期間をとりますので、一旦置いておいていただければと思います。

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

…る必要がある Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

…必要がある Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

faithandbrave · 2026-04-11T02:00:00Z

一旦、コミットを整理しつつ @Raclamusi さんの変更を取り込みました

…tringを追加

faithandbrave · 2026-04-13T04:53:05Z

ページ数としては、一旦過不足がなくなったはず。

yohhoy reviewed Apr 9, 2026

View reviewed changes

Raclamusi reviewed Apr 9, 2026

View reviewed changes

C++26リフレクションに対応 #1493

32cd88c

faithandbrave force-pushed the cpp26_reflection branch from 6d21c35 to 32cd88c Compare April 11, 2026 01:48

annotations_of: アノテーションの文字列リテラルはdefine_static_stringでラップする必要がある

741186c

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

faithandbrave force-pushed the cpp26_reflection branch from cfe6abb to 741186c Compare April 11, 2026 01:53

faithandbrave and others added 8 commits April 11, 2026 10:53

string_viewは構造的型ではないのでアノテーションに使用できず、文字列リテラルはdefine_static_stringでラップす…

9afffee

…る必要がある Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

annotations_of_with_type : アノテーションの文字列リテラルはdefine_static_stringでラップする…

6160b23

…必要がある Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::current : タイトル修正

d11eed1

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::designating_class : タイトル修正

ecd1e47

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::scope : タイトル修正

4fdd9b5

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::unchecked : タイトル修正

bb1c59e

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::unprivileged : タイトル修正

f1e3797

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::via : タイトル修正

d9136a1

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

faithandbrave added 3 commits April 13, 2026 13:09

不足していた関数is_string_literal, reflect_constant_array, reflect_constant_s…

9d89e50

…tringを追加

meta: trivially relocatable関係を削除

699d6be

is_override : overrideキーワードの有無に関係なくオーバーライド関係を判定するよう修正

ed10402

		constexpr auto members = std::meta::members_of(
		^^S, std::meta::access_context::unchecked());

		constexpr auto members = std::meta::nonstatic_data_members_of(
		^^S, std::meta::access_context::unchecked());

Conversation

faithandbrave commented Apr 9, 2026

Uh oh!

faithandbrave commented Apr 9, 2026

Uh oh!

github-actions bot commented Apr 9, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

変更記事一覧

Uh oh!

faithandbrave commented Apr 9, 2026

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

faithandbrave commented Apr 9, 2026

Uh oh!

faithandbrave commented Apr 11, 2026

Uh oh!

faithandbrave commented Apr 13, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

github-actions bot commented Apr 9, 2026 •

edited

Loading