编译器创建的成员函数的实际参数列表是什么？

Question

我有一个关于传递给 C++ 成员函数以调用的值的问题。当我反汇编像

这样的C++成员函数时

void myClass::memberFunction() const;

我假设它传递了一个隐式参数this作为第一个也是唯一的参数，但实际上可能传递了两个或多个参数。

我用 hopper 反汇编了 libobjc.A.dylib (iOS14.8-arm64e)。这个函数class_rw::method() const没有参数，所以我认为它只传递了this指针作为唯一的参数，但它传递了另一个（x1）参数。

然后实际代码在苹果上是开源的 https://opensource.apple.com/source/objc4/objc4-818.2/runtime/objc-runtime-new.mm.auto.html 快照就像

编译器似乎为此成员函数自动生成了附加变量。 我的问题是：

1. 只有当我们将实现放在类声明中时才会发生这种情况，对吗？ 对于将其实现隐藏在另一个 cpp 文件中的类来说，这似乎是不可移植的。

2. 这种隐式添加的变量有名称吗？我的意思是，当我们为 c++ 开发编译器时，我们对这种优化的要求是什么？

Answer 1

来自ARM64 procedure call standard：

结果返回

从函数返回结果的方式取决于该结果的类型：

• 如果函数结果的类型 T 是 void func(T arg) 要求根据参数传递中的规则将 arg 作为寄存器（或寄存器集）中的值传递，然后将结果返回到用于此类参数的相同寄存器中。
• 否则，调用者应保留一块足够大小和对齐的内存来保存结果。内存块的地址应作为附加参数传递给 x8 中的函数。被调用者可以在子程序执行期间的任何时候修改结果内存块（不需要被调用者保留存储在x8中的值）。

所以这似乎是第二种类型的示例——返回类型method_array_t 超过 16 个字节，因此调用者为其分配空间并将指向该空间的指针作为额外参数传递。