C++26 反射让类型擦除变简单
Beautiful Type Erasure with C++26 Reflection
如果你曾尝试过比 std::any 或 std::function 更复杂的类型擦除，那你一定写过上百行容易出错的代码，或者不得不依赖 Boost.TypeErasure 这种样板代码繁重的库。rjk::duck 利用 C++26 反射的魔力，在保留所有自定义能力和性能的同时，彻底消除了这些痛点。只需声明一次接口，库就能自动处理其余工作。它支持拥有和非拥有语义、运算符、接口组合，甚至能为第三方类型扩展方法。目前仅支持 gcc 的 -std=c++26 -freflection 模式。本文将深入解析 tag 生成、vtable 代码生成、重载解析以及让 duck 保持小巧的互转技巧，带你领略 C++26 反射在类型擦除领域的独特应用。
- 有评论者讽刺 C++ 正消耗大量年轻开发者的精力去解决无用的问题，这种过度复杂的代码风格正是催生 AI 编程代理的根源。
- 一位资深从业者将 C++ 比作精心维护的维多利亚式老宅，其令人不适的复杂性背后蕴含着令人惊叹的工匠精神与历史积淀。
- 关于语言演进存在分歧，一方认为 C++ 正通过 Concepts 和 Reflection 等新特性优雅地替代旧有的糟糕实践，另一方则担忧语言已复杂到无人能建立完整的心理模型。
- 针对 C++26 反射特性的实现，开发者指出当前利用 std::ranges 会导致编译时间显著增加，且通过反射调用成员需线性搜索，性能仍有优化空间。
- 有观点尖锐反驳称，在 C++ 中不使用 void* 并配合大量 linter 抑制注释来规避类型擦除，本质上是一种业余的做法。