Tăng tương đương với tiêu chuẩn :: async()

Question

Không sử dụng trực tiếp boost::thread và boost::bind, có cách nào để thực hiện tương đương với mã sau không?

std::string func() 
{ 
    std::string str("Hello from async task!"); 
    return str; 
} 

int main() 
{ 
    auto ftr = std::async(&func); 
    std::cout << "Hello from main!"; 
    std::string str = ftr.get(); 
    std::cout << str << std::endl;  
    return 0; 
} 

Cụ thể, phần này: auto ftr = std::async(&func);?

Answer 1

Chắc chắn. Chỉ cần thực hiện async<T>(std::function<T()>) trả về một tương lai gọi func() thời điểm nó được chờ đợi lần đầu tiên. Bạn sẽ không nhận được bất kỳ asynchronicity, nhưng API không thực sự đảm bảo rằng các chức năng sẽ chạy không đồng bộ, do đó, đó không phải là một vấn đề.

Nếu bạn có quyền truy cập vào thư viện luồng dành riêng cho hệ điều hành, bạn cũng có thể sử dụng thư viện đó.

Lưu ý, tuy nhiên, lưu trữ ngoại lệ không thể triển khai được một cách hợp lý; nó đòi hỏi sự hỗ trợ bổ sung từ việc thực hiện C++, trừ khi bạn có thể hạn chế các ngoại lệ được hỗ trợ cho các trường hợp có chức năng sao chép đa hình. Xem this question để biết thêm thông tin.

Việc thực hiện cuối cùng có thể nhìn một chút như thế này (chưa được kiểm tra):

// NOTE - we assume a SINGLE THREADED environment 

template<typename T> 
class myfuture_detail { 
    mutable boost::variant<T, boost::function<T()> > val; 

public: 
    myfuture_detail(const boost::function<T()> &f) 
     : val(f) { } 

    const T &get() const { 
     if (T *t = boost::get<T>(&val)) { 
      return *t; 
     } else { 
      boost::function<T()> f = *boost::get<boost::function<T> >(&val); 
      val = f(); 

      T *t = boost::get<T>(&val); 
      assert(t); 

      return *t; 
     } 
    } 
}; 

template<typename T> 
class myfuture { 
    boost::shared_ptr<myfuture_detail<T> > ptr; 

public: 
    myfuture(const boost::function<T()> &f) 
     : ptr(boost::make_shared<myfuture_detail<T> >(f)) 
    {} 

    myfuture() { } 

    const T &get() const { 
     return ptr->get(); 
    } 
};