我正在编写一些 C++ 代码，但我遇到了一个困扰我一段时间的问题...假设我在 Linux 主机上使用 GCC 编译 ELF 目标，全局静态在哪里构造函数和析构函数调用了吗？
我听说在 crtbegin.o 中有一个函数 _init，在 crtend.o 中有一个函数 _fini。这些是crt0.o调用的吗？或者动态链接器是否真的检测到它们在加载的二进制文件中的存在并调用它们？如果是这样，什么时候它真正调用它们？
我主要想知道，这样我就可以了解在我的代码在运行时加载、执行和卸载时幕后发生的事情。
提前致谢！
更新：我基本上是想弄清楚构造函数被调用的一般时间。我不想根据这些信息在我的代码中做出假设，这或多或少是为了更好地了解我的程序加载时在较低级别发生的事情。我知道这是特定于操作系统的，但我已尝试在此问题中缩小范围。
【问题讨论】：
标签： c++ gcc static global constructor
当谈到非本地静态对象时，没有太多保证。正如您已经知道的（这里也提到过），它不应该编写依赖于此的代码。静态初始化顺序惨败……
静态对象经过两个阶段的初始化：静态初始化和动态初始化。前者首先发生并通过常量表达式执行零初始化或初始化。后者发生在所有静态初始化完成之后。例如，这是在调用构造函数时。
一般来说，这个初始化发生在 main() 之前的某个时间。然而，与许多人的想法相反，C++ 标准并不能保证这一点。实际上可以保证的是，在使用与正在初始化的对象相同的翻译单元中定义的任何函数或对象之前完成初始化。请注意，这不是特定于操作系统的。这是 C++ 规则。这是标准的引述：
对象的动态初始化（8.5、9.4、12.1、12.6.1）是否由实现定义 命名空间范围在 main 的第一条语句之前完成。如果初始化被推迟到某个时间点 在 main 的第一个语句之后的时间，它应该发生在第一次使用定义的任何函数或对象之前 在与要初始化的对象相同的翻译单元中
【讨论】：
这在很大程度上取决于编译器和运行时。对构建全局对象的时间做出任何假设都不是一个好主意。
如果您有一个依赖于另一个已构建的静态对象的静态对象，这尤其是一个问题。
这称为“static initialization order fiasco”。即使您的代码中并非如此，有关该主题的 C++Lite 常见问题解答文章也值得一读。
【讨论】：
这不是特定于操作系统的，而是特定于编译器的。
你已经给出了答案，初始化在__init完成。
对于第二部分，在 gcc 中，您可以通过附加到变量定义的__attribute__((init_priority(PRIORITY))) 来保证初始化顺序，其中PRIORITY 是一些相对值，首先初始化较小的数字。
【讨论】：
您拥有的受资助者：
如果你有相互依赖的全局变量，你有两个选择：
class AType
{ AType() { log.report("A Constructed");}};
LogType log;
AType A;
// Or
Class AType()
{ AType() { getLog().report("A Constructed");}};
LogType& getLog()
{
static LogType log;
return log;
}
// Define A anywhere;
在这里，您必须保证对象日志不会在对象 B 之前被销毁。这意味着日志必须在 B 之前完全构建（因为随后将应用相反的销毁顺序）。同样可以使用相同的技术。要么将它们放在同一个翻译单元中，要么使用函数来获取日志。
class BType
{ ~BType() { log.report("B Destroyed");}};
LogType log;
BType B; // B constructed after log (so B will be destroyed first)
// Or
Class BType()
{ BType() { getLog();}
/*
* If log is used in the destructor then it must not be destroyed before B
* This means it must be constructed before B
* (reverse order destruction guarantees that it will then be destroyed after B)
*
* To achieve this just call the getLog() function in the constructor.
* This means that 'log' will be fully constructed before this object.
* This means it will be destroyed after and thus safe to use in the destructor.
*/
~BType() { getLog().report("B Destroyed");}
};
LogType& getLog()
{
static LogType log;
return log;
}
// Define B anywhere;
【讨论】：
【讨论】：
:(