Que se passe-t-il si le code ne spécifie pas un type de variable que le compilateur ne peut pas déterminer?

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