c++ - 为什么C++在默认情况下不移动构造右值引用？

Question

This question already has answers here:

Rvalue Reference is Treated as an Lvalue?

(4个答案)



Lvalue reference constructor is called instead of rvalue reference constructor

(1个答案)


3年前关闭。




说我有以下功能

void doWork(Widget && param)  // param is an LVALUE of RRef type
{
    Widget store = std::move(param); 
}

为什么我需要使用 param将 std::move()强制转换回右值？因为 param的类型在函数签名中被声明为右值引用，所以它不是很明显吗？是否不应该仅根据此原则在此处自动调用move构造函数？

为什么默认情况下不会发生这种情况？

最佳答案

与您的设计:

void doWork(Widget && param)
{
    Widget store1 = param;     // automatically move param
    Widget store2 = param;     // boom

    Widget store_last = param; // boom    
}

使用当前设计:

void doWork(Widget && param)
{
    Widget store1 = param;                // ok, copy
    Widget store2 = param;                // ok, copy

    Widget store_last = std::move(param); // ok, param is moved at its last use
}

因此，这里的道义是，即使您有右值引用，您也要为其命名，这意味着您可以多次使用它。因此，您不能自动移动它，因为以后可能需要它。

现在，假设您要重新设计语言，以便最后一次使用自动被视为右值。
在上面的示例中可以很容易地做到这一点:

void doWork(Widget && param)
{
    Widget store1 = param;     // `param` treated as lvalue here, copy
    Widget store2 = param;     // `param` treated as lvalue here, copy

    Widget store_last = param; // `param` treated as rvalue here, move    
}

让我们忽略对待 param的不一致之处(这本身就是一个问题)。
现在想想 param的用途是最后一个用途:

void doWork(Widget && param)
{  
    Widget store2 = param;        // this can be last use or not

    while (some_condition())
    {
         Widget store1 = param;   // this can be both last use and not
    }
}

语言根本无法以这种方式设计。

关于c++ - 为什么C++在默认情况下不移动构造右值引用？ ，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/63729602/

上一篇：c++ - 在 native c++ 应用程序中注册 Windows 运行时组件 (c++winrt)

下一篇：python - 如何使用tcpdump和c++重新创建文件？

Answer 1

与您的设计:

void doWork(Widget && param)
{
    Widget store1 = param;     // automatically move param
    Widget store2 = param;     // boom

    Widget store_last = param; // boom    
}

使用当前设计:

void doWork(Widget && param)
{
    Widget store1 = param;                // ok, copy
    Widget store2 = param;                // ok, copy

    Widget store_last = std::move(param); // ok, param is moved at its last use
}

因此，这里的道义是，即使您有右值引用，您也要为其命名，这意味着您可以多次使用它。因此，您不能自动移动它，因为以后可能需要它。

现在，假设您要重新设计语言，以便最后一次使用自动被视为右值。
在上面的示例中可以很容易地做到这一点:

void doWork(Widget && param)
{
    Widget store1 = param;     // `param` treated as lvalue here, copy
    Widget store2 = param;     // `param` treated as lvalue here, copy

    Widget store_last = param; // `param` treated as rvalue here, move    
}

让我们忽略对待 param的不一致之处(这本身就是一个问题)。
现在想想 param的用途是最后一个用途:

void doWork(Widget && param)
{  
    Widget store2 = param;        // this can be last use or not

    while (some_condition())
    {
         Widget store1 = param;   // this can be both last use and not
    }
}

语言根本无法以这种方式设计。