c++ - 如何强制 g++ 内联函数？

Question

我最近在将 Haskell FFI 用于 C/C++ 时遇到了 C++ 内联函数的问题。 即，g++ 并不真正内联声明为 inline 的函数，并为它们生成符号。最终，当 ghci 尝试加载调用内联函数的目标文件时，这会产生链接器错误:

Loading object (static) solveeq.o ... done
Loading object (dynamic) /usr/lib/gcc/x86_64-linux-gnu/4.6/libstdc++.so ... done
final link ... ghc: solveeq.o: unknown symbol `_ZN5Eigen8internal19throw_std_bad_allocEv'

这里，_ZN5Eigen8internal19throw_std_bad_allocEv 是仅 header Eigen C++ 库中的一个内联 函数，以某种方式被视为真正的函数并被赋予一个链接器符号。 solveeq.o 是我的目标文件，它会(间接)调用该函数。环境为Ubuntu 12.04 64bit，ghc 7.4.1。

问题是这样的:我可以使用 extern "C" 来防止 C++ 为我自己的函数修饰函数名。但我不能/不应该更改其他人定义的 C++ header (出于显而易见的原因)。在我看来，编译器不应该首先为这个内联定义创建一个函数来导致这个错误。原因很简单。如果有问题的函数是真正内联的，我就不会得到链接器错误。如果编译器变得聪明并决定为它创建一个真正的函数，我会得到这样的错误(或同一个函数的多个定义，正如我在别处读到的那样)。所以现在，编译/链接的正确性取决于编译器的心情。

此外，我认为像这样的链接器问题实际上击败了仅 header 的 C++ 库(它们的可移植性很有吸引力)，因为现在它们无法使用 extern "C" 导出。

这是c++的设计问题还是g++的问题？我的问题是，有没有办法防止 c++ 编译器或 g++ 不内联内联函数？例如，是否有命令行选项？ (修改源代码是不可能的，因为它们是库代码。)

另外，我很好奇 C++ STL 是如何处理这个问题的。它们也是仅 header 吗？

Answer 1

函数是 inline 是对编译器的提示，编译器会在认为合适的时候愉快地忽略它。一些编译器会对声明为 inline 但不是内联的函数发出警告，例如gcc的 -Winline，但禁用所有内联函数注定是行不通的:有一些相当大的函数处理定义为模板的数据结构。所有隐式的模板代码都可以是内联的，并且这些模板的实例化可以在多个翻译单元中发出。

与其为了将 C++ 与其他工具集成而试图硬塞 C++ 的行为，其他工具应该变得聪明并忽略它不感兴趣的符号。特别是，如果它对不需要的实例化真的不感兴趣inline 函数，它应该忽略这些。由于它们可以出现在多个翻译单元中，因此它们通常使用弱符号。当您在 UNIX 系统上使用 nm -po your-object-file.o 并使用 grep 作为您的工具被冒犯的符号时，您应该看到它们使用不同于普通符号 (T)。

另一种方法可能包括链接一个共享对象，该对象仅公开您实际想要公开的符号，并通过该工具使用该对象。也就是说，虽然我知道这种方法是可行的，但我自己并没有真正使用过它。