左值的移动语义答案

【问题标题】：Move semantics for lvalue左值的移动语义
【发布时间】：2017-06-01 12:38:07
【问题描述】：

我做了简单的测试来更好地理解移动语义。输出结果出乎我的意料。波纹管是我的测试功能：

template<class T>
void test(T&& v)
{
    v++;
}

void main()
{
    int v = 1;
    test(std::move(v));
    std::cout << "Output:" << v << std::endl;
}

我的期望是：输出：1 但真正的结果是：输出：2

我的想法如下 - 我使用 std::move(v)，结果我转换为“右值”并且测试函数将使用时间变量。因此结果应该是输出：1。我的结论有什么问题？

【问题讨论】：

【解决方案1】：

std::move 从不构造临时对象。它是对右值引用的转换。

这个引用绑定到main::v，然后test::v参数用它初始化，因此也绑定到main::v。

如果你想创建一个临时的，使用演员表：

test(int{v});

【讨论】：

【解决方案2】：

为了帮助您了解您的模板推导出的类型，您可以使用宏__PRETTY_FUNCTION__

template<class T>
void test(T&& v)
{
    std::cout<< __PRETTY_FUNCTION__ << std::endl;
    v++;
}

这家伙还解释了很多关于模板推导的事情（你的案例在 35'）

【讨论】：