Question

我正在阅读Nicolai M. Josuttis的2nd edition of "The C++ Standard Library" covering C++11，其中第18章：并发，第969页和第970页提供了一个示例程序：

// concurrency/promise1.cpp
#include <thread>
#include <future>
#include <iostream>
#include <string>
#include <exception>
#include <stdexcept>
#include <functional>
#include <utility>
void doSomething (std::promise<std::string>& p)
{
    try {
        // read character and throw exceptiopn if ’x’
        std::cout << "read char (’x’ for exception): ";
        char c = std::cin.get();
        if (c == ’x’) {
            throw std::runtime_error(std::string("char ")+c+" read");
        }
        ...
        std::string s = std::string("char ") + c + " processed";
        p.set_value(std::move(s)); // store result
    }
    catch (...) {
        p.set_exception(std::current_exception()); // store exception
    }
}

int main()
{
    try {
        // start thread using a promise to store the outcome
        std::promise<std::string> p;
        std::thread t(doSomething,std::ref(p));
        t.detach();
        ...
        // create a future to process the outcome
        std::future<std::string> f(p.get_future());
        // process the outcome
        std::cout << "result: " << f.get() << std::endl;
    }
    catch (const std::exception& e) {
        std::cerr << "EXCEPTION: " << e.what() << std::endl;
    }
    catch (...) {
        std::cerr << "EXCEPTION " << std::endl;
    }
}

此处string s是一个局部变量，但已移至返回。

但是，随着程序逐级退出calltree，堆栈内存将被释放。当调用堆栈展开时，这会成为一个问题吗？

注意：此问题与c++11 Return value optimization or move?不同：此问题与move有潜在危险，而另一个问题是关于是否主动禁止复制省略或让编译器决定。

Answer 1

Unless otherwise specified, all standard library objects that have been moved from are placed in a valid but unspecified state.有效意味着可以安全地销毁它（例如在堆栈展开时）。在您的示例中，s未返回但存储在promise中，但如果以正常方式返回return s;，编译器可能会隐式调用return move(s);。

Answer 2

这不是问题。

移动语义会移动变量的内部值，而不是变量本身。所以你仍然有一个单独的目标字符串到源字符串。

整个练习表面上看起来像副本，但之后源对象已将其值更改为未知数量。

它仍然是一个有效的对象（未知值），并在堆栈展开时被正确销毁。

可以通过移动返回局部变量吗？

2 个答案: