C ++ 11移动到本地常量引用：范围[重复]

Question

对于常规的本地 const 引用变量，范围是 prolonged。这就是以下代码按预期工作的原因：

#include <iostream>
#include <memory>

struct foo
{
        foo()
        {
                std::cout << "foo() @" << (void*)this << std::endl;
        }
        ~foo()
        {
                std::cout << "~foo() @" << (void*)this << std::endl;
        }
};

int main()
{
        auto const& f = std::make_shared<foo>();
        std::cout << "f = " << f.get() << std::endl;
        return 0;
}

// prints:
// foo() @0x55f249c58e80
// f = 0x55f249c58e80
// ~foo() @0x55f249c58e80

使用std::move() 分配移动的对象时，这似乎无法按预期工作：

#include <iostream>
#include <memory>
#include <list>

struct foo
{
        foo()
        {
                std::cout << "foo() @" << (void*)this << std::endl;
        }
        ~foo()
        {
                std::cout << "~foo() @" << (void*)this << std::endl;
        }
};

int main()
{
        std::list<std::shared_ptr<foo>> l;
        l.push_back(std::make_shared<foo>());
        auto const& f = std::move(l.front());
        l.clear();
        std::cout << "f = " << f.get() << std::endl;
        return 0;
}

// prints
// foo() @0x564edb58fe80
// ~foo() @0x564edb58fe80
// f = 0x564edb58fe80

std::move() 确实改变了范围，还是我在处理编译器错误？

将变量从 auto const& f 更改为 auto f 可以解决问题。如果我将移动包装到另一个函数中，它也可以工作：

auto const& f = [&]() { return std::move(l.front()); }();

这几乎就像std::move() 不共享与函数调用相同的语义，而是好像它只是一个常规的变量赋值：

auto const& f = std::move(l.front());

Answer 1

让我们抛开std::move()，创建这个函数：

struct sometype {};

const sometype &foobar( const sometype &cref ) { return cref; }

现在我们使用它：

const sometype &ref = foobar( sometype() );

您认为，在这种情况下，临时工的寿命会延长吗？不，它不会。只有当您直接分配给参考时，生命周期才会延长。当它通过一个函数或通过static_cast 或std::move 时，延长就消失了。所以你和std::move()有完全相同的问题

struct sometype {
    sometype() { std::cout << "ctype()" << std::endl; }
    ~sometype() { std::cout << "~ctype()" << std::endl; }
};

const sometype &foobar( const sometype &cref ) { return cref; }

int main()
{
    const sometype &cref1 = foobar( sometype() );
    sometype &&cref2 = std::move( sometype() );
    std::cout << "main continues" << std::endl;
}

输出：

ctype()
~ctype()
ctype()
~ctype()
main continues     

live example

注意：你不应该在 return 语句中使用std::move()，它不会给你任何东西。

为您的代码更改。你应该记住std::move() 不会移动任何东西。它由特殊的赋值运算符或构造函数完成（如果它们提供了一个类型）。所以当你写这段代码时：

const type &ref = std::move( something );

不涉及构造函数或赋值运算符，因此不会发生移动。要进行实际移动，您必须将其分配给一个变量：

type val = std::move( something );

如果可能，现在将进行移动或复制。