O que acontece se no código não for especificado um tipo de variável que o compilador não consiga determinar?

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