Thực hiện lời hứa (có thể là void)

Question

Tôi đang viết một số mã đa luồng và sử dụng lời hứa/tương lai để gọi một hàm trên một chuỗi khác và trả về kết quả của nó. Để đơn giản, tôi sẽ xóa hoàn toàn phần luồng:

template <typename F> 
auto blockingCall(F f) -> decltype(f()) 
{ 
    std::promise<decltype(f())> promise; 

    // fulfill the promise 
    promise.set_value(f()); 

    // block until we have a result 
    return promise.get_future().get(); 
} 

Điều này phù hợp với mọi chức năng trả về không void. Và tuyên bố trở lại nhận được tương lai cũng hoạt động cho void. Nhưng tôi không thể thực hiện lời hứa nếu f là một chức năng void, bởi vì:

promise.set_value (f()); // lỗi: sử dụng không hợp lệ của khoảng trống biểu

Có một số cách thông minh của thiết lập các giá trị trong trường hợp void nội dòng, hay tôi phải chỉ cần viết một hàm helper như call_set_value(promise, f) rằng có quá tải cho std::promise<R> và std::promise<void>?

Answer 1

Một promise chỉ là một loại cung cấp kết quả không đồng bộ. Thay vì một promise bạn có thể sử dụng một packaged_task mà kết thúc tốt đẹp một đối tượng có thể được gọi, tương tự như một std::function ngoại trừ việc gọi nó làm cho các kết quả có sẵn thông qua một future (và dĩ nhiên là nó xử lý chênh lệch giữa void và phi khoảng trống kết quả):

template <typename F> 
auto blockingCall(F f) -> decltype(f()) 
{ 
    std::packaged_task<decltype(f())()> task(std::move(f)); 

    task(); 

    // block until we have a result 
    return task.get_future().get(); 
} 

NB theo tiêu chuẩn hiện tại, mã này sẽ có cuộc đua dữ liệu nếu task() và task.get_future() xảy ra trên các chuỗi riêng biệt (và do đó ban đầu của bạn sử dụng lời hứa), vì vậy bạn nên gọi get_future() trước khi giao nhiệm vụ cho chủ đề khác. Trong thực tế, nó nên được an toàn trên thực hiện thực tế và có một vấn đề thư viện (LWG 2412) để làm cho nó hợp lệ anyway.

Answer 2

Có. Chức năng quá tải là giải pháp sạch:

set(promise, f); 

sau đó thực hiện set như các chức năng quá tải, như:

template<typename F, typename R> 
void set(std::promise<R> & p, F && f) //handle non-void here 
{ 
    p.set_value(f()); 
} 

template<typename F> 
void set(std::promise<void> & p, F && f) //handle void here 
{ 
    f(); 
    p.set_value(); 
}