{"id":2545,"date":"2025-06-25T14:14:46","date_gmt":"2025-06-25T14:14:46","guid":{"rendered":"https:\/\/i.refvalue.org\/?p=2545"},"modified":"2025-12-01T09:22:36","modified_gmt":"2025-12-01T01:22:36","slug":"zhongwen-reflection-for-c26-zhongyudengdaoni","status":"publish","type":"post","link":"https:\/\/i.refvalue.org\/index.php\/2025\/06\/25\/zhongwen-reflection-for-c26-zhongyudengdaoni\/","title":{"rendered":"[\u4e2d\u6587] Reflection for C++26! \u7ec8\u4e8e\u7b49\u5230\u4f60"},"content":{"rendered":"\n

C++26 \u5b9a\u7a3f\uff0cReflection \u63d0\u6848\u6295\u7968\u901a\u8fc7<\/h2>\n\n\n\n

2025 \u5e74 6 \u6708 21 \u65e5\uff0c\u8457\u540d\u5fae\u8f6f\u5de5\u7a0b\u5e08\u3001C++ \u6807\u51c6\u59d4\u5458\u4f1a\u59d4\u5458 Herb Sutter \u5728\u5176\u4e2a\u4eba\u535a\u5ba2\u53d1\u5e03\u4e86\u4e00\u7bc7\u535a\u6587\u300aTrip report: June 2025 ISO C++ standards meeting (Sofia, Bulgaria) \u2013 Sutter\u2019s Mill<\/a>\u300b\u3002<\/p>\n\n\n\n

\n

A few minutes ago, the C++ committee voted the first seven (7) papers for compile-time reflection into draft C++26<\/strong><\/p>\n<\/blockquote>\n\n\n\n

Herb Sutter \u5728\u7b2c\u4e00\u6bb5\u201cA unique milestone: \u2018Whole new language\u2019\u201d\u5174\u594b\u5730\u63d0\u5230\uff0c\u5c31\u5728\u51e0\u5206\u949f\u524d\uff0cC++ \u6807\u51c6\u59d4\u5458\u4f1a\u6295\u7968\u901a\u8fc7\u4e86\u7f16\u8bd1\u671f\u53cd\u5c04\u6d89\u53ca\u7684 7 \u7bc7 paper\u3002\u5b83\u4eec\u5c06\u5171\u540c\u6574\u5408\u8fdb\u5165 C++26 \u8349\u6848<\/a>\u3002<\/p>\n\n\n\n

Sutter \u8fd9\u770b\u4f3c\u5e73\u9759\u7684\u4fe1\u606f\u53d1\u5e03\u72b9\u5982\u4e00\u58f0\u60ca\u96f7\uff0c\u70b8\u54cd\u4e86\u6211\u5fc3\u4e2d\u7684\u90a3\u4efd\u521d\u5fc3\uff0c\u4e45\u4e45\u65e0\u6cd5\u5e73\u9759\u3002WOW\uff01\u7b14\u8005\u4f5c\u4e3a\u4e00\u540d C++ \u5de5\u7a0b\u5e08\u548c\u7231\u597d\u8005\uff0c\u5f88\u65e9\u4fbf\u5f00\u59cb\u7814\u7a76\u5404\u7c7b\u53cd\u5c04\u76f8\u5173\u63d0\u6848\uff0c\u89c1\u8bc1\u4e86\u5176\u4ece\u7b2c\u4e00\u7248\u672c Static Reflection\uff08N3996\uff09<\/a> \u5230\u6700\u7ec8 Reflection for C++26<\/a>\uff0c\u5fc3\u4e2d\u6fc0\u52a8\u4e4b\u60c5\u96be\u4ee5\u8a00\u8bf4\u3002 \u201c\u7ec8\u4e8e\u7b49\u5230\u4f60\uff0c\u8fd8\u597d\u6211\u6ca1\u653e\u5f03\u201d\u2014\u2014C++ \u5728\u7cfb\u7edf\u548c\u9ad8\u6027\u80fd\u7f16\u7a0b\u9886\u57df\u7ee7\u7eed\u7ad9\u7a33\u811a\u8ddf\uff0c\u5e76\u53d1\u6325\u7740\u6108\u6765\u6108\u91cd\u8981\u7684\u4f5c\u7528\u3002<\/p>\n\n\n\n

\u8fc7\u53bb\u65f6\uff1aMacro-based \u4ee3\u7801\u751f\u6210<\/h2>\n\n\n\n

\u5728\u65e5\u5e38\u5de5\u7a0b\u5b9e\u8df5\u4e2d\u6d89\u53ca\u5230\u4ee3\u7801\u751f\u6210\uff0cJSON \u5e8f\u5217\u5316\u3001\u53cd\u5e8f\u5217\u5316\u7b49\u5e38\u89c1\u573a\u666f\uff0c\u7b14\u8005\u4e00\u822c\u91c7\u7528 Macros \u7ed3\u5408 libclang<\/a> \u6765\u52a8\u6001\u89e3\u6790\u548c\u751f\u6210\u4ee3\u7801\uff0c\u7136\u540e\u4f7f\u7528 __PRETTY_FUNCTION__<\/code><\/a> \u6216\u8005 __FUNCSIG__<\/code><\/a> \u7b49\u7f16\u8bd1\u5668\u5b9e\u73b0\u76f8\u5173\u7684 Dynamic Macros \u6765\u8bfb\u53d6\u6240\u5728\u4e0a\u4e0b\u6587\u7684\u51fd\u6570\u7b7e\u540d\u5b57\u7b26\u4e32\u3002\u6700\u540e\uff0c\u901a\u8fc7\u628a\u679a\u4e3e\u503c\u6ce8\u5165\u6a21\u677f\u7684 Non-Type Template Parameters<\/a> \u53ef\u4ee5\u8bfb\u53d6\u5230\u679a\u4e3e\u503c\u7684\u5b57\u7b26\u4e32\u5f62\u5f0f\uff0c\u518d\u7ed3\u5408 Structured Bindings<\/a> \u53ef\u4ee5\u5b9e\u73b0\u6709\u9650\u4e2a\uff08\u6bd4\u5982\u6700\u5927 128\uff09\u7c7b\u516c\u5171\u6210\u5458\u7684\u6309\u987a\u5e8f\u8bfb\u53d6\uff0c\u5b9e\u73b0\u7b80\u5355\u7684\u6210\u5458\u53cd\u5c04\u529f\u80fd\u3002<\/p>\n\n\n\n

\u73b0\u4ee3 C++ \u7f3a\u4e4f\u5f3a\u5927\u7684\u4ee3\u7801\u751f\u6210\u65b9\u6cd5\u3002\u5982\u679c\u4e0d\u501f\u52a9\u5916\u90e8\u5de5\u5177\uff0c\u4e00\u822c\u53ea\u80fd\u901a\u8fc7 Macros \u5b9e\u73b0\u7b80\u5355\u7684\u4ee3\u7801\u5c55\u5f00\u2014\u2014\u5373\u6587\u672c\u66ff\u6362\u3002Macros \u7684\u53c2\u6570\u5305\u5c55\u5f00\uff08__VA_ARGS__<\/code>\uff09\u4e5f\u4e0d\u591f\u7075\u6d3b\uff0c\u4e0d\u80fd\u6309\u7d22\u5f15\u64cd\u4f5c\u53c2\u6570\u3002\u5982\u679c\u9700\u8981\u5b9e\u73b0\u66f4\u590d\u6742\u7684\u4ee3\u7801\u5c55\u5f00\uff0c\u4e00\u822c\u53ef\u4ee5\u501f\u52a9\u4e0a\u9762\u63d0\u5230\u7684 libclang<\/a> \u6765\u89e3\u6790\u4ee3\u7801\u7684 AST \u7ed3\u6784\uff0c\u5e76\u9012\u5f52\u641c\u7d22\u81ea\u5df1\u60f3\u8981\u7684\u5173\u952e\u8bcd\uff0c\u6700\u540e\u501f\u52a9\u6587\u672c\u6a21\u677f\u66ff\u6362\u5e93\uff0c\u7f16\u5199\u81ea\u5df1\u9879\u76ee\u7684\u79c1\u6709\u5316\u751f\u6210\u7cfb\u7edf\u3002<\/p>\n\n\n\n

\u5728\u53cd\u5c04\u8fd9\u4e00\u5757\uff0c\u4e00\u76f4\u4e5f\u662f\u73b0\u4ee3 C++ \u5de5\u7a0b\u5e94\u7528\u4e2d\u7684\u77ed\u677f\u3002typeinfo<\/code> \u548c typeindex<\/code> \u673a\u5236\u53ea\u80fd\u63d0\u4f9b\u7c7b\u578b\u8fd0\u884c\u65f6\u540d\u79f0\u7b49\u6709\u9650\u4fe1\u606f\u3002\u501f\u52a9 C++17 \u53ca\u4ee5\u540e\u7684 Structured Bindings\uff0c\u53ef\u4ee5\u7f16\u5199 Macros\uff0c\u5b9e\u73b0\u4e0d\u540c\u6570\u636e\u6210\u5458\u4e2a\u6570\u7684\u7c7b\u7ed1\u5b9a\u9002\u914d\uff0c\u7136\u540e\u518d\u7528\u7b2c\u4e00\u6bb5\u4e2d\u7684\u201c\u5c0f\u628a\u620f\u201d\u8403\u53d6\u51fa\u5bf9\u5e94\u6210\u5458\u7684\u540d\u5b57\u3002\u501f\u52a9 constexpr<\/code> \u548c consteval<\/code> \u51fd\u6570\uff0c\u53ef\u4ee5\u5b9e\u73b0\u96f6\u5f00\u9500\u7684\u7b80\u5355\u53cd\u5c04\u529f\u80fd\uff0c\u6ee1\u8db3\u65e5\u5e38\u5e8f\u5217\u5316\u548c\u53cd\u5e8f\u5217\u5316\u9700\u6c42\u3002<\/p>\n\n\n\n

\u8fd9\u79cd\u65b9\u6cd5\u4e0d\u591f\u4f18\u96c5\uff0c\u7834\u574f\u4e86 C++ \u5e73\u53f0\u65e0\u5173\u7684\u54f2\u5b66\uff0c\u5728\u5b9e\u73b0\u4e0a\u9700\u8981\u8003\u8651\u4e0d\u540c\u7f16\u8bd1\u5668\u7248\u672c\u3001\u79cd\u7c7b\uff0c\u56e0\u4e3a \u201c\u8403\u53d6\u201d\u7684\u5b57\u7b26\u4e32\u4f1a\u968f\u7740\u7f16\u8bd1\u5668\u7248\u672c\u66f4\u65b0\u53d1\u751f\u53d8\u5316\uff0c\u6ca1\u6709\u6807\u51c6\u4fdd\u969c\u3002\u6bd4\u5982 Clang 14, 15, 16, 17 \u83b7\u53d6\u5230\u7684\u5b57\u7b26\u4e32\u5c31\u6709\u7ec6\u5fae\u5dee\u522b\uff0c\u5927\u5bb6\u53ef\u4ee5\u5230 GodBolt<\/a> \u81ea\u884c\u9a8c\u8bc1\u3002\u5176\u6b21\uff0c\u8fd9\u6837\u83b7\u53d6\u7684\u4fe1\u606f\u6781\u4e3a\u6709\u9650\uff0c\u65e0\u6cd5\u83b7\u53d6\u5176\u4ed6\u5143\u6570\u636e\uff0c\u6bd4\u5982\u7c7b\u7684\u540d\u5b57\u3001\u547d\u540d\u7a7a\u95f4\u3001\u522b\u540d\uff08Aliases)\u3001\u6210\u5458\u51fd\u6570\u5217\u8868\u3001\u79c1\u6709\u6570\u636e\u6210\u5458\u3001\u7279\u6027\uff08Attributes\uff09\u7b49\u3002\u968f\u7740 Reflection for C++26 \u7684\u6a2a\u7a7a\u51fa\u4e16\uff0c\u8fd9\u4e00\u987d\u75be\u7ec8\u4e8e\u544a\u4e00\u6bb5\u843d\uff0c\u6574\u4e2a\u8bed\u8a00\u7279\u6027\u4f53\u7cfb\u5f97\u5230\u91cd\u751f\u3002<\/p>\n\n\n\n

\u73b0\u5728\u65f6\uff1a\u60ca\u559c\uff01\u5171 7 \u7bc7\u63d0\u6848\u540c\u65f6\u901a\u8fc7<\/h2>\n\n\n\n

Herb Sutter \u5728\u4e0a\u8ff0\u535a\u6587<\/a>\u4e2d\u63d0\u5230\uff0c\u4e00\u5171\u6709 6 \u7bc7\u53cd\u5c04\u76f8\u5173 Core Language \u7279\u6027\uff0c\u548c 1 \u7bc7\u53cd\u5c04\u76f8\u5173\u7684 Standard Library \u7279\u6027\u5728\u6295\u7968\u4e2d\u4e00\u6b21\u6027\u901a\u8fc7\u3002Congrats\uff01\u5b83\u4eec\u662f\uff1a<\/p>\n\n\n\n

\n

P2996R13 \u201cReflection for C++26\u201d<\/strong><\/a> by Wyatt Childers, Peter Dimov, Dan Katz, Barry Revzin, Andrew Sutton, Faisal Vali<\/strong>, and Daveed Vandevoorde<\/strong>. <\/p>\n<\/blockquote>\n\n\n\n

<\/p>\n\n\n\n

\n

P3394R4 \u201cAnnotations for reflection\u201d<\/strong><\/a> by Wyatt Childers, Dan Katz, Barry Revzin, <\/strong>and Daveed Vandevoorde<\/strong>.<\/p>\n<\/blockquote>\n\n\n\n

<\/p>\n\n\n\n

\n

P3293R3 \u201cSplicing a base class subobject\u201d<\/strong><\/a> by Peter Dimov, Dan Katz, Barry Revzin, <\/strong>and Daveed Vandevoorde<\/strong>.<\/p>\n<\/blockquote>\n\n\n\n

<\/p>\n\n\n\n

\n

P3491R3 \u201cdefine_static_{string,object,array}\u201d<\/a> by Wyatt Childers, Peter Dimov, Barry Revzin, and Daveed Vandevoorde<\/p>\n<\/blockquote>\n\n\n\n

<\/p>\n\n\n\n

\n

P1306R5 \u201cExpansion statements\u201d<\/strong><\/a> by Dan Katz, Andrew Sutton, Sam Goodrick, Daveed Vandevoorde, <\/strong>and Barry Revzin<\/strong><\/p>\n<\/blockquote>\n\n\n\n

<\/p>\n\n\n\n

\n

P3096R12 \u201cFunction parameter reflection in reflection for C++26\u201d<\/strong><\/a>[sic] by Adam Lach, Dan Katz, <\/strong>and Walter Genovese<\/strong><\/p>\n<\/blockquote>\n\n\n\n

<\/p>\n\n\n\n

\n

P3560R2 \u201cError handling in reflection\u201d<\/strong><\/a> by Peter Dimov <\/strong>and Barry Revzin<\/strong><\/p>\n<\/blockquote>\n\n\n\n

\u6838\u5f39\uff1aP2996R13 \u201cReflection for C++26\u201d<\/strong><\/a><\/h2>\n\n\n\n

\u8fd9\u662f Reflection for C++26 \u7684\u6838\u5fc3\u672c\u4f53\uff0c\u6784\u5efa\u4e86\u6574\u4e2a\u7f16\u8bd1\u671f\u53cd\u5c04\u673a\u5236\u7684\u5730\u57fa\u548c\u627f\u53f0\u3002Sutter \u5728\u6587\u4e2d\u63d0\u5230\uff0c\u867d\u7136\u8fd9\u4e2a\u63d0\u6848\u6682\u4e0d\u5305\u542b\u5f3a\u4ee3\u7801\u751f\u6210\u90e8\u5206\u2014\u2014Metaclasses for Generative C++<\/a>\uff0c\u4f46\u4ecd\u7136\u662f\u4e00\u4e2a\u65e0\u4e0e\u4f26\u6bd4\u548c\u9ad8\u53ef\u7528\u7684\u65b0\u8bed\u8a00\u7279\u6027\uff0c\u5373\u5b8c\u5907\u53cd\u5c04\u652f\u6301\u3002<\/p>\n\n\n\n

\u8fd9\u4efd\u901a\u8fc7\u7684\u63d0\u6848\u5f15\u5165\u4e86\u65b0\u7684\u8bed\u8a00\u7ea7\u522b\u8fd0\u7b97\u7b26^^<\/code>\uff08\u597d\u5f00\u5fc3\u7684\u6837\u5b50\uff09\u2014\u2014\u6211\u4eec\u79f0\u4e4b\u4e3a Reflection Operator<\/a>\u3002\u8fd9\u4e2a\u8fd0\u7b97\u7b26\u53ef\u4ee5\u628a\u4e00\u4e2a\u8bed\u6cd5\u4e0a\u5408\u89c4\u7684\u6784\u9020\u6620\u5c04\u6210\u4e3a\u4e00\u4e2a\u53cd\u5c04\u5143\u6570\u636e\u5bf9\u8c61 std::meta::info<\/code>\u3002\u4ee5\u4e0b\u5f62\u5f0f\u662f\u5408\u6cd5\u5f62\u5f0f\uff1a<\/p>\n\n\n\n

<\/circle><\/circle><\/circle><\/g><\/svg><\/span>