Là std :: cout đảm bảo được khởi tạo?

Question

Những gì tôi biết về C++ là thứ tự của các công trình (và hủy) của các cá thể toàn cầu không nên được giả định.

Trong khi tôi đang viết mã với một cá thể chung sử dụng std::cout trong hàm tạo & destructor, tôi có một câu hỏi.

std::cout cũng là phiên bản toàn cục của iostream. Có phải std::cout được đảm bảo được khởi chạy trước bất kỳ phiên bản toàn cầu nào khác không?

Tôi đã viết một mã kiểm tra đơn giản và nó hoạt động hoàn hảo, nhưng tôi vẫn không biết tại sao.

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

It in

test::ctor 
Hello world 
test::dtor 

Có bất kỳ khả năng rằng mã không chạy như mong đợi?

Answer 1

Câu trả lời khác nhau tùy thuộc vào việc bạn đang sử dụng C++ 03 hoặc C++ 11.

Trong C++ 11, mã của bạn được đảm bảo hoạt động, nhưng trong C++ 03 nó không được chỉ định; đảm bảo duy nhất của bạn là vào thời điểm main() được nhập, luồng tiêu chuẩn đã được khởi tạo. (Điều đó nói rằng, tất cả hiện thực chủ đạo khởi tạo chúng trước khi chạy bất kỳ khởi động, làm cho chúng tốt để sử dụng.)

Bạn có thể buộc khởi bằng cách xây dựng một đối tượng std::ios_base::Init, như vậy:

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

Bây giờ khi test các cấu trúc, nó khởi tạo mInitializer và đảm bảo các luồng đã sẵn sàng để sử dụng.

C++ 11 cố định hành vi hơi khó chịu này bằng cách hành động như thể mọi trường hợp của #include <iostream> được theo sau bởi static std::ios_base::Init __unspecified_name__;. Điều này tự động đảm bảo các luồng đã sẵn sàng để sử dụng.

Answer 2

Theo §27.3/2:

Đối tượng [std :: cin, std :: cout, vv] được xây dựng, và các hiệp hội được thành lập tại một số thời gian trước hoặc trong thời gian đầu tiên thời gian một đối tượng của lớp ios_base :: Init được xây dựng, và trong mọi trường hợp trước khi cơ quan bắt đầu thực hiện chính.

Answer 3

Câu hỏi của bạn là về thứ tự xây dựng các đối tượng tĩnh. Tôi tin rằng các đặc điểm kỹ thuật ngôn ngữ lá nó không xác định.

GCC có thuộc tính init_priority để phát theo thứ tự.

Và tôi tin rằng bạn không nên lo lắng nhiều trong thực tế.