C/C++｜std::function 浅度解析

std::function 是 C++ 标准库中的一个通用多态函数包装器。它可以存储、复制和调用任意可调用目标（函数、lambda 表达式、绑定表达式或其他函数对象）。 std::function 占有固定尺寸的内存，这是因为它的实现方式决定了这一点。让我们深入探讨这一点。

std::function 的实现原理

std::function 通常使用类型擦除和小对象优化（Small Object Optimization, SOO）来实现这一点。

1. 类型擦除：

• std::function 使用类型擦除来存储不同类型的可调用对象。这意味着它通过一个固定大小的存储空间和一个指向这些对象的虚表（vtable）来实现多态性。
• 类型擦除允许 std::function 在运行时处理各种不同的类型，而不需要知道这些类型的具体细节。
  1. 小对象优化（SOO）：
  • 对于小对象（通常是指尺寸较小且可以直接存储在 std::function 内部的对象），std::function 会直接在其内部存储这些对象。这避免了动态内存分配的开销。
  • 对于大对象（超出 std::function 内部存储容量的对象），std::function 会在堆上分配内存，并在内部存储一个指向这些对象的指针。

    std::function 为什么占有固定尺寸的内存

    由于 std::function 使用了类型擦除和小对象优化，其内部实现通常包含以下几个部分：

    • 一个指向实际存储对象的指针或存储小对象的内部缓冲区。
    • 一个指向虚表的指针，用于多态调用。
    • 一些额外的元数据，用于管理存储和调用。

      这意味着，无论存储的对象是多大或多小，std::function 的实例总是占用固定大小的内存，以包含这些指针和元数据。

      内存布局的示例

      假设我们有以下 std::function 声明：

      std::function func;
      

      其内部可能包含如下内容：

      1. 指向可调用对象的指针 或 内部缓冲区：

         • 如果对象足够小，可以直接存储在内部缓冲区中。
         • 如果对象较大，则存储一个指向该对象的指针。

         • 虚表指针：

           • 虚表指针指向一组函数，这些函数用于操作实际存储的对象（调用、复制、销毁等）。

           • 元数据：

             • 用于管理存储对象的信息，如对象大小、类型信息等。

      无论我们存储的是一个普通函数指针，一个小型 lambda 表达式，还是一个大型函数对象，std::function 实例的大小都是固定的。

      示例代码

      #include 
      #include 
      void exampleFunction() {
          std::cout 
          // 存储普通函数指针
          std::function
              std::cout 
              void operator()() const {
                  std::cout 
          func(5);  // 调用传入的可调用对象，并传递参数5
      }
      int main() {
          // 使用普通函数指针
          void (*funcPtr)(int) = [](int x) { std::cout  std::cout 
              void operator()(int x) const {
                  std::cout