指定不同访问器中静态局部变量的构造/销毁顺序

Question

我在 cxa_finalize 运行程序时遇到崩溃（这是一个程序，而不是其中的库）：

$ ./ac-test.exe 
Assertion failed: AcLock.cpp(54): AcLock
libc++abi.dylib: terminate called without an active exception
Abort trap: 6

断言/崩溃是由于对象和记录器之间的交互造成的。记录器在对象之前被破坏，但对象使用记录器。因此，弹出断言或崩溃的正在获取的互斥锁已经被破坏（因此pthread_mutex_lock 锁定记录器时失败的原因）。

我已经阅读了 Specifying Attributes of Variables 和 Declaring Attributes of Functions 的 GCC 手册，但我显然遗漏了一些东西。

我将对象和记录器放在访问器中的一个公共标头中，并尝试指定构造顺序：

// AcGlobals.h
static AcLogger& GetLogger() {

    static AcLogger logger __attribute__(init_priority(50));
    return logger;
}
static AcSocketList& GetAcceptSockets() {

    static AcSocketList sockets __attribute__(init_priority(100));
    return sockets;
}

这导致了一堆错误：

./AcGlobals.h:24:46: error: expected ';' at end of declaration
    static AcLogger logger __attribute__((init_priori...

./AcGlobals.h:24:47: warning: declaration does not declare anything
      [-Wmissing-declarations]
    static AcLogger logger __attribute__((init_priori...

我也尝试将属性放在函数而不是变量上：

// AcGlobals.h
static AcLogger& GetLogger() __attribute__(init_priority(50)) {

    static AcLogger logger;
    return logger;
}
static AcSocketList& GetAcceptSockets() __attribute__(init_priority(100)) {

    static AcSocketList sockets;
    return sockets;
}

这导致了更多问题：

./AcGlobals.h:22:53: warning: GCC does not allow init_priority attribute in this
      position on a function definition [-Wgcc-compat]
static AcLogger& GetLogger() __attribute__((init_priority(50))) {
                                              ^
./AcGlobals.h:22:53: error: can only use 'init_priority' attribute on file-scope
      definitions of objects of class type

我也尝试了__attribute__((constructor(50))) 而不是init_priority，但没有任何乐趣。

注意：我正在使用 Apple 机器。 Apple 有一个“功能”，其中构造函数优先级仅适用于同一文件中的修饰函数和变量。所以这些不能分散在翻译单元中。

如何准确地指定本地静态对象的构造和销毁顺序？

Answer 1

这是使用 Meyers 单例时的经典问题 （这基本上就是你正在做的事情）。解决方案是 不破坏单例；而不是静态的本地 变量，您应该使用不带删除的动态分配：

static  AcLogger& GetLogger()
{
    static AcLogger* logger = new AcLogger;
    return *logger;
}

请注意，在这种情况下，您必须确保每次使用 记录器刷新（但无论如何通常都是这种情况）； 否则，您可能会得到未刷新的数据。

关于您尝试使用您的扩展功能 编译器：我不太熟悉它，但我不明白你如何 可以在局部变量上使用名为 init_priority 的东西。 局部静态的构建（和销毁）时间 变量由语言定义（在这种情况下， 销毁时间不是你想要的）。如果你想使用 这个非标准的扩展，你可能不得不使 实例变量是一个静态类成员，甚至可能是一个全局变量 （在这种情况下，您不能将构造函数设为私有）。

Answer 2

假设依赖是非循环的，您可以按照代码流进入函数的顺序利用标准的初始化行为，并按照初始化的相反顺序进行销毁。

换句话说，调用 GetLogger() 来初始化记录器，然后调用 GetAcceptSockets() 来初始化列表。这将导致套接字列表首先被破坏（当记录器仍然存在时），然后记录器最后被破坏。