このrvalue参照が左辺値にバインドされるのはなぜですか？次のコードは、GCC 8.0でコンパイルし、なぜ私は理解していない

Question

：fooで

decltype(auto) foo(int&& r) { 
    return r; 
} 

を、rの宣言型がint&&あり、そのためfooの戻り値の型もint&&です。しかしr自体は左辺値であり、左辺値は右辺値参照にバインドできません。

何か不足していますか？

Answer 1

[dcl.spec.auto]/5によれば、戻り値の型は、returnステートメントのオペランドがdecltypeのオペランドであるかのように導かれます。 [dcl.type.simple]/(4.2)は、オペランドがカッコで囲まれていないため、エンティティのタイプはdecltypeによって生成されたタイプ、つまりint&&であることを明確に述べています。実際、rは左辺値（[expr.prim.id.unqual]）です。

幸いにも、これは2年前に発見され、bug 64892として提出されました。 （なぜ誰もこれを修正する時間を見つけることができないのだろうか？）