c++ - 是否存在与 `std::move`相反的强制转换(或标准函数)

Question

首先，这个问题不是Function dual to std::move?或Does the inverse of std::move exist?的重复。我不是在问一种机制，以防止在原本会发生的情况下发生移动，而是进行复制；而是我要问的是一种机制，该机制使将要绑定(bind)到可修改的左值引用的位置中的右值被接受。实际上，这与发明了std::move的情况恰好相反(即，在要绑定(bind)到(可修改的)右值引用的位置中接受了可修改的左值)。

在我感兴趣的情况下，将不会接受右值，因为上下文需要可修改的左值引用。由于某些原因，我不太了解，但我愿意接受，一个(可修改的)右值表达式将绑定(bind)到一个常量左值引用(不引入其他临时值)，但不会绑定(bind)到一个可修改的左值引用( gcc给我的错误消息是“从类型'A'的右值对类型'A＆'的非常量引用进行了无效的初始化”，而clang说“对类型'A'的非常量左值引用无法绑定(bind)到临时类型'A'“；奇怪的是，即使该表达式实际上是static_cast<A&&>(...)形式(本身不会引起错误)，我也无法让这两个编译器中的任何一个承认该表达式具有类型'A &&'。我可以理解，通常不需要在需要可修改的左值引用的位置接受右值表达式，因为这意味着通过该左值引用所做的任何修改都会丢失，但是就像调用std::move对编译器说的那样:知道这是一个左值，它将绑定(bind)到右值引用(参数)，因此可能会被盗，但是我知道我在做什么，在这里也可以。”是临时的，它将绑定(bind)到可修改的左值引用(参数)，因此通过左值引用进行的任何更改都不会被忽略，但是我知道我在做什么，在这里还可以。”

我可以通过从右值初始化一个类型为A的命名对象，然后在需要可修改的左值引用的地方提供名称来解决该问题。我认为这没有任何额外的运行时开销(无论如何，右值都需要一个临时的)，但是必须这样做在以下几种方面很尴尬:必须引入一个虚拟名称，也许必须引入一个复合语句。保留声明，将产生右值的表达式与为其提供参数的函数调用分开。提出我的问题，是否可以在不引入虚拟名称的情况下完成此操作:

1. Is there any way (for instance using a cast) to bind an rvalue expression of type A to a modifiable lvalue reference of type A& without introducing a named object of type A?
2. If there is not, is this a deliberate choice? (and if so, why?) If there is, is there a mechanism similar to std::move provided by the standard to facilitate it?

这是我需要进行这种转换的简化图示。我特意删除了A的特殊构造函数，以确保错误消息不涉及编译器决定引入的临时变量。将 A&替换为 const A&时，所有错误都会消失。

class A
{ int n;
public:
  A(int n) : n(n) {}
  A(const A&) = delete; // no copying
  A(const A&&) = delete; // no moving either
  int value() const { return n; }
};

int f(A& x) { return x.value(); }

void g()
{ A& aref0 = A(4); // error
  // exact same error with "= static_cast<A&&>(A(4))" instead of A(4)
  A& aref1 = static_cast<A&>(A(5)); // error
  // exact same error with "= static_cast<A&&>(A(5))" instead of A(5)
  f (A(6)); //error
  // exact same error with "= static_cast<A&&>(A(6))" instead of A(6)

  A a(7);
  f(a); // this works
  A& aref2 = a; // this works too, of course
}

对于那些想知道为什么我需要这个的人，这是一个用例。我有一个函数 f，该函数的参数用作输入参数，有时也用作输出参数，用“更特殊的”值替换提供的值(该值表示树结构，并且可能已填写了一些缺少的分支) ;因此，此值作为可修改的左值引用传递。我还拥有一些全局变量，这些变量保存有有时用于为该参数提供值的值。这些值是不可更改的，因为它们已经完全专门化了。尽管具有这种恒定的性质，但我过去通常不声明这些变量 const，因为那样会使它们不适合用作参数。但实际上，它们确实是全局常量和永久常量，因此我想重写我的代码以使其明确，并且还避免了在更改 f的实现时偶然出错的可能性(例如，它可能决定从引发异常时使用它的参数；当该参数表示一个无论如何都将被异常破坏的局部变量时，这将是可以的，但如果将其绑定(bind)到全局“常量”，则将是灾难性的)。因此，我决定在将这些全局常量之一传递给 f时进行复制。有一个函数 copy可以生成并返回这样的拷贝，我想调用它作为 f的参数；遗憾的是， copy(c)是一个右值，由于上述原因，这是无法做到的，尽管这种用法是绝对安全的，并且实际上比我以前的解决方案更安全。

Answer 1

最简单的解决方案是:

template<typename T>
T& force(T&& t){
   return t;
}