Тип указателей сообщает компилятору тип объекта, на который указывает указатель - таким образом, позволяя компилятору гарантировать, что вы используете этот указатель в правильном порядке и пытаясь гарантировать, что вы не делаете никаких ошибок .
Компилятор с его ошибками и предупреждениями старается изо всех сил убедиться, что код, который вы разрабатываете, является правильным. Обратите внимание на них - люди, которые пишут компиляторы, пытаются вам помочь.