(int)(p+1)-(int )(p) == sizeof (*p)
だっけ?