发布和调试之间的 ABI 兼容性

Question

在使用 GCC 时，考虑到我有时在发布时和有时在调试时编译同一个库，ABI 是否保证兼容？

（使用相同的编译器）

我有一个可执行文件和一些共享对象（一些依赖于其他对象），我希望能够在不重新编译所有内容的情况下交换发布/调试共享对象，但 只有感兴趣的共享对象。

这可能吗，或者在某些情况下我可能会以这种方式得到一些未定义的行为？ （假设我的代码是严格打包的，并且在发布和调试中都进行了填充）

编辑：

我将详细说明我们遇到的问题。我们有一个自定义版本的intrusive_ptr，在调试模式下我们有我们自己的intrusive_ptr，它有一个单个 成员，它是boost::intrusive_ptr，在发布时我们只使用boost::intrusive_ptr。我们intrusive_ptr的API和boost::intrusive_ptr是一样的，而且我们在类中没有任何虚函数。
我们看到的是这样的：
如果我们使用所有调试库或所有发布库都可以正常工作。如果我们将调试可执行文件与发布库混合使用，intrusive_ptr 会发生内存泄漏，并且不会释放对象。

我们的intrusive_ptr 和boost::intrusive_ptr 的大小在调试和发布时都是相同的（我们的类不会在顶部增加任何大小开销）。

所以我想知道是什么导致了泄漏，唯一想到的就是 ABI 差异。

想法？

Answer 1

我知道有几个编译器会为发布和调试生成不兼容的代码（尽管这些编译器早已被弃用）。面对现实，我不会相信对象模块完全兼容，除非它们是用完全相同的标志编译的。

这就是为什么 makefile（遵循 GNU 原则）和像 Eclipse 这样的 IDE 将 release/debug/profile 对象构建到不同的目录中的原因。以确保它们永远不会混淆。

Answer 2

通常不会，因为发布和调试构建之间的通常区别只是使调试步进工作更好的选项。但是意外的行为仍然可能发生，如果您在发布版本和调试版本之间以不同的方式定义其他选项（例如整数大小、目标体系结构、??），调用者参数可能与被调用者的期望不匹配。也可能存在异常安全性和运行时链接器可能无法检查的常量性问题。