>>>185
>型がある

>p++;
>アドレスが1バイト増加するか、4バイト増加するか型によってことなる

型を判定するのはコンパイラであって、
アセの段階で既に185の言うとおり。
c++などならその限りではないこともある。