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

[faithandbrave]

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

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

[faithandbrave]

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

[github-actions]

⚡ プレビュー (HTML) (更新時刻: 2026-05-08 11:11:27 JST)

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

変更記事一覧

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

(ファイル一覧)

• 📝 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/apply_result ✨
• 📝 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/current_class ✨
• 📝 reference/meta/current_function ✨
• 📝 reference/meta/current_namespace ✨
• 📝 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_external_linkage ✨
• 📝 reference/meta/has_identifier ✨
• 📝 reference/meta/has_inaccessible_bases ✨
• 📝 reference/meta/has_inaccessible_nonstatic_data_members ✨
• 📝 reference/meta/has_inaccessible_subobjects ✨
• 📝 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_applicable_type ✨
• 📝 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_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 ✨
• … (以下省略)

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

[faithandbrave]

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

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

[faithandbrave]

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

[faithandbrave]

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

[faithandbrave]

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

[faithandbrave]

• Hashing in C++26

TODO : ハッシュ計算の例を書く。hash_combineはないので、とりあえずXORで

[faithandbrave]

いただいた指摘には一旦対応しましたが、reflection.mdでの解説を見直す必要があります。

[faithandbrave]

対応したので、このあと一旦セルフレビュー

[faithandbrave]

直しました〜

[faithandbrave]

GCC 16で使えるようなので、動作検証します

[faithandbrave]

GCC 16ですべて動作検証しました。一部未実装もあったので、[mark noimpl]をつけてあります。

[faithandbrave]

std::meta::type_underlying_type()関数はstd::meta::underlying_type()に名称変更されていたので (Working Draftに入るときに変わった？)、ページをそのように変更してあります。

[Raclamusi]

std::meta::has_ellipsis_parameter() は std::meta::is_vararg_function() に名称変更されたようです。
cplusplus/papers#2728

---

std::meta の関数が増えているようです。
cplusplus/papers#2401

consteval info current_function();
consteval info current_class();
consteval info current_namespace();

consteval bool is_applicable_type(info fn, info tuple);
consteval bool is_nothrow_applicable_type(info fn, info tuple);
consteval info apply_result(info fn, info tuple);

---

std::is_structural<T> 、 std::meta::is_structural_type() というのが増えているようです。
cplusplus/papers#2460

---

std::is_consteval_only<T> および std::meta::is_consteval_only_type() が削除されたようです。
https://cplusplus.github.io/LWG/issue4555

[faithandbrave]

@Raclamusi
対応しました〜

[faithandbrave]

GCCのコンパイルオプションを記載しました

[Raclamusi]

問題ないと思います！

[yohhoy]

最後の「クラスのメンバ関数として定義することが必要」のイメージが掴めませんでした。直前サンプルコードのように、「クラスSのメンバ関数一覧から明示的に選択する必要がある」というニュアンスでしょうか？

[faithandbrave]

そうですー

[yohhoy]

当該文節を読み直して、ここでの意図を理解できました...

• 名前空間スコープ（非メンバ関数）で関数オーバーロードを定義：関数ポインタ型へのキャスト等で関数を特定する必要がある
• クラススコープで関数オーバーロードを定義：所属クラスから meta::member_of 一覧取得して選択する方式が取れる

技術的には 「名前空間 ^^NS から関数オーバーロードに含まれる関数一覧から（頑張って）特定関数のリフレクションを取得」も出来はしますね。読み進める上で "小さな引っ掛かり"があった程度ですから、現行説明のままでも問題無いとは思います。