c++ - 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__; .这会自动保证流可以使用。