Conservation des Rvalues ​​avec des références Const : A C Puzzle

En C , le passage de rvalues ​​(objets temporaires) par référence const est autorisé, contrairement aux références normales . Considérons le programme suivant :

void display(const int& a) { cout 
Le programme permet de transmettre à la fois les lvalues ​​et les rvalues ​​à la fonction d'affichage, même si la référence est marquée comme const. Ce comportement est déroutant, car les références const sont généralement associées à la préservation des lvalues.
L'extension de durée de vie de référence Const
La clé pour comprendre ce comportement réside dans la sémantique de références const en C . Une référence const prolonge la durée de vie de l'objet référencé jusqu'à la fin de la portée conteneur. Dans le cas d'une rvalue, cela empêche efficacement la destruction de l'objet temporaire jusqu'à ce que la référence const soit hors de portée.
Exemple : Prolonger la durée de vie de la Rvalue
Dans notre Par exemple, ce qui suit se produit lorsque display(5) est appelé :
Une rvalue de type int est créée avec la valeur 5.
Une référence const a est liée à cette rvalue.
La référence const prolonge la durée de vie de la rvalue jusqu'à la fin de la fonction d'affichage.
La rvalue est utilisé dans la fonction pour imprimer la valeur 5.
Lorsque la fonction d'affichage revient, la référence const sort de la portée et la rvalue est finalement détruit.
Cela démontre comment une référence const peut continuer à pointer vers une rvalue, lui permettant de rester en existence même si elle serait autrement immédiatement détruite.