Ответ.

История вопроса:

Указатели — один из основных инструментов в C++ с момента появления языка, основа для управления памятью и динамическими структурами, а также взаимодействия с низкоуровневыми системными библиотеками. Ссылки были добавлены позже (с появлением самого C++) для упрощения синтаксиса и увеличения безопасности кода.

Проблема:

Ошибки в работе с памятью являются одной из самых распространённых проблем в C++, особенно при неправильном использовании указателей (dangling pointers, memory leaks). При этом иногда новичок не понимает, в каких случаях использовать ссылку, а в каких — указатель, либо ошибочно полагает, что они полностью взаимозаменяемы.

Решение:

Указатель (T*) — это переменная, хранящая адрес объекта, он может быть nullptr, поддерживает арифметику, допускает динамическое выделение и удаление, а также может менять, на что указывает.

Ссылка (T&) — это алиас другого существующего объекта. Ссылки должны быть инициализированы при создании, не могут быть "пустыми" (referencing null), не поддерживают арифметику, но удобны и безопаснее (например при передаче в функции).

Пример кода:

void increment_pointer(int* p) { if(p) ++(*p); }
void increment_reference(int& r) { ++r; }

int main() {
    int a = 5;
    increment_pointer(&a);
    increment_reference(a);
}

Ключевые особенности:

Указатели можно перенаправлять, ссылки нет
Ссылка обязана быть сразу связана с реальным объектом, указатель может быть nullptr
Ссылки чаще предпочтительнее при передаче в функцию, если нельзя использовать ссылку, используют указатель

Вопросы с подвохом.

Можно ли изменить ссылку после её инициализации, чтобы она ссылалась на другой объект?

Нет. Ссылка в C++ — это константный алиас. После инициализации ссылка всегда будет указывать на один и тот же объект, в отличие от указателя, который можно перенаправить.

Пример кода:

int a = 1;
int b = 2;
int& ref = a;
// ref = b - присваивает b значение, но ref продолжает ссылаться на a

Можно ли создать "нулевую" ссылку или ссылку на nullptr?

Нет, стандарт не допускает ссылок на несуществующие объекты. Это приводит к неопределённому поведению.

Пример:

int* p = nullptr;
// int& r = *p; - UB

Чем отличается int const ptr от const int ptr?**

int* const ptr — это константный указатель на int (указатель нельзя перенаправить, но значение можно менять). const int* ptr — это указатель на константный int (нельзя изменять содержимое, на которое указывает, но указатель можно перенаправить).

Пример кода:

int a = 1, b = 2;
const int* ptr1 = &a; // *ptr1 нельзя менять, ptr1 = &b - можно
int* const ptr2 = &a; // *ptr2 можно менять, ptr2 = &b - нельзя

Типовые ошибки и анти-паттерны

Использование ссылок на временные значения или уже удалённые объекты
Перераспределение памяти без переназначения указателей
"Нулевая" ссылка — UB

Пример из жизни

Негативный кейс

Молодой разработчик использовал указатели для передачи параметров, не проверял их на nullptr, получал аварийное завершение при ошибках.

Плюсы:

Работало пока не возникли ошибки

Минусы:

Неочевидные падения при неправильном вызове
Сложность поиска ошибок

Позитивный кейс

Опытный разработчик использовал int&, когда передача гарантирована, и int*, когда возможен nullptr, обязательно проверяя указатель на null.