В чем различия между указателем и ссылкой в C++?

Ключевые различия между указателями и ссылками

Вы правильно заметили, что оба механизма позволяют работать с данными без копирования, но у них есть фундаментальные отличия, которые влияют на стиль программирования и безопасность кода.

1. Инициализация и переназначение

Ссылка должна быть инициализирована при создании и не может быть переназначена на другой объект. Она становится псевдонимом (alias) для существующей переменной на всё время своей жизни.

int x = 10, y = 20;
int &ref = x;  // OK: ref — псевдоним x
ref = y;       // НЕ переназначает ref на y! Это присваивает значение y переменной x (x становится 20)

Указатель может быть не инициализирован (содержать мусор), инициализирован nullptr или адресом объекта. Его можно переназначать сколько угодно раз.

int x = 10, y = 20;
int *ptr = &x;  // ptr указывает на x
ptr = &y;       // теперь ptr указывает на y

2. Синтаксис и читаемость

Со ссылками синтаксис чище — вы работаете с ними как с обычными переменными. С указателями нужно явно разыменовывать (*ptr) и брать адрес (&var).

void func_ref(int &a) { a = 5; }
void func_ptr(int *a) { *a = 5; }

int main() {
    int val = 0;
    func_ref(val);    // Просто передаём переменную
    func_ptr(&val);   // Нужно явно взять адрес
}

3. Null и безопасность

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

Указатель может быть nullptr, что требует проверки перед использованием:

int *ptr = nullptr;
if (ptr) {  // Обязательная проверка
    *ptr = 10;
}

4. Арифметика указателей

Указатели поддерживают арифметические операции (ptr++, ptr + 5), что необходимо для работы с массивами и буферами. Ссылки такой возможности не дают.

int arr[5] = {1, 2, 3, 4, 5};
int *ptr = arr;
for (int i = 0; i < 5; ++i) {
    std::cout << *ptr++ << " ";  // Проход по массиву через указатель
}

Когда что использовать?

• Используйте ссылки по умолчанию для параметров функций (особенно для больших объектов) и возвращаемых значений, если:
  • Не нужно переназначать объект внутри функции.
  • Всегда есть валидный объект (не null).
  • Хотите чистый синтаксис без лишних символов.
• Используйте указатели, когда:
  • Нужна возможность переназначить объект (например, в динамических структурах данных).
  • Объект может отсутствовать (передача nullptr как специального значения).
  • Требуется работа с массивами или динамической памятью (new/delete).
  • Реализуете полиморфизм через базовый класс (хотя тут тоже можно использовать ссылки).

Пример из реальной жизни

class Node {
    int data;
    Node* next;  // Указатель — может быть nullptr (конец списка)
public:
    Node(int val, Node* nxt = nullptr) : data(val), next(nxt) {}
};

void processNode(const Node& node) {  // Ссылка — всегда существует, не меняем
    std::cout << node.data;
}

В заключение: ссылки — это "безопасные указатели" с ограниченной функциональностью. Используйте их везде, где возможно, а указатели — только когда нужны их дополнительные возможности.

MyClass& operator=(const MyClass& other);  // Возвращаем ссылку, чтобы писать a = b = c;

Node* findNode(int key) {
    // ... поиск
    if (found) return &node;
    return nullptr;  // Не найден
}