Cosa succede se nel codice non viene specificato un tipo di variabile che il compilatore non può determinare?

Будет выдана ошибка компиляции. Компилятор C/C++ требует явного указания типа для большинства переменных, чтобы выделить необходимый объем памяти и корректно интерпретировать данные. Если тип не указан, и компилятор не может его вывести (например, при использовании auto в C++11+ с инициализатором, который позволяет вывести тип), процесс компиляции остановится.