在 Linux/x86-84 上传递大对象的 C++ 调用约定

问：

我正在尝试理解在 C++/Linux/x86-64 平台中按值传递对象作为函数参数的开销。

我用于探索的实验代码发布在下面和 godbolt.org 上：https://godbolt.org/z/r9Yfv4

假设函数是一元的。我观察到的是：

1. 如果参数对象的大小为 8 个字节，则将其放入 RDI 中。
2. 如果参数大小为 16 字节（包含两个子对象，每个子对象 8 个字节），则这两个子对象将被放入 RDI 和 RSI。
3. 如果参数大于 16 个字节，它将通过堆栈传递。

我只考虑整数类型和指针以及这些基本类型的组合类型。我知道传球浮子/双打是不同的。

的大小为 32 字节（GCC/Linux 实现，长 + 长 + 指针 + 指针 = 32 字节。因此，按值传递应该看起来像我的代码中定义的传递。但是输出程序集显示 pass 与 pass 有很大不同。看起来 std：：function 是通过指针传递的，对吗？为什么会有这样的差异？std::functionstd::functionstruct Person4std::functionstruct Person3

#include <functional>

struct Person0 {
  long name;
};

long GetName(Person0 p) {
  return p.name;
}

struct Person1 {
  long name;
  long age;
};

long GetName(Person1 p) {
  return p.name;
}

struct Person2 {
  long name;
  long age;
  long height;
};

long GetName(Person2 p) {
  return p.name;
}

struct Person3 {
  long name;
  long age;
  long height;
  long weight;
};

long GetName(Person3 p) {
  return p.name + sizeof(p);
}

long Invoke(std::function<long(long)> f) {
  return f(20) + sizeof(f);
}


int main() {
  Person3 p;
  p.name = 13;
  p.age = 23;
  p.height = 33;
  p.weight = 43;
  long n = GetName(p);

  std::function<long(long)> ff;
  Invoke(ff);
  return 0;
}