С++ строго типизированный язык, если бы указатель объявлялся без типа, то как бы понял компилятор на что он указывает:

int i;
[int]* p = &i; // int опущен
*p = 10; // а откуда компилятору знать на что указывает p?