¿Está garantizado que std :: cout esté inicializado?

Question

Lo que sé sobre C++ es que no se debe asumir el orden de las construcciones (y destrucciones) de las instancias globales.

Mientras estoy escribiendo código con una instancia global que utiliza std::cout en el constructor & destructor, recibí una pregunta.

std::cout es también una instancia global de iostream. ¿Está garantizado que el std::cout se inicialice antes que cualquier otra instancia global?

Escribí un código de prueba simple y funciona perfectamente, pero aún no sé por qué.

#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; 
} 

Imprime

test::ctor 
Hello world 
test::dtor 

¿Hay alguna posibilidad de que el código no se ejecuta como se esperaba?

Answer 1

La respuesta difiere según si usa C++ 03 o C++ 11.

En C++ 11, se garantiza que su código funciona, pero en C++ 03 no está especificado; su única garantía es que cuando se ingresa main(), las transmisiones estándar se han inicializado. (Dicho esto, todas las implementaciones de la corriente principal de ellos inicializan antes de ejecutar cualquier inicialización dinámica, por lo que bien para su uso.)

Puede forzar la inicialización mediante la construcción de un objeto std::ios_base::Init, así:

#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; 
} 

Ahora, cuando test construcciones, inicializa mInitializer y garantiza que las transmisiones estén listas para usar.

C++ 11 corrigió este comportamiento ligeramente molesto al actuar como si cada instancia de #include <iostream> fuera seguida por . Esto garantiza automáticamente que las transmisiones estén listas para usar.

Answer 2

Según §27.3/2:

Los objetos [std :: cin, std :: cout, etc.] están construidos, y los asociaciones se establecen en algún momento antes de o durante la primera vez que se construye el objeto , se construye un objeto de la clase ios_base :: Init, y en cualquier caso antes de que el cuerpo principal comience la ejecución.

Answer 3

Su pregunta es acerca del orden de construcción de los objetos estáticos. Creo que la especificación del lenguaje lo deja indefinido.

GCC tiene el atributo init_priority para jugar con la orden.

Y creo que no debería preocuparse tanto en la práctica.