Что значит ссылка без типа?

Question

[Артём]

long x = 10;

const &y = x;
cout << typeid(y).name() << '\n'; // тип int, а не long

x += 10;
cout << y; // 10, а не 20

Может ссылка восприняла x как r-value? Но тогда почему после const автоматом стоит int? Если написать const x = 10, то будет ошибка

Answer 1

[Евгений Шатунов]

const &y = x;
Это не ссылка без типа, а синтаксически неверный код, который не пройдет трансляцию за пределами GCC.

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

В C++ нет типа по умолчанию, в отличие от С, где типом по умолчанию является int. Если в C код const y = x является синтаксически верным и подразумевает const int y = x, то в C++ этот же код является уже синтаксически неверным и не пройдет трансляцию.
GCC в твоем коде отходит от стандарта C++ в пользу поведения как в C.

Comments

[Артём]

Я просто случайно не дописал long, не заметил этого. Потом вернулся к коду и прифигел. В свое время этот код ввел меня в заблуждения, что ссылка на const, указывающая не на const, ведет себя не как read-only, а как ссылка, инициализированная r-value. За такие глубокие знания спасибо

[Евгений Шатунов]

Артём, я могу порекомендовать тебе отказаться от использования GCC в пользу clang.
Последний сегодня является практически основным транслятором, который максимально строго следует стандарту языка.
Попутно, обрати еще внимание на полезные источники информации о языке.

Answer 2

[Vitaly]

Компилируйте всегда с флагами -Wall -Wextra -pedantic и будет вам счастье :)