将右值引用参数转换为右值引用？

Question

我目前正在尝试在我的代码中实现一个非常小的嵌套异常机制，因为std::nested_exception不适用于我必须编译代码的所有编译器。

我在gcc implementation source code：

中遇到了以下有用的嵌套包装器

template<typename _Except>
struct _Nested_exception : public _Except, public nested_exception
{
    explicit _Nested_exception(_Except&& __ex)
    : _Except(static_cast<_Except&&>(__ex))
    { }
};

允许将已抛出的异常与nested_exception中的throw_with_nested类组合在一起，以便可以dynamic_cast来测试我们捕获的异常是否实际上是嵌套异常或者不在以后。

我不明白的是static_cast。我想我错过了关于移动语义的东西，它真的需要吗？

Answer 1

虽然__ex是_Except&&，但是一旦输入此范围，__ex就是左值 - 它是一个局部变量。要强制在_Except内部使用移动构造函数，他们会_Except(static_cast<_Except&&>(__ex))强制__ex成为右值（它实际上可能是一个xvalue）。

Answer 2

移动语义意味着我们知道这个构造函数是使用一个临时（或要移动的对象）参数调用的。我们在__ex的{​​{1}}类型中看到了这一点。但是，如果我们在这个构造函数中使用_Except&&，它将被视为左值 - 它显然有一个名称，我们可以使用它的地址。

如果您想将__ex传递给任何其他函数/构造函数，则需要恢复它的rvalue-ness。通常的方法是调用__ex，std::move(__ex)会将&&重新应用于__ex类型。这实际上与您在上面看到的static_cast相同。