从 const 右值移动

Question

我遇到了一些代码，这些代码在 lambda 中传递的函数参数中使用了对 std::function 的 const 右值引用。令人困惑的是，它随后对这个传入的参数进行了std::move 调用。像这样的：

using CallbackFn = std::function<void()>;
using AnotherCbFn = std::function<void(int)>;

void bar(AnotherCbFn&& cb) {
    // doSomething();
}

void foo(CallbackFn const&& cb) {
    // Some code
    bar([ x = std::move(cb) /* <-- What's this? */](int value){
        x();
    });
}

void baz() {
    foo([](){
        // doSomethingMore();
    });
}

传入 const-value 引用然后在它们上调用 std::move 的目的是什么？所以我尝试了一个更简单的代码 sn-p 看看在这种情况下会发生什么

#include <utility>
#include <string>
#include <cstdio>
#include <type_traits>

struct Foo {
    Foo() = default;

    Foo(Foo&& o) {
        str = std::move(o.str); // calls the move assignment operator
        std::printf("Other [%s], This [%s]\n", o.str.data(), str.data());
    }

    Foo(Foo const&& o) {
        str = std::move(o.str); // calls the copy assignment operator
        std::printf("Other [%s], This [%s]\n", o.str.data(), str.data());
    }

    private:
    std::string str = "foo";
};

template <typename T>
void f(T&& x) {
    if constexpr(std::is_const_v<T>) {
        std::printf("Const rvalue\n");
        auto temp = std::move(x);
    } else {
        std::printf("non-const rvalue\n");
        auto temp = std::move(x);        
    }
}

Foo const getConstRvalue() {
    return Foo();
}

Foo getNonConstRvalue() {
    return Foo();
}

int main() {
    f(getConstRvalue());
    f(getNonConstRvalue());
}

产生了输出：

Const rvalue
Other [foo], This [foo]
non-const rvalue
Other [], This [foo]

在 godbolt(here) 上检查组件确认发生了什么。 Foo(const&&) 调用 std::string 的 copy-assignment 运算符：

调用 std::__cxx11::basic_string::operator=(std::__cxx11::basic_string const&)

而Foo(Foo&&) 调用std::string 的移动赋值 运算符：

调用 std::__cxx11::basic_string::operator=(std::__cxx11::basic_string&&)

我认为（请纠正我！）const-lvalue 函数参数也可以绑定到 const rvalue 参数（以及非 const rvalue， const 左值和非 const 左值），这就是为什么在 Foo(const&&) 的情况下会有一个副本，因为 std::string 的 const 右值不能绑定到移动赋值运算符中的非 const 右值。

那么，传递 const rvalue 引用然后在其上调用 std::move 的目的是什么，因为调用 std::move 通常意味着在此之后不应该使用该值，在这种情况下，实际上涉及到一个副本所需的移动语义？有什么微妙的语言机制在起作用吗？

Answer 1

std::move 什么都不移动，它只是将左值（对右值 cb 的引用）重新解释为您忘记显示的某些 bar 函数所期望的右值你的代码 sn-p。

我怀疑它看起来像：

void bar(CallbackFn const&& cb) {
  ...
}