回答編集履歴

  ですから、型に関係なくサイズは一定です。（たとえば32ビットとか）

  ポインタの型というのは、格納されたアドレスに確保されている変数の型なのです。

  ポインタに、宣言やmalloc関数などで確保されていない領域のアドレスが格納されていると、そのポインタを参照したときに暴走したりします。

  ポインタに構造体のアドレスを代入することも出来ます。

  その際、すでにご指摘されているように、*p.x ではなく、p->x もしくは (*p).x と記述します。

  もちろん、p には確保された構造体のアドレスが入っていなければなりません。

  コンパイルエラーは出ないけど、実行時にバグります。