了解循环中 std：：async 中引用的范围和生存期

问：

我的问题围绕着 listDirs 函数中的 for 循环，我在其中启动异步任务。我通过引用传递路径，然后在单独的线程中调用 listDir 函数。std::async

我知道一旦 for 循环移动到下一次迭代，路径变量（即对路径向量中实例的常量引用）就会超出范围。但是，listDir 函数的参数是应绑定到 path 的引用。std::filesystem::path

我的理解是，即使 path 在 listDirs 函数中超出了范围，但路径向量中的实际实例会在 listDirs 函数的整个持续时间内持续存在，正如我们经过的那样。但我不确定这种理解是否正确。std::filesystem::pathstd::ref

有人可以澄清一下这是如何工作的吗？具体说来：

std：：ref 是否确保 listDir 获得有效的引用，即使路径超出 listDirs 函数的范围？ 在这种情况下，是否存在悬空引用的风险？std::async

#include <filesystem>
using Iterator = std::filesystem::directory_iterator;
// The caller of this function is the thread runtime
std::vector<std::string> listDir(const std::filesystem::path& directory)
{
    
    
    std::vector<std::string> files;
    for (Iterator it(directory); it != Iterator(); ++it)
    {
        
        if (it->is_regular_file())
        {
            files.emplace_back(it->path().filename().string());
            
        }
        
    }
    // When we return this vector as the final action in the function, Return Value Optimization(RVO) takes place to
    // eliminate any extra copying of the vector
    return files;

}

std::vector<std::string> listDirs(const std::vector<std::filesystem::path>& paths)
{
    using Iterator = std::filesystem::directory_iterator;
    std::vector<std::future<std::vector<std::string>>> futures; // listDir returns std::vector<std::string> type
    // iterate over all the directory paths
    for (const std::filesystem::path& path : paths)
    {
    // start each thread using std::async
        futures.emplace_back(std::async(listDir, std::ref(path)));
    }
    std::vector<std::string> allFiles;
    for (std::future<std::vector<std::string>>& fut : futures)
    {

        std::vector<std::string> files = fut.get(); // RVO
        std::move(files.begin(), files.end(), std::back_inserter(allFiles));

    }
    // When we return this vector as the final action in the function, Return Value Optimization(RVO) takes place to
    // eliminate any extra copying of the vector
    return allFiles;
}
int main()
{
    std::filesystem::path currentPath("G:\\lesson4");
    std::vector<std::filesystem::path> paths;

    for (Iterator it(currentPath); it!= Iterator(); ++it)
    {
        if (it->is_directory())
        {
            std::cout << it->path() << '\n';
            paths.emplace_back(it->path());
        }
        
    }

    for (const auto& fileName : listDirs(paths))
    {
        std::cout << fileName << std::endl;
    }

}