Prečo je použitie odkazu bezpečnejšie na ochranu pred zmenami v porovnaní s ukazovateľom?

Referenca mora vedno kazati na obstoječi objekt in ne more biti nullptr. Kazalec lahko nullptr ali kaže na neveljavno pomnilnik. Dereferenciranje nullptr ali neveljavnega kazalca povzroči nedefinirano vedenje (pogosto napako segmentacije), kar je težje odkriti. Referenca zagotavlja, da delate z veljavnim objektom.

// Uporaba kazalca
int* ptr = nullptr;
// Poskus dereferenciranja lahko povzroči napako
// *ptr = 10; 

// Uporaba reference
int value = 5;
int& ref = value; // Referenca je inicializirana z obstoječim objektom
// *ref = 10; // Napačna sintaksa - ref je že alias za value
ref = 10; // Spreminja value preko reference - varno

// Referenca ne more biti `nullptr`
// int& invalid_ref = nullptr; // Napaka pri prevajanju

Referenca mora biti inicializirana ob deklaraciji, kazala mora na določen objekt, in ne more biti preusmerjena na drug objekt. Kazalec se lahko spremeni, da kaže na različne objekte ali nullptr.

// Uporaba kazalca
int a = 1;
int b = 2;
int* ptr = &a; // Kazalec na a
ptr = &b;    // Zdaj kazalec kaže na b

Glavne razlike v varnosti:

Možnost	Referenca	Kazalec
Biti nullptr	Ne	Da
Preusmeritev	Ne	Da
Dereferenciranje nullptr	Ni mogoče	Nedefinirano vedenje
Uporaba brez inicializacije	Ni mogoče (napaka pri prevajanju)	Možno (nedefinirano vedenje pri dereferenciranju)