Dlaczego użycie odnośnika jest bezpieczniejsze w ochronie przed zmianami w porównaniu do wskaźnika?

Odwołanie zawsze musi odnosić się do istniejącego obiektu i nie może być nullptr. Wskaźnik może być nullptr lub wskazywać na nieprawidłową pamięć. Dereferencja nullptr lub nieprawidłowego wskaźnika powoduje nieokrecone zachowanie (często błąd segmentacji), które jest trudniejsze do wykrycia. Odwołanie gwarantuje, że pracujesz z ważnym obiektem.

// Użycie wskaźnika
int* ptr = nullptr;
// Próba dereferencji może spowodować awarię
// *ptr = 10; 

// Użycie odwołania
int value = 5;
int& ref = value; // Odwołanie jest inicjalizowane istniejącym obiektem
// *ref = 10; // Niepoprawna składnia - ref jest już aliasem dla value
ref = 10; // Zmienia value przez odwołanie - bezpieczne

// Odwołanie nie może być `nullptr`
// int& invalid_ref = nullptr; // Błąd kompilacji

Odwołanie musi być zainicjalizowane przy deklaracji, wskazując na konkretny obiekt, i nie może być przekierowane na inny obiekt. Wskaźnik może być zmieniany, aby wskazywał na różne obiekty lub nullptr.

// Użycie wskaźnika
int a = 1;
int b = 2;
int* ptr = &a; // Wskaźnik na a
ptr = &b;    // Wskaźnik teraz na b

Główne różnice w kontekście bezpieczeństwa:

Możliwość	Odwołanie	Wskaźnik
Być nullptr	Nie	Tak
Przypisać na nowo	Nie	Tak
Dereferencja nullptr	Niemożliwe	Nieokrecone zachowanie
Użycie bez inicjalizacji	Niemożliwe (błąd kompilacji)	Możliwe (nieokrecone zachowanie przy dereferencji)