对已通过移动捕获的Lambda中的变量重复移动是否合法？

先来看你提供的代码和运行结果：

#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

核心结论：这个假设不成立——移动后的对象语法上允许被再次移动，但你完全不能依赖它的行为是可预测的。 #

详细分析： #

1. 移动语义的本质：当你对一个std::string执行std::move并完成移动构造/赋值后，原对象会处于有效但未定义的状态。C++标准只要求这个对象可以被安全销毁，或者被重新赋值/再次移动，但绝不保证它还保留原来的内容。

2. 你看到的是实现细节巧合：三次都输出原值，是因为大多数std::string实现都用了小字符串优化（SBO）——当字符串长度小于某个阈值时，内容会直接存在栈上的对象内部，而非堆内存。这种情况下，移动构造其实只是复制了栈上的内容，原对象的内容并没有被清空。但这是编译器/标准库的实现细节，不是C++标准规定的通用行为。如果换成更长的、需要堆内存的字符串，第一次移动后，后续的移动很可能会输出空字符串，甚至出现其他不可预测的结果。

3. lambda里的状态变化：你的lambda通过[testValue = std::move(testValue)]捕获了一个移动后的字符串，第一次调用lambda时，std::move(testValue)把这个捕获的字符串移动到printValue的参数里，此时lambda内部的testValue已经变成了有效但未定义的状态。后续两次调用lambda再移动这个变量，完全属于未定义行为——结果全看标准库的实现，不能作为通用结论。

总结： #

永远不要假设移动后的对象还保留原来的值，也不要依赖重复移动后的结果。移动语义的设计目的是转移资源所有权，而不是复制内容，一旦完成移动，原对象的状态就不再可控了。

内容的提问来源于stack exchange，提问作者dempzorz