Question

Schwartz counter旨在确保在使用全局对象之前对其进行初始化。

请考虑使用下面显示的Schwartz计数器。

File Foo.h：

class Foo
{
   Foo::Foo();
};

File Foo.cpp：

#include "Foo.h"

// Assume including Mystream.h provides access to myStream and that
// it causes creation of a file-static object that initializes
// myStream (aka a Schwartz counter).
#include "MyStream.h"

Foo::Foo()
{
   myStream << "Hello world\n";
}

如果在main（）启动后运行Foo :: Foo（），则保证使用myStream是安全的（即myStream在使用前已经初始化），因为注释中提到了文件静态初始化对象。 / p>

但是，假设在main（）启动之前创建了Foo实例，如果它是全局的则会发生。这显示在这里：

File Global.cpp：

#include "Foo.h"

Foo foo;

请注意，Global.cpp不会像Foo.cpp那样获得文件静态初始化对象。在这种情况下，Schwartz计数器如何确保在foo之前初始化MyStream初始化程序（以及MyStream对象本身）？或者Schwartz计数器在这种情况下会失败吗？

Answer 1

使用"Schwartz counters"（所谓的Jerry Schwartz之后，他设计了IOStreams库的基础知识，因为它现在已经成为标准;请注意，他不能因许多奇怪的选择而受到指责，因为这些被标记了在原始设计上）可以导致在构造对象之前访问它们。最明显的情况是在构造全局对象期间调用一个函数，该对象使用通过Schwartz计数器构建的自己的全局调用另一个翻译单元（我使用std::cout作为全局由Schwartz计数器守护保持示例简短）：

// file a.h
void a();

// file a.cpp
#include <iostream>
void a() { std::cout << "a()\n"; }

// file b.cpp
#include <a.h>
struct b { b() { a(); } } bobject;

如果文件b.cpp中的全局对象在文件a.cpp中的全局对象之前构建，并且std::cout是通过Schwartz计数器构造的，a.cpp是第一个实例，这段代码会失败。至少有两个原因导致Schwartz计数器不能正常工作：

为此使用全局对象时，此对象最终会被构造两次。虽然这在正确的情况下在实践中起作用，但我认为这很难看。解决此问题的方法是使用适当大小的char缓冲区来实际定义对象（这些缓冲区通常会被伪装成名称作为正确类型的对象）。但是，在这两种情况下，事情都很混乱。
当Schwartz计数器保护的全局对象用于许多翻译单元时（如std::cout的情况），这可能会导致显着的启动延迟：编写良好的代码通常不会使用任何全局初始化但Schwartz计数器需要为每个需要加载的目标文件运行一段代码。

就我个人而言，我得出的结论是，这种技术是一种漂亮的想法，但它在实践中并不起作用。我使用了三种方法：

不要使用全局对象。这使得整个讨论过时并且在并发代码中工作得最好。在绝对需要全局资源的地方，通过引用返回并使用std::call_once()初始化的函数静态对象是一个更好的选择。
在链接可执行文件（例如last）时将全局对象放置在适当的位置会导致首先初始化它。我过去曾经尝试过这个，然后我发现我可以在所有我关心的系统上正确放置目标文件。这里的主要缺点是没有保证，并且在编译器版本之间切换时可能会发生变化。但是对于C ++标准库，这是可以接受的（当我这样做时，我只关心全局流对象）。
将全局对象放入专用共享库中：加载共享库时，将执行其初始化代码。只有在初始化完成后，共享库中的对象才可用。我发现这种方法可靠但需要额外的库。

通过Schwartz Counter进行C ++静态初始化

1 个答案: