Proč je použití odkazu bezpečnější pro ochranu před změnami ve srovnání s ukazatelem?

Odkaz by měl vždy odkazovat na existující objekt a nemůže být nullptr. Ukazatel může být nullptr nebo ukazovat na neplatnou paměť. Dereferencí nullptr nebo neplatného ukazatele vzniká nedefinované chování (často selhání segmentace), které je obtížnější odhalit. Odkaz zaručuje, že pracujete s platným objektem.

// Použití ukazatele
int* ptr = nullptr;
// Pokus o dereferencování může vést k chybě
// *ptr = 10; 

// Použití odkazu
int value = 5;
int& ref = value; // Odkaz je inicializován existujícím objektem
// *ref = 10; // Nesprávná syntaxe - ref je již aliasem hodnoty
ref = 10; // Mění hodnotu přes odkaz - bezpečné

// Odkaz nemůže být `nullptr`
// int& invalid_ref = nullptr; // Chyba kompilace

Odkaz musí být inicializován při deklaraci, ukazovat na konkrétní objekt a nemůže být přenastaven na jiný objekt. Ukazatel může být změněn tak, aby ukazoval na různé objekty nebo nullptr.

// Použití ukazatele
int a = 1;
int b = 2;
int* ptr = &a; // Ukazatel na a
ptr = &b;    // Ukazatel nyní na b

Hlavní rozdíly z hlediska bezpečnosti:

Možnost	Odkaz	Ukazatel
Být nullptr	Ne	Ano
Přenastavit	Ne	Ano
Dereferencovat nullptr	Není možné	Nedefinované chování
Používat bez inicializace	Není možné (chyba kompilace)	Možné (nedefinované chování při dereferencování)