Lvalue e rvalue: la distinzione
Ragioni sulle categorie dei valori: lvalue, prvalue e xvalue
Lvalue e rvalue: la distinzione è una lezione C++ Academy gratuita su CoddyKit. Questa è la lezione 1 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento C++ Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso C++ Academy include 4 lezioni in totale.
Due mondi: lvalue e rvalue
Ogni espressione in C++ è un lvalue, cioè un elemento con un nome e un indirizzo, oppure un rvalue, cioè un temporaneo senza nome.
Lvalue
Un lvalue fa riferimento a un oggetto persistente: è possibile ottenerne l'indirizzo con &.
int x = 42; // x is an lvalue
int* p = &x; // taking the address of an lvalue
int& r = x; // r is an lvalue referenceRvalue
Un rvalue è un temporaneo: può essere un valore letterale, il valore restituito da una funzione o un'espressione come a + b. Non è possibile ottenerne l'indirizzo.
int a = 5, b = 3;
int c = a + b; // (a + b) is an rvalue
// int* p = &(a + b); // ERROR: cannot take address of an rvaluePerché la distinzione è importante
Un rvalue sta per essere distrutto. È quindi possibile rubarne le risorse invece di copiarle: questo è il fondamento della semantica di spostamento.
Tre categorie a partire da C++11
Il C++ moderno perfeziona questo modello:
- lvalue: ha un nome e un'identità
- prvalue (pure rvalue): un temporaneo puro, come un valore letterale o un valore restituito
- xvalue (expiring): sta per essere distrutto, come il risultato di
std::move
Riferimenti lvalue e rvalue
Un riferimento lvalue usa &; un riferimento rvalue usa &&.
int x = 10;
int& lr = x; // lvalue reference
int&& rr = 42; // rvalue reference, binds to literalRegole di associazione
Compatibilità dei tipi:
- un riferimento lvalue (
T&) si associa agli lvalue - un riferimento lvalue const (
const T&) si associa a entrambi - un riferimento rvalue (
T&&) si associa solo agli rvalue e agli xvalue
Verificare con decltype
È possibile chiedere al compilatore a quale categoria appartiene un'espressione usando decltype.
int x = 10;
static_assert(std::is_lvalue_reference<decltype((x))>::value);
// the extra parentheses make decltype yield the lvalue refPerché C++11 ha introdotto i riferimenti rvalue
Per abilitare la semantica di spostamento: un costruttore che accetta T&& può acquisire la proprietà dei dati interni di un temporaneo, evitando una copia profonda.
Errore comune: un riferimento rvalue con nome è un lvalue
Una variabile di tipo riferimento rvalue, una volta dichiarata, ha un nome e diventa quindi un lvalue. Per passarla come rvalue, usi std::move.
void f(std::string&& s) {
// s here is an lvalue!
process(std::move(s)); // now it is an rvalue again
}Anteprima del perfect forwarding
I template che accettano T&& deducono un riferimento lvalue o rvalue. In combinazione con std::forward, possono preservare la categoria del valore; questo argomento verrà trattato più avanti in dettaglio.
Verifica rapida
Quale di queste espressioni è un rvalue?
Riepilogo
Un lvalue ha un nome e un indirizzo; un rvalue è un temporaneo. T& si associa agli lvalue, mentre T&& si associa agli rvalue. Questa distinzione abilita la semantica di spostamento, evitando copie non necessarie dei temporanei.
Domande Frequenti
La lezione «Lvalue e rvalue: la distinzione» è gratuita?
Sì — il testo completo di «Lvalue e rvalue: la distinzione» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso C++ Academy, passa a CoddyKit PRO. Il corso C++ Academy include 4 lezioni in totale.
Cosa imparerò in «Lvalue e rvalue: la distinzione»?
Ragioni sulle categorie dei valori: lvalue, prvalue e xvalue Eserciti C++ Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.
Ho bisogno di esperienza per iniziare C++ Academy?
Non è richiesta alcuna esperienza precedente. C++ Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 1 di 4.
Quanto tempo richiede la lezione «Lvalue e rvalue: la distinzione»?
La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.
Posso scrivere ed eseguire codice in questa lezione C++ Academy?
Sì. Ogni lezione C++ Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.
Tutte le lezioni di questo corso
- Lvalue e rvalue: la distinzione
- Riferimenti rvalue e sintassi &&
- std::move e std::forward
- Costruttori di move e assegnazione di move