ASync держит на копии аргументов после завершения задачи асинхронной

Question

Рассмотрим сферу

{ 
    std::shared_ptr<T> data = new T(); 
    std::future f = std::async(std::launch::async, operation, data); 
    keep_for_later(std::move(f)); 
} 

где keep_for_later() хранит будущее в обувную коробку на некоторое время, в то время как operation() завершает довольно быстро.

Я вижу, что объект типа T не разрушается при возвращении operation() «s, а продолжает жить сколь угодно долго, до тех пор, как future возвращенных async() вызовом не разрушаются.

Очевидно, что async() должен скопировать его параметры и сохранить эти копии в активном состоянии до тех пор, пока функция асинхронного вызова не вернется. Но мне кажется субоптимальным, что эти копии не уничтожаются, как только функция выполняется, так как временные аргументы будут уничтожены при обычном вызове синхронной функции (если я только что вызвал operation(std::shared_ptr<T>(data)) вместо async(), временный объект будет создан только на время жизни вызова). Я просто занимаюсь неряшливой реализацией?

Есть ли переносной способ C++ 11 для предотвращения связи срока службы временных копий с возвращенным будущим?

Если (как я подозреваю) нет, существует ли альтернатива std::async()-подобная реализация, которая позволяет это (например, Boost), что я могу использовать портативно с Microsoft cl и gcc?

Answer 1

«данные» по-прежнему живы в пределах вашей видимости функции .... Таким образом, в то время как асинхронный работают, там по крайней мере 2-й экземпляры .... Если вы хотите, чтобы предотвратить это, движение «данные» в асинхронный

{ 
    std::shared_ptr<T> data = new T(); 
    std::future f = std::async(std::launch::async, operation, std::move(data)); 
    keep_for_later(std::move(f));