What is the difference in the following:
std::async(my_function);
and
std::async(std::launch::async, my_function);
What is the difference in using the pilicy std::launch::async in this case?? Does the first option not launch the function asynchronously anyway??