将rvalue引用参数转换为rvalue引用？

Question

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

我在gcc实现源代码中遇到了以下有用的嵌套包装器

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就是一个lvalue --它是一个局部变量。为了强制使用_Except内部的move构造函数，他们使用_Except(static_cast<_Except&&>(__ex))强制__ex成为rvalue (可能实际上是xvalue)。

Answer 2

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

如果要将__ex传递给任何进一步的函数/构造函数，则需要恢复它的rvalue-ness。通常这样做的方法是调用std::move(__ex)，这将将&&重新应用于__ex类型。这实际上和上面看到的static_cast完全一样。