编程沉思录
·
std::any 的性能开销：基于 libstd++ 源码分析
内容提要
C++17 引入的 std::any 允许存储任意类型，但灵活性带来了性能开销。其通过 _Storage 存储数据和 _M_manager 管理类型信息，采用小对象优化以提升性能。尽管方便，std::any 仍存在内存浪费和额外开销。
关键要点
-
C++17 引入 std::any，允许存储任意类型的变量，提供安全的类型擦除。
-
std::any 的灵活性伴随着性能开销，需在灵活性与性能之间做出取舍。
-
std::any 的实现涉及异构数据存储和类型安全访问，使用 type() 函数获取类型信息。
-
核心变量 _M_storage 负责存储数据值，_M_manager 管理类型信息。
-
使用 union 实现 _Storage，包含指针和字符数组以优化内存使用。
-
小对象优化（SOO）允许小尺寸对象直接在栈内存中存储，避免堆内存分配的开销。
-
对于大尺寸对象，使用堆内存分配，_M_storage 存储指针。
-
内存结构设计可能导致内存浪费，union 的内存等于最大字段的内存。
-
通过 _M_manager 的函数指针实现类型信息的管理，节省内存开销。
-
尽管 std::any 提供灵活性，但其设计特点会带来额外的性能开销。
延伸问答
std::any 是什么，它的主要功能是什么？
std::any 是 C++17 引入的一个类型，允许存储任意类型的变量，提供安全的类型擦除功能。
使用 std::any 有哪些性能开销？
std::any 的灵活性带来了性能开销，包括内存浪费和额外的管理开销。
std::any 是如何管理类型信息的？
std::any 通过一个函数指针 _M_manager 来管理类型信息，使用 template class 的静态函数实现类型查询。
什么是小对象优化（SOO），它在 std::any 中是如何实现的？
小对象优化（SOO）允许小尺寸对象直接在栈内存中存储，避免堆内存分配的开销，提升性能。
std::any 的内存结构设计有什么潜在问题？
std::any 的内存结构设计可能导致内存浪费，因为 union 的内存等于最大字段的内存，即使存储小数据类型也需要较大的内存。
std::any 的 type() 函数是如何工作的？
std::any 的 type() 函数通过调用 _M_manager 指向的函数，获取存储对象的类型信息，使用 typeid 来返回类型信息。
