Mauvaise forme:

int &z = 12;

Forme correcte:

int y;
int &r = y;

Question :
Pourquoi le premier code est-il erroné? Quelle est la « signification » de l'erreur dans le titre?

C ++ 03 3.10 / 1 dit: "Chaque expression est une lvalue ou une rvalue." Il est important de se rappeler que la valeur par rapport à la valeur est une propriété des expressions et non des objets.

Lvalues ​​nomme les objets qui persistent au-delà d'une seule expression. Par exemple, obj, *ptr, ptr[index]et ++xsont tous lvalues.

Les valeurs R sont des valeurs temporaires qui s'évaporent à la fin de l'expression complète dans laquelle elles vivent ("au point-virgule"). Par exemple, 1729, x + y, std::string("meow")et x++sont tous rvalues.

L'opérateur d'adresse de demande que son "opérande doit être une valeur l". si nous pouvons prendre l'adresse d'une expression, l'expression est une lvalue, sinon c'est une rvalue.

 &obj; //  valid
 &12;  //invalid

int &z = 12;

Sur le côté droit, un objet temporaire de type intest créé à partir du littéral intégral 12, mais le temporaire ne peut pas être lié à une référence non const. D'où l'erreur. C'est la même chose que:

int &z = int(12); //still same error

Pourquoi un temporaire est créé? Parce qu'une référence doit faire référence à un objet dans la mémoire, et pour qu'un objet existe, il doit d'abord être créé. Puisque l'objet n'est pas nommé, il s'agit d'un objet temporaire . Il n'a pas de nom. À partir de cette explication, il est devenu assez clair pourquoi le deuxième cas est bon.

Un objet temporaire peut être lié à une référence const, ce qui signifie que vous pouvez le faire:

const int &z = 12; //ok

Référence C ++ 11 et Rvalue:

Par souci d'exhaustivité, je voudrais ajouter que C ++ 11 a introduit rvalue-reference, qui peut se lier à un objet temporaire. Donc, en C ++ 11, vous pouvez écrire ceci:

int && z = 12; //C+11 only 

Notez qu'il y a au &&lieu de &. Notez également que ce constn'est plus nécessaire, même si l'objet auquel zse lie est un objet temporaire créé à partir d'intégrale-littérale 12.

Depuis que C ++ 11 a introduit rvalue-reference , il int&est désormais appelé lvalue-reference .

12est une constante de compilation qui ne peut pas être modifiée contrairement aux données référencées par int&. Ce que tu peux faire c'est

const int& z = 12;

La liaison de référence non-const et const suit des règles différentes

Voici les règles du langage C ++:

• une expression constituée d'un nombre littéral ( 12) est une "rvalue"
• il n'est pas permis de créer une référence non-const avec une rvalue: int &ri = 12;est mal formée
• il est permis de créer une référence const avec une rvalue: dans ce cas, un objet sans nom est créé par le compilateur; cet objet persistera tant que la référence elle-même existera.

Vous devez comprendre que ce sont des règles C ++. Ils sont juste.

Il est facile d'inventer un langage différent, disons C ++, avec des règles légèrement différentes. En C ++ ', il serait permis de créer une référence non-const avec une rvalue. Il n'y a rien d'incohérent ni d'impossible ici.

Mais cela permettrait un code risqué où le programmeur pourrait ne pas obtenir ce qu'il voulait, et les concepteurs C ++ ont à juste titre décidé d'éviter ce risque.

Les références sont des "pointeurs cachés" (non nuls) vers des choses qui peuvent changer (lvalues). Vous ne pouvez pas les définir comme une constante. Ce devrait être une chose "variable".

ÉDITER::

Je pense à

int &x = y;

comme presque équivalent de

int* __px = &y;
#define x (*__px)

où __pxest un nouveau nom, et les #define xœuvres uniquement à l'intérieur du bloc contenant la déclaration de xréférence.