Pourquoi les références Lvalue non-Const ne peuvent-elles pas se lier aux temporaires en C ?

Références Lvalue non const et liaisons temporaires

En C , les références lvalue non const sont censées se lier à des lvalues ​​identiques ou type dérivé. Cependant, certaines situations, comme la liaison à des objets temporaires, peuvent entraîner des erreurs.

Pourquoi le code suivant est-il valide ?

int a;
const double &m = a;

Dans ce cas, une référence est liée à une lvalue , et puisque la référence est const, la lvalue ne peut pas être modifiée. Ceci est autorisé en C tant que les types sont compatibles.

Cependant, lorsque vous essayez de lier une référence lvalue non const à une lvalue d'un type différent, une erreur se produit :

int a;
double &m = a;

erreur : une référence lvalue non const au type 'double' ne peut pas se lier à une valeur de type 'int' sans rapport

Cette erreur est générée car un temporaire est impliqué. La conversion de type implicite de int en double crée un objet temporaire. Les références non const ne peuvent pas être liées à des objets temporaires car elles nécessitent que l'objet ait une durée de vie et un emplacement connus. Les objets temporaires, de par leur nature, existent pour une durée limitée.

Visual Studio peut compiler ce code sans erreurs grâce à une extension du compilateur qui permet la liaison aux objets temporaires dans certains cas. Cependant, les compilateurs comme GCC signaleront correctement cette erreur.

L'exemple ci-dessous montre un problème similaire avec les types définis par l'utilisateur :

struct Foo {};

Foo &obj = Foo(); // error: binding non-const reference to temporary

Comprendre ce concept est crucial pour une gestion correcte des références en C. et éviter les problèmes d'exécution liés à la durée de vie des objets.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!