Có hợp lệ để xây dựng một `std :: ostream` từ một bộ đệm rỗng không?

Question

Hãy xem xét những điều sau:

std::ostream out(nullptr); 

Điều này có hợp pháp và được xác định rõ không?

---

Làm thế nào về nếu bây giờ tôi làm:

out << "hello world\n"; 

Đây có phải là hợp pháp và được xác định rõ? Nếu vậy, có lẽ đó là một không-op của các loại?

Answer 1

Có, pháp lý và được xác định rõ ràng để khởi tạo luồng đó. Bạn có thể hoán đổi nó một cách an toàn với một luồng khác hoặc cho nó một con trỏ mới (lần này là một bộ đệm mở rộng) sau đó. Các hoạt động đầu ra chính nó thực sự là một no-op.

Dưới đây là lý do:

1. Việc xây dựng không có điều kiện tiên quyết không null, và chỉ có hậu điều này:

   [C++11: 27.7.3.2/2]: hậu: rdbuf() == sb.

2. thú vị, nó làm cho một điểm rõ ràng rằng không có hoạt động được thực hiện trên sb trong constructor:

   [C++11: 27.7.3.2/4]: Ghi chú: Không thực hiện bất kỳ hoạt động trên rdbuf().

3. Nhưng cũng lưu ý:

   [C++11: 27.7.3.2/1]: Effects: Tạo thời đối tượng của lớp basic_ostream, gán giá trị ban đầu đối với lớp cơ sở bằng cách gọi basic_ios<charT,traits>::init(sb) (27.5.5.2).

4. Đó init(sb) cuộc gọi có tác dụng thiết badbit trên dòng khi sb là NULL:

   [C++11: 27.5.5.2/3]: postconditions: Các postconditions của chức năng này được thể hiện trong Bảng 128.

   [C++11: Table 128]:[..]rdstate(): goodbit nếu sb không phải là con trỏ rỗng, nếu không badbit. [..]

5. Kết quả hoạt động sẽ kết quả trong hành động tương đương với dereferencing một con trỏ null:

   [C++11: 27.7.3.1/2]: Hai nhóm chữ ký chức năng thành viên chia sẻ tài sản chung: các chức năng đầu ra định dạng (hoặc inserters) và các hàm đầu ra chưa được định dạng. Cả hai nhóm hàm đầu ra đều tạo ra (hoặc chèn) các ký tự đầu ra theo các hành động tương đương với việc gọi rdbuf()->sputc(int_type). Họ có thể sử dụng các thành viên công cộng khác của basic_ostream ngoại trừ việc họ sẽ không gọi bất kỳ thành viên ảo nào của rdbuf() ngoại trừ overflow(), xsputn() và sync().

   ngoại trừ nó không bao giờ được đến đây, bởi vì đối với basic_ostream::sentry xây dựng:

   [C++11: 27.7.3.4/3]: Nếu, sau khi chuẩn bị bất kỳ hoàn tất, os.good() là true, ok_ == true khác, ok_ == false.

   và, cho explicit operator basic_ostream::sentry::bool() const;:

   [C++11: 27.7.3.4/5]: Effects: Trả ok_.

   và:

   [C++11: 27.7.3.7/1]: Mỗi chức năng đầu ra chưa định dạng bắt đầu thực hiện bằng cách xây dựng một đối tượng của lớp sentry. Nếu đối tượng này trả về true, trong khi chuyển đổi thành giá trị loại bool, hàm sẽ cố gắng tạo ra kết quả được yêu cầu. [..]

   & hellip; ngụ ý là rằng không có hoạt động sản xuất diễn ra ở tất cả khi badbit đã được thiết lập.

This was also the case in C++03.