Ссылки и указалети имеют разную семантику. Ссылка более ограничена, это указатель, который нельзя изменить (не значение, на которое она ссылается, а то, куда она ссылается), указатель, который нужно обязательно проинициализировать (ссылка не может быть NULL), и указатель, который не нужно разименовывать ( *p ).

А) именно ссылку

Передача в функцию или класс большой структуры данных не по значению.
Возвращение такой структуры откуда-то.
Реализация свойств (геттеры и сеттеры).

Б) именно указатель

Для использования в сложных структурах данных типа связных списков, сетей и т.п.

С) ничего

возврат локальной (auto) переменной из функции;

Д) и то и другое ???
Как это - И то, и другое ? Либо ссылка , либо указатель.

Ну можно динамически выделенную структуру хранить как в ссылках, так и в указателях. В указателях -- более правильно (не будешь никого обманывать), в ссылках -- для ленивых, чтобы не разименовывать.

Сказки от Стонислава (все нижеприведенное неверно):

Станислав C.
Указатель не создается через new и не может быть удален через delete.


Переменные типа "указатель на что-то" могут быть с любой областью видимости и любым классом памяти.

Станислав C.Размеры (занимаемая память) у всех указателей РАВНЫ.


Это просто сказка. Это зависит от реализации компилятора и модели памяти OS. За примером далеко ходить не надо - в DOS были указатели near, far, huge, которые имели РАЗНЫЕ размеры.

Станислав C.
Модификатор (указываемый при объявлении указателя, например: double *)


Это - не модификатор, а тип данных. Все вместе со звездой.

Станислав C.
Специальным случаем является void *. Он подразумевает, что указатель просто указывает на какую-то область памяти, а затем, при необходимости, будет конкретизирован при помощи операции приведения типа.


void * может использоваться и без приведения к указателю другого типа.

Станислав C.
Переопределить указатель - значит заставить указывать его на другой участок памяти. Это делается элементарно:


Это- не переопределение. Это - присваивание указателю.


Ну и конечно никакой "специальной ячейки памяти 0" не существует. Это - просто общепринятое соглашение, по которому указатель со значением ((void*)0) считается не указывающим никуда. С таким же успехом можно использовать другие значения: ((void*)0xffff) или ((void*)0xDEAD) и т.п.