从const右值移动

Question

我遇到了一些代码，在一个以lambda传递的函数参数中使用const右值引用std::function。令人困惑的部分是，它随后对传递的参数有一个std::移动调用。类似于这样：

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();
    });
}

传入常量值引用，然后对其调用std：：move的目的是什么？因此，我尝试了一个更简单的代码片段，以了解在这种情况下会发生什么

#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（此处）检查组件，确认发生了什么。Foo（const

调用标准：：\u cxx11：：basic\u字符串

虽然Foo（Foo

调用标准：：\u cxx11：：basic\u字符串

我想（请纠正我！）常量左值函数参数也可以绑定到常量右值参数（以及非常量右值、常量左值和非常量左值），这就是为什么在Foo（const

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




Answer 1

std::移动什么也不移动，它只是将左值（引用右值cb）重新解释为右值，这是您忘记在代码片段中显示的某个柱函数所期望的。

我怀疑它看起来像：

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