C++中对const右值引用调用std::move的作用与行为疑问

核心机制解释 #

• std::move的作用仅做类型转换：无论输入是否带const修饰，它都会将输入转为对应的右值类型。如果输入是const T类型，std::move返回的就是const T&&类型。
• 移动语义要求修改原对象资源：常规移动构造/移动赋值运算符的入参是非const右值引用（T&&），目的是合法修改原对象的内部状态（比如将原对象的资源指针置空）。const T&&类型无法匹配到常规的移动构造/赋值重载，重载决议会 fallback 到拷贝构造/赋值（入参为const T&），这就是你测试中看到拷贝行为的原因。
• std::string的移动赋值运算符不支持const右值入参，所以你在Foo(const&&)中哪怕对o.str调用std::move，也只能触发拷贝赋值，原字符串的内容不会被转移，和你观察到的输出完全一致。

示例业务代码问题分析 #

这段代码里写CallbackFn const&&参数并且调用std::move的写法没有实际价值，属于代码错误，原因如下：

1. std::function没有实现const右值构造/赋值重载，对const std::function&&调用std::move只会触发拷贝构造，完全没有起到移动减少开销的作用。
2. 给右值引用加const本身就违背了右值引用的常规使用意图：右值引用要么用来实现移动语义，要么用来做完美转发，两种场景都不需要也不应该加const修饰。
3. 这段代码的原本意图应该是将传入的回调函数移动到lambda捕获中，避免std::function的拷贝开销，正确写法应该把foo的参数改为非const右值引用：

// 修改后正确写法
void foo(CallbackFn&& cb) {
    // Some code
    bar([ x = std::move(cb) ](int value){
        x();
    });
}

const右值引用的合法使用场景 #

const右值引用在C++标准中存在的唯一常见用途是禁止某些重载的调用，比如你不允许函数接收临时对象作为入参，可以显式删除const右值引用的重载：

void process(const MyType& val) { /* 处理左值 */ }
void process(const MyType&& val) = delete; // 禁止传入临时右值

除此之外，正常业务代码中几乎不会用到const T&&类型的参数，更不会对其调用std::move。

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