Loại bỏ các chuyên biệt void cho std :: tương lai và std :: lời hứa

Question

Liên quan đến giấy mô tả loại bỏ các chuyên ngành void cho std :: tương lai và std :: lời hứa P0241R0. Đây có thể là một câu hỏi ngu ngốc nhưng giải pháp được đề xuất là xóa hoàn toàn chuyên môn về void, nhưng sau đó mọi người dự kiến ​​sẽ làm gì khi họ muốn khởi tạo đối tượng std::future<void>?

Answer 1

Như đã nêu trong tham chiếu, điều này có thể là if void were a regular type.

void get_value() { 
    void x; 
    return x; 
} 

Đây là cách nó hoạt động ở một số ngôn ngữ khác, vì vậy nó không phải không có tiền lệ. Trong các ngôn ngữ khác, nó được gọi là loại "đơn vị", bởi vì nó có chính xác một giá trị có thể. (Các ngôn ngữ khác cũng có loại "null", không có giá trị nào có thể, vì vậy nếu bạn cố gắng tạo ra một lỗi, nó có tên là "null" nhưng nó không liên quan đến con trỏ null.)

Answer 2

Mục đích của std :: tương lai là để biết khi một quá trình không có giá trị thực tế để trả lại đã kết thúc. Vì vậy, về cơ bản nó là một công cụ đồng bộ hóa.