c++ - 为什么复制构造函数有时要显式声明为非内联的？

Question

我无法理解关于内联和客户二进制兼容性的句子。有人可以解释一下吗？

C++ 常见问题 Cline，Lomow:

When the compiler synthesizes the copy constructor, it makes them inline. If your classes are exposed to your customers ( for example, if your customers #include your header files rather than merely using an executable, built from your classes ), your inline code is copied into your customers executables. If your customers want to maintain binary compatibilty between releases of your header files, you must not change an inline functions that are visible to the customers. Because of this, you will want an explicit, non inline version of the copy constructor, that will be used directly by the customer.

Answer 1

动态库(.dll、.so)的二进制兼容性通常很重要。

例如您不希望必须重新编译操作系统上的一半软件，因为您更新了一些低级库，所有这些库都以不兼容的方式使用(并考虑安全更新的频率)。通常，即使您愿意，您甚至可能没有这样做所需的所有源代码。

为了使您的动态库更新兼容并实际产生效果，您基本上不能更改公共(public)头文件中的任何内容，因为那里的所有内容都直接编译到其他二进制文件中(即使在 C 代码中，这通常可以包括结构大小和成员布局，显然您也不能删除或更改任何函数声明)。

除了 C 问题之外，C++ 还引入了更多内容(虚函数的顺序、继承的工作方式等)，因此可以想象，您可能会做一些更改自动生成的 C++ 构造函数、拷贝、析构函数等的操作，同时否则保持兼容性。如果它们是与类/结构一起“内联”定义的，而不是在您的源代码中明确定义的，那么它们将直接由链接您的动态库并使用那些自动生成的函数的其他应用程序/库包含，并且它们不会得到您的更改版本(您可能甚至没有意识到已经更改!)。