Czy to gwarantuje standard C++, że cin, cout itp. Zostaną stworzone jako pierwsze i zniszczone jako ostatnie?

Question

cin, cout, podstawowe strumienie powiązane - czy jest zagwarantowane w dowolnym miejscu standardu, że te obiekty zostaną utworzone jako pierwsze i zniszczone jako ostatnie?

Sugerowałoby to, że nielokalne obiekty statyczne mogą polegać na nich w swoich konstruktorach i destruktorach (bez wyścigu ctor pomiędzy tymi obiektami a podstawowymi strumieniami).

Answer 1

Gwarantuje się, że zostaną utworzone przed zadeklarowanym statycznym obiektem, w tym <iostream>, aw każdym razie przed rozpoczęciem main. Nie są niszczone podczas wykonywania programu.

Włączenie nagłówka powoduje zadeklarowanie zmiennej statycznej typu ios_base::Init, której utworzenie zapewnia zainicjowanie standardowych strumieni.

Jeśli chcesz Standardese dla tego:

C++ 11 27.4.1 [iostream.objects.overview]/2: obiekty są zbudowane i stowarzyszenia są ustalone w pewnym momencie przed lub po raz pierwszy skonstruowany jest obiekt klasy ios_base::Init, a w każdym razie zanim ciało główne rozpocznie wykonywanie. Obiekty nie są niszczone podczas wykonywania programu. Wyniki włączenia <iostream> w jednostce tłumaczeniowej powinny być takie, jak gdyby <iostream> zdefiniował wystąpienie ios_base::Init z czasem przechowywania statycznego. Podobnie, cały program powinien zachowywać się tak, jakby istniało co najmniej jedno wystąpienie o wartości ios_base::Init z czasem przechowywania statycznego.

Answer 2

Prosta odpowiedź na twoje pytanie brzmi: nie. Jak inni wskazali, gwarancje dla obiektów zdefiniowanych w jednostkach translacjizapewniają obiekty zdefiniowane w jednostkach translacyjnych , w tym <iostream>, co najmniej, jeśli obiekt jest zdefiniowany po włączeniu do obiektu. Ale to nie zawsze pomaga: dodajesz <iostream> w jednostce tłumaczeniowej, która definiuje konstruktora, niekoniecznie w tym, który definiuje zmienną statyczną. Możliwe są przypadki, tak jak na poniższym :

file1.hh

class X 
{ 
public: 
    X(); 
}; 

file1.cc

#include "file1.hh" 
#include <iostream> 

X::X() 
{ 
    std::cout << "Coucou, me voila!" << std::endl; 
} 

file2.cc

#include "file1.hh" 

X anX; 

W tym przypadku, jest to całkiem możliwe, że konstruktor anX zostanie wywołany przed std::cout jest zbudowany.

Aby być na bezpiecznej stronie: jeśli konstruktor obiektu, który może być używany jako zmienna statyczna chce wykorzystać dowolny ze standardowych strumieni, to prawdopodobnie powinien zadeklarować lokalne statyczne typu ios_base::Init:

X::X() 
{ 
    static ios_base::Init dummyForInitialization; 
    std::cout << "Coucou, me voila!" << std::endl; 
} 

Jeśli std::cout nie został jeszcze skonstruowany, gdy wywoływany jest ten konstruktor , będzie to oznaczać, gdy zostanie zbudowana zmienna statyczna.