Почему ссылочные переменные должны быть инициализированы при определении?

Question

Я пробовал искать ответ, но пока не повезло. Мой вопрос: зачем нужно указывать опорные переменные, когда они определены? Это техническая причина, или это то, что стандарт не позволяет?

Возьмите этот код, например:

int number = 42; 
int& numberRef; 
numberRef = number; 

Выше не допускается, но код ниже:

int number = 42; 
int& numberRef = number; 

Почему компилятор не может обработать неинициализированный ссылочную переменную как неинициализированная указатель? Здесь что-то не хватает?

Answer 1

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

int& numberRef;  // pretend this is allowed 
numberRef = number; // copies number into some random memory location