Durata dei riferimenti e riferimenti dangling
Eviti i riferimenti dangling ragionando con attenzione sulla durata degli oggetti
Durata dei riferimenti e riferimenti dangling è una lezione C++ Academy gratuita su CoddyKit. Questa è la lezione 4 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.
Che cos'è un riferimento dangling?
Un riferimento diventa dangling quando l'oggetto a cui si riferisce viene distrutto. Utilizzarlo produce un comportamento non definito: può succedere qualsiasi cosa.
L'esempio classico
Restituire un riferimento a una variabile locale. La variabile locale viene distrutta quando la funzione restituisce il risultato; il chiamante conserva un riferimento a memoria non più valida.
// BUG
int& bad() {
int x = 10;
return x; // x dies here
}
int& r = bad();
std::cout << r; // UBRiferimenti agli elementi dei contenitori
Un riferimento a un elemento di std::vector diventa dangling se il vector viene riallocato. L'aggiunta di elementi può spostare tutta la memoria allocata.
std::vector<int> v = {1, 2, 3};
int& r = v[0];
v.push_back(99); // may reallocate
std::cout << r; // possibly UBRiferimenti a mappe e liste
Alcuni contenitori (std::list, std::map, std::unordered_map per i nodi non coinvolti) offrono iteratori e riferimenti stabili. std::vector e std::deque non lo fanno.
Regole sulla durata dei temporanei
Un riferimento const estende la durata di vita di un temporaneo, ma una funzione che restituisce quel riferimento non la estende ulteriormente.
// Subtle BUG
const std::string& f() {
return std::string("temp"); // dies at return
}
const std::string& s = f(); // danglingDurata delle variabili nelle istruzioni if-init (C++17)
Le variabili nelle istruzioni di inizializzazione di if/switch di C++17 vivono per tutta la durata del corpo di if/switch: è utile, ma presti attenzione all'ambito.
if (const auto& it = map.find(k); it != map.end()) {
use(it->second);
}
// `it` is dead hereMembri di riferimento nelle classi
Memorizzare un riferimento come membro di una classe lega la durata di vita della classe a quella dell'oggetto referenziato. La classe non può mai sopravvivere all'oggetto referenziato. Lo utilizzi solo quando è richiesto dalla semantica di proprietà.
Puntatore o riferimento per la proprietà opzionale
Un riferimento non può essere null, ma se l'oggetto referenziato viene distrutto il riferimento si rompe. I puntatori possono rappresentare in modo più esplicito i casi di proprietà opzionale o potenzialmente dangling.
Utilizzi invece i puntatori intelligenti
Per la proprietà condivisa, utilizzi std::shared_ptr. Il puntatore mantiene in vita l'oggetto finché esiste almeno uno shared_ptr. L'argomento è trattato nel corso sui puntatori intelligenti.
Aiuto del compilatore: lifetimebound
I compilatori moderni (Clang, GCC) emettono avvisi per alcuni schemi di riferimenti dangling. Abiliti -Wdangling-reference quando disponibile.
Idioma comune: tipi vista
std::string_view e std::span sono viste non proprietarie. Presentano gli stessi problemi di durata dei riferimenti e richiedono la stessa attenzione.
Verifica rapida
Quale operazione può invalidare i riferimenti a elementi di un std::vector?
Riepilogo
I riferimenti non estendono né assumono la proprietà di nulla: sono alias di un oggetto esistente. Diventano dangling se l'oggetto viene distrutto prima di loro. Presti attenzione ai riferimenti a variabili locali restituiti, alla riallocazione dei contenitori e ai temporanei che restano in uso.
Domande Frequenti
La lezione «Durata dei riferimenti e riferimenti dangling» è gratuita?
Sì — il testo completo di «Durata dei riferimenti e riferimenti dangling» è 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 «Durata dei riferimenti e riferimenti dangling»?
Eviti i riferimenti dangling ragionando con attenzione sulla durata degli oggetti 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 4 di 4.
Quanto tempo richiede la lezione «Durata dei riferimenti e riferimenti dangling»?
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
- Perché usare riferimenti come alias delle variabili
- Passaggio per valore e per riferimento a confronto
- Riferimenti const e quando usarli
- Durata dei riferimenti e riferimenti dangling