¿Qué sucederá si en el código no se especifica un tipo de variable que el compilador no pueda determinar?

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