知识卡片
保留限定符的类型观察
内容
Boost.TypeIndex 提供保留常量性、易变性及引用信息的类型观察接口；type_id_with_cvr 配合 pretty_name，可帮助检查模板推导结果。它补足部分IDE或typeid显示的省略，但并非标准库组成部分，也不能替代对推导规则的理解。适合用于验证有争议的类型判断。
参考来源
- 位置：《Effective Modern C++》第1章《类型推导》，条款四（源文件：_epub-src/EPUB/text/ch002.xhtml）
- 结论依据：原文展开介绍Boost.TypeIndex，并展示保留限定符与引用的接口及输出，不是只提及工具名。
- 原始内容：boost::typeindex::type_id_with_cvr 获取一个类型实参（我们想获得相应信息的那个类型），它不消除实参的 const ， volatile 和引用修饰符（因此模板名中有“ with_cur ”）。结果是一个 boost::typeindex::type_index 对象，它的 pretty_name 成员函数输出一个 std::string ，包含…