10

我很好奇编译器生成的默认构造函数和析构函数是否是内联的，因为无论哪种方式我都可以证明它是合理的。一方面，您希望默认构造函数/析构函数不是内联的，以便稍后添加它们不会破坏 ABI（因为在只有默认值时编译的目标文件将内联生成的定义而不是您定义的定义）。另一方面，对于 C++ 编译器来编译 C 代码的性能与使用 C 编译器编译时一样好，它不能为每个分配的结构添加构造函数/析构函数调用，而在 C++ 中，类之间的唯一功能差异并且结构应该是默认的访问保护。也许链接器以某种方式解决了这个问题？也许答案因编译器而异？

这个问题的结果：如果我在 C++ 中有一个 POD 结构，理论上我可以通过自己定义空的内联构造函数/析构函数来代替默认值，从而在某些编译器下受益吗？

4

3 回答 3

19

C++ 标准在12.1[class.ctor]/5中说

隐式声明的默认构造函数是其类的内联公共成员

并在12.4[class.dtor]/3

隐式声明的析构函数是其类的内联公共成员。

于 2011-06-08T03:51:27.633 回答
3

如果我在 C++ 中有一个 POD 结构，理论上我可以通过自己定义空的内联构造函数/析构函数来代替默认值，从而在某些编译器中受益吗？

理论上，是的！任何函数（包括构造函数和析构函数）都可以内联声明，将函数体放在类定义中是一种方法。但是，它是否真的内联函数取决于编译器。

于 2011-06-08T03:46:47.907 回答
2

它因编译器而异，但总的来说：是的，它们应该。

至少使用 gcc，您会生成一个内联函数和一个外联函数。离线版本被标记为“链接一次”，因此无论有多少对象生成默认构造函数，最多只有一个版本会在链接输出中结束。如果实际上没有人在外线使用默认构造函数，那么它根本不包含在链接输出中，并且您实际上拥有一个纯粹的内联函数。

于 2011-06-08T03:56:23.150 回答