反复从 lambda 中移动一个已被移动捕获的变量

Question

我有以下测试代码：

#include <iostream>
#include <string>

void printValue(std::string&& val)
{
    std::cout << "Got value: " << val << "\n";
}

int main() {

    std::string testValue = "Test Value";

    auto lambda = [testValue = std::move(testValue)]() mutable
    {
        printValue(std::move(testValue));
    };

    lambda();
    lambda();
    lambda();
}

我得到了结果：

Got value: Test Value
Got value: Test Value
Got value: Test Value

这是一个有效的假设，即从 lambda 中移动已捕获的对象将始终具有将其移动到 lambda 中的初始状态，或者这只是对象处于“有效但未指定”的伪影状态”？

Answer 1

std::move 不执行移动操作；它只是将参数转换为右值。对于您的代码，printValue 通过右值引用获取参数，因此参数 testValue 将通过引用传递。但不对其执行移动操作，则testValue 不会被更改。

如果你把val改成传值，那么testValue这个参数会被移动到val中，或者你也可以像这样显式添加移动操作

void printValue(std::string&& val)
{
    std::cout << "Got value: " << val << "\n";
    std::string x = std::move(val);            // perform move operation on val
}

两者都会导致移动操作执行 3 次，然后你会得到不同的结果，例如与clang,

Got value: Test Value
Got value: 
Got value: 

PS：正如你所说，从移动构造后的对象将处于有效但未指定的状态。尽管大多数实现都这样做，但标准不保证上述行为。