>>535
変数宣言の基本的な形式

型指定子 宣言子1, 宣言子2, …;

で言うと * は宣言子の一部ということになるが、
型指定子でないから型 (の一部) ではないというわけではない。
これは文法上の呼び名に過ぎず、
意味論的にはポインタは型の一部だよ。