将 std::forward_as_tuple() 结果传递给可能从该对象的右值引用成员移动的多个函数？

Question

编辑：我认为我所询问的最可能的用例是创建一个从 std::forward_as_tuple() 接收右值引用元组的函数。 strong>

想到这个问题的原因是因为我正在检查传递给构造函数初始值设定项的对象的成员，以查看它们是否是右值引用（我愿意接受建议，告诉我这是错误的错了错了...希望后面有根据经验，避免将来出现这种情况，但这就是引发问题的原因）。我想到，在稍微不同的上下文中，我可能最终会将具有右值引用成员的对象传递给我可能控制或可能不控制的多个函数（或函数对象），这些函数可能会从这些成员进行移动。

template<typename... Args>
void my_func(std::tuple<Args...>&& tup) {

    //if tup's members are rvalue references,
    //and this function moves guts from tup members, then...
    func_i_dont_control(tup); 

    //what happens here if moves are done on the same members?
    another_func_i_dont_control(std::move(tup));
}

我查看了 使用右值引用成员？，以及其他一些讨论右值引用成员，但我不太能够明确地解决这个问题。

我不只是问会发生什么，而是问这种情况是否应该/可能发生，以及在传递包含右值引用成员的对象时要记住哪些关键规则。

Answer 1

在此代码中，func_i_dont_control 无法静默窃取参数。只有右值绑定到右值引用，并且命名变量不是右值。您的代码要么无法编译，要么func_i_dont_control（具有重载）不使用移动语义。

为了让 func_i_dont_control 有机会窃取元组（将元组绑定到右值引用），必须使用 std::move(tup) 将其显式转换为右值>。

（采用左值引用的函数不应从它移开，否则我们真的无法判断会发生什么。）

---

编辑 但问题似乎不是关于元组本身，而是关于它的成员。同样，这些成员不会是右值，因此 func_i_dont_control 需要显式移动它们。我不认为它有这样做的“道德权利”*，除非它接收整个元组作为右值，而这在您的函数中不会发生。

* 对于移动语义，您必须遵循某些准则。基本上，您可以将任何内容转换为右值并从中移动，无论您处理的是左值还是右值引用都没关系。只要遵循这些准则，移动语义就能正常工作。如果您开始将事物转换为右值而忽略这些准则，则对象将在函数调用等之后开始消失。

Answer 2

元组和可变参数模板的使用似乎偏离了问题的重点，所以让我重新表述一下：

void func(std::unique_ptr<Foo>&& foo) {
  std::unique_ptr<Foo> bar1(std::move(foo));
  std::unique_ptr<Foo> bar2(std::move(foo));
}

这里发生了什么？嗯，bar2 始终包含一个空指针（bar1 也可能包含空指针，具体取决于 foo 的原始值）。

不存在未定义的行为，因为移动构造函数应该使对象处于可用状态^需要引用，正是出于安全原因。因此，您可以使用移出的对象，但是它的状态可能不会很有趣：它甚至不需要等于默认的构造状态，它可以只是一个过时的状态。