サイズ云々は
インクリメントしたときにどんだけ(何バイト)進むのかが確定してる型でないとポインタにならない
→ じゃ関数ポインタって　関数のサイズ(≒ コンパイル後の機械語化されたバイナリのサイズ) を知ってるのか？

こういう思考の流れかな？