Действительно ли std :: async вызывается для функций, возвращающих пустоту?

Question

Я написал следующий код, чтобы проверить std::async() на функции, возвращающие void с GCC 4.8.2 на Ubuntu.

#include <future> 
#include <iostream> 

void functionTBC() 
{ 
    std::cerr << "Print here\n"; 
} 

int main(void) 
{ 
#ifdef USE_ASYNC 
    auto i = std::async(std::launch::async, functionTBC); 
#else 
    auto i = std::async(std::launch::deferred, functionTBC); 
#endif 
    //i.get(); 
    return 0; 
} 

Если i.get(); является раскомментировать, то сообщение "Print here" всегда существует; однако, если i.get(); закомментирован, "Print here" существует, если и только если USE_ASYNC определен (то есть, std::launch::async всегда приводит к распечатке сообщения, а std::launch::deferred никогда).

Это гарантированное поведение? Каков правильный способ обеспечения возврата асинхронного вызова void?

Answer 1

std::launch::deferred означает «не запускайте это до тех пор, пока я не .wait() или .get()».

Как вы никогда .get() или .wait() ed, он никогда не бежал.

void не имеет никакого отношения к этому.

Для std::launch::async, стандартные состояния, деструктор возвращаемого будущегокиевстар (~future) будет блокировать до тех пор, задача не будет завершена (т.е. имеет неявный .wait()). Это нарушает MSVC специально, потому что они не согласны с этим проектным решением, и они борются за изменение стандарта: на практике это означает, что вы не можете полагаться на какое-либо поведение вообще от std::launch::async, возвращенного future, если вы хотите в будущем ваш код.

Без неявного wait в ~future было бы неопределенным, если бы оно фактически вызывало функцию при выходе main. Это произошло бы или нет. Возможно, вы могли бы вызывать UB, имея все еще активные потоки в конце main.

Вы можете задаться вопросом, что именно используется deferred: вы можете использовать его для вычисления очереди для ленивой оценки.