来自右值的非const类型引用

Question

请考虑以下代码:

class Widget{};

template<typename T>
T &&foo2(T &&t){
    return std::forward<T>( t );
}

/// Return 1st element
template<typename T>
typename std::tuple_element<0, typename std::decay<T>::type >::type  &&foo(T &&t){
    return std::forward< typename std::tuple_element<0, typename std::decay<T>::type >::type >
            ( std::get<0>(t) );
}

Widget w;
auto list = std::make_tuple(
    w,
    Widget()
);


int main()
{
  auto &l  = foo(list );                      // This is NOT work
  //auto &l2 = foo2( std::get<0>(list) );     // This one works.
}

http://coliru.stacked-crooked.com/a/4d3b74ca6f043e45

当我尝试编译时,我收到以下错误:

error: invalid initialization of non-const reference of type 'Widget&' from an rvalue of type 'std::tuple_element<0ul, std::tuple<Widget, Widget> >::type {aka Widget}'

好吧,那没关系,但是:

• 起初,Widget w不是暂时的.为什么它像临时一样对待？

• 在第二,为什么foo2工作比？

PS如您所见,我尝试编写使用左值和右值操作的函数.如果第一个元素是临时的,我想返回rvalue,如果它不是 - 左值.

Answer 1

tuple_element 返回元素类型,而不是引用类型(除非元素类型本身是引用类型).

如果类型T是引用类型,则需要让它返回引用类型.

这可以用条件表达:

typename std::conditional<std::is_lvalue_reference<T>::value,
    typename std::add_lvalue_reference<
        typename std::tuple_element<0, typename std::decay<T>::type >::type>::type,
    typename std::tuple_element<0, typename std::decay<T>::type >::type>::type

或者,更容易使用decltype,因为std::get已经为您执行此计算:

decltype(std::get<0>(std::declval<T &&>())) &&