成员函数的附加语法/说明符如何影响类中的内存布局？

Question

我想我对类数据成员及其在内存中的表示有一个清晰的了解：

类的成员定义了对象的布局：数据成员一个接一个地存储在内存中。使用继承时，派生类的数据成员只是添加到基类的数据成员中。

但是，当我试图弄清楚对象的 “蓝图” 是如何被其函数成员使用附加语法元素修改时：我遇到了困难。在下面的文本中，我试图列出所有有问题的¹ 函数成员语法，这些语法使我难以弄清楚对象的内存大小和结构。

我想不通的类成员函数：

• 函数类型：lambda，函数指针，正在修改，不可修改。
• 包含额外的语法元素：friend(with non-member)、virtual、final、override、static、const、volatile、mutable。

问题：

在对象内存布局的上下文中，具有不同说明符的成员函数之间有什么区别以及它们如何影响它？

---

注意：

我已经阅读了this 和this，它们并没有提供令人满意的答案²。 This 谈论一般情况（我理解），这是最接近重复的情况。（但我特别关注有问题的语法列表，这是我的实际问题，没有涉及到。）

^{1.在影响对象内存布局方面。}

^{2。第一个是关于 GCC 编译器，第二个提供了指向 @m@zon 上一本书的链接。}

Answer 1

成员函数不是对象内存布局的一部分。唯一可归因于成员函数的是对用于执行动态调度的实现定义结构的隐藏引用，例如virtual method table。仅当对象具有至少一个虚成员函数时，此引用才会添加到您的对象中，因此不具有虚函数的类的对象不会产生这种开销。

回到您的具体问题，对对象的内存布局有任何影响的成员函数的唯一修饰符是virtual^*。其他修饰符会影响函数本身的解释方式，但不会改变对象的内存布局。

^*override关键字也表示基类中存在虚成员函数，但它是可选的；添加或删除它不会改变对象的内存布局。