c++ - 当 std::move 从一个值的返回引用中移动时 auto 的安全性

Question

我需要一些保证，无论何时，分配或列表初始化一个 auto 类型的命名变量，用

• 一个 std::move() 返回的变量引用
• B 一个返回的变量引用

在表达式之后，原点超出范围，A safe/B unsafe。示例代码:

#include <iostream>
#include <string>
#include <deque>
#include <utility>

int main() {
    std::deque<std::string> container {"foo"};
    auto elementB = container.front(); //B I assume this is unsafe
    auto elementA = std::move(container.front());//A I assume this is safe
    container.pop_front();

    std::cout << "A: " << elementA << " B: " << elementB  << "\n";
}

据我所知，表达式 B 生成赋值的左值权，因此 elementB 的类型是左值引用，又名 std::string& 等等会不安全。

执行代码时“A: foo B:”的输出也表明了这一点。 ( https://ideone.com/wKKbdK ) 更新:对不起，我忘了我移动了它，所以我更改了顺序，现在输出是异常(exception)的，对不起。

然而，我不确定的更麻烦的事情是表达式 A:在 std::move 之后，我假设我得到了一个 xvalue，它既是右值又是左值，所以我不确定对于 elementA 的类型推导，标准化行为是什么？

因为从左值我几乎确定它的 UB，左值是 glvalues，xvalues 是它们的一部分，那么 elementA 的类型将是 std::string&& ，这不安全吗？ (除非 const&& AFAIK 异常(exception))

总结一下:elementA 的使用是安全的标准化行为吗？它的类型是什么？

Answer 1

Is the usage of elementA safe standardized behaviour?

是的。

... and what will be its type?

它的类型是std::string。 auto 类型推导类似于模板类型推导，包括删除引用的“引用性”。 std::move(container.front()) 返回一个 xvalue 的事实在这里并没有太大变化。它是一个“过期”值，您可以 (a) 移动构造一个新对象(就像您目前所做的那样)(b)将其绑定(bind)到 const 限定的引用或(c)绑定(bind)它到右值引用。在这里，(b) 和 (c) 都有效但没有多大意义，因为它们掩盖了没有任何东西被移动的事实(感谢 @M.M 在这里纠正我)。示例:

auto elementA = std::move(container.front());
// Error, can't bind to non-const reference:
// auto& doesntWork = std::move(container.front());
auto&& thisWorks = std::move(container.front());
const auto& thisWorksToo = std::move(container.front());

请注意，正如@M.M 在评论中指出的那样，一旦遇到 container.pop_front();，最后两个引用将悬空。

另请注意，将 elementB 推导为 std::string 并不能帮助您解除对移出对象的引用(由 返回) container.front())，你应该避免。