如何强制执行析构函数的调用顺序

Question

我正在尝试正确设置以下设置：

给定的应用程序（具有多个源文件、编译单元）在许多编译单元中定义了 class A 类型的全局变量。 这些应该由引入 class B 的新成员“管理”（其中应该只存在一个实例），因为在创建时它们在 B 类的实例中“注册”自己并在销毁时“注销”。

为构造函数设置工作是相当简单的。可以使用：

types.h:

class B {
  static B& Instance() {
    static B singleton;
    return singleton;
  }
  void registerA( const A& a ) { 
  // whatever
  }
};


class A {
  A() { B::Instance().registerA( this ); }
};

如何正确使用析构函数？如果使用：

class A {
  A() { B::Instance().registerA( this ); }
  ~A() { B::Instance().signoffA( this ); }
};

那么B 的析构函数可能会在A 的析构函数之前被调用。 然后A 类的实例在刚刚创建的B 实例上签名。

测试用例将是一个多源文件设置，在命名空间中定义了 class A 的实例：

file1.cc

#include "types.h"
namespace C {
   A a;
}

file2.cc

#include "types.h"
namespace C {
   A b;
}

我猜想使用 Boost 智能指针可以轻松完成这样的事情。但是，如果可能的话，我想避免使用额外的库来尽可能降低依赖性。

一件事可能会有所帮助：所有全局变量都在命名空间中。

Answer 1

我觉得你很好。这里是关于“终止”的 3.6.3：

如果具有静态存储持续时间的对象的构造函数或动态初始化的完成顺序在另一个之前，则第二个的析构函数的完成顺序在第一个的析构函数的启动之前。

假设您有以下设置：

struct A;

struct B
{
    static B & get() { static B impl; return impl; }
    void registrate(A *);

private:
    B() { /* complex stuff */ }
    // ...
};

struct A { A() { B::get().registrate(this); } };

A a1;

现在不管发生什么，静态A-type 对象的第一个构造函数将调用B::get()，它在第一个A-constructor 完成之前对静态impl 对象的构造进行排序。通过上述子句，这保证了B impl-object 的析构函数在所有A-destructors 之后排序。

Answer 2

B 实例是静态的，因此它会比在创建 B 单例后创建的任何 A 实例寿命更长。