Что произойдет, если в коде не будет указан тип переменной, который компилятор не сможет определить?

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