是否可以确保std :: cout初始化？

Question

我对C ++的了解是，不应假定全局实例的构造（和销毁）顺序。

当我使用在构造函数和析构函数中使用std::cout的全局实例编写代码时，我遇到了一个问题。

std::cout也是iostream的全局实例。 是否可以确保在其他全局实例之前初始化std::cout ？

我编写了一个简单的测试代码，它可以完美运行，但是我仍然不知道为什么。

#include <iostream>

struct test
{
    test() { std::cout << "test::ctor" << std::endl; }
    ~test() { std::cout << "test::dtor" << std::endl; }
};

test t;

int main()
{
    std::cout << "Hello world" << std::endl;
    return 0;
}

它打印

test::ctor
Hello world
test::dtor

代码是否有可能无法按预期运行？

Answer 1

根据您使用的是C ++ 03还是C ++ 11，答案会有所不同。

在C ++ 11中，保证您的代码可以工作，但是在C ++ 03中，未指定代码； 您唯一的保证是，在输入main() ，已经初始化了标准流。 （也就是说，所有主流实现在运行任何动态初始化之前都会对其进行初始化，以使其易于使用。）

您可以通过构造std::ios_base::Init对象来强制初始化，如下所示：

#include <iostream>

struct test
{
    test() { std::cout << "test::ctor" << std::endl; }
    ~test() { std::cout << "test::dtor" << std::endl; }

private:
    std::ios_base::Init mInitializer;
};

test t;

int main()
{
    std::cout << "Hello world" << std::endl;
    return 0;
}

现在，当test构造时，它将初始化mInitializer并确保流准备就绪。

C ++ 11通过充当#include <iostream>每个实例后跟static std::ios_base::Init __unspecified_name__;解决此烦人的行为static std::ios_base::Init __unspecified_name__; 。 这将自动保证可以使用流。

Answer 2

根据§27.3/ 2 ：

构造对象[std :: cin，std :: cout等]，并在构造ios_base :: Init类的对象之前或第一次期间的某个时间以及在任何情况下，在建立之前建立关联。主要主体开始执行。

Answer 3

您的问题与静态对象的构造顺序有关。 我相信语言规范会使其保持未定义状态。

GCC具有init_priority属性以处理订单。

我相信您在实践中不必担心那么多。