Warum ist das Hinzufügen einer Referenz zu einer Rvalue-Referenz kein Fehler?

Question

Ich habe folgende typedef:

using int_ref = int&&; 

Warum wird der folgende Code einen Fehler nicht erzeugen (false oder drucken)?

std::cout << is_same< int_ref, int_ref&& >::value; // prints 1 

Ich würde erwarten, dass int_ref&&-int&& && erweitert wird, was natürlich nicht möglich ist. Fehle ich etwas?

Answer 1

Dies ist aufgrund reference collapsing rules.

Grundsätzlich obwohl Sie keinen Verweis auf ein Referenz sich in einigen Fällen schreiben kann (typedefs, Template-Parameter, decltypes) Sie hinzufügen können einen Verweis auf einen Referenztyp erstellen, die sich wie folgt zusammenbricht:

A& & -> A& 
A& && -> A& 
A&& & -> A& 
A&& && -> A&& 

In Ihrem Fall ist int_refint&&, also int&& && wird int&&.

---

Der entsprechende Standard Zitat:

(N3337) [dcl.ref]/6: Wenn ein typedef (7.1.3), eine Art Template-Parameter (14.3.1) oder ein decltype-specifier (7.1 .6.2) bezeichnet einen Typ TR die einen Verweis auf einem Typ ist T, ein Versuch, den Typ „lvalue Bezug auf cvTR“ den Typ „L-Wert erzeugt zu erstellen Referenz auf T ", während ein Versuch, den Typ" rvalue Verweis auf cvTR erstellen "erstellt den Typ TR.