Elementi Lvalue e Rvalue

Ogni espressione C++ è un lvalue o un rvalue. Un lvalue fa riferimento a un oggetto che viene mantenuto oltre una singola espressione. È possibile considerare un lvalue come un oggetto che ha un nome. Tutte le variabili, incluse le variabili non modificabili (const), sono lvalue. Un rvalue è un valore temporaneo che non viene mantenuto oltre l'espressione che lo utilizza. Per comprendere meglio la differenza tra lvalue e rvalue, analizzare l'esempio seguente:

// lvalues_and_rvalues1.cpp
// compile with: /EHsc
#include <iostream>
using namespace std;
int main()
{
   int x = 3 + 4;
   cout << x << endl;
}

In questo esempio, x è un lvalue, perché viene mantenuto oltre l'espressione che lo definisce. L'espressione 3 + 4 è un rvalue, perché restituisce un valore temporaneo che non viene mantenuto oltre l'espressione che la definisce.

Nell'esempio seguente vengono illustrati diversi utilizzi corretti e non corretti di lvalue e rvalue:

// lvalues_and_rvalues2.cpp
int main()
{
   int i, j, *p;

   // Correct usage: the variable i is an lvalue.
   i = 7;

   // Incorrect usage: The left operand must be an lvalue (C2106).
   7 = i; // C2106
   j * 4 = 7; // C2106

   // Correct usage: the dereferenced pointer is an lvalue.
   *p = i; 

   const int ci = 7;
   // Incorrect usage: the variable is a non-modifiable lvalue (C3892).
   ci = 9; // C3892

   // Correct usage: the conditional operator returns an lvalue.
   ((i < 3) ? i : j) = 7;
}

I termini lvalue e rvalue vengono utilizzati spesso in relazione ai riferimenti a oggetti. Per ulteriori informazioni sui riferimenti, vedere Dichiaratore di riferimento lvalue: & e Dichiaratore di riferimento rvalue: &&.

Vedere anche

Riferimenti

Concetti di base

Dichiaratore di riferimento lvalue: &

Dichiaratore di riferimento rvalue: &&