编程沉思录
·
std::any 的性能开销：基于 libstd++ 源码分析
内容提要
C++17 引入的 std::any 提供了灵活的类型擦除，但性能开销较大。其通过 _M_storage 存储数据和 _M_manager 管理类型信息，小对象在栈上存储，大对象在堆上分配，导致内存利用率低。总体而言，尽管灵活性高，但在内存和性能上存在一定的开销。
关键要点
-
C++17 引入了 std::any，提供灵活的类型擦除，但伴随性能开销。
-
std::any 的实现涉及异构数据存储和类型安全访问。
-
核心变量 _M_storage 用于存储数据，_M_manager 管理类型信息。
-
小对象在栈上存储，大对象在堆上分配，导致内存利用率低。
-
内存结构设计存在潜在浪费，存储 1 字节数据时空间利用率仅 6.25%。
-
通过 _M_manager 函数指针实现类型信息的获取，节省内存开销。
-
总体而言，尽管灵活性高，但在内存和性能上存在一定的开销。
延伸解读
内存利用率的挑战
尽管 std::any 提供了灵活的类型擦除功能，但其内存利用率较低。在存储小对象时，内存的浪费尤为明显，例如存储 1 字节数据时，空间利用率仅为 6.25%。开发者在使用时需考虑这一点，尤其是在内存敏感的应用场景中。
性能与灵活性的权衡
std::any 的设计虽然提供了极大的灵活性，但在性能上也存在一定的开销。小对象在栈上存储可以提高性能，但大对象则需要堆分配，可能导致性能下降。因此，在选择使用 std::any 时，开发者应权衡灵活性与性能之间的关系。
类型安全的实现机制
std::any 通过 _M_manager 函数指针实现类型安全访问，所有类型信息的操作都通过一个函数入口进行。这种设计虽然节省了内存开销，但也增加了理解和使用的复杂性。开发者在使用 std::any 时，需熟悉其内部机制，以确保正确使用。
延伸问答
std::any 的主要功能是什么？
std::any 提供了灵活的类型擦除，可以将任意类型的变量安全地存储。
std::any 的实现中存储数据的核心变量是什么？
核心变量是 _M_storage，用于存储数据值本身或指针。
小对象和大对象在 std::any 中是如何存储的？
小对象在栈上存储，大对象在堆上分配，使用 _M_storage 来管理。
std::any 的内存利用率如何？
在 64 位机器上，存储 1 字节数据时，空间利用率仅为 6.25%。
std::any 如何实现类型安全访问？
通过 _M_manager 函数指针实现类型信息的获取，结合 template class 的静态函数。
使用 std::any 有哪些性能开销？
使用 std::any 会有内存开销和性能开销，尤其是大对象会触发堆分配。
