>>114
不定型でない限り
型が定まればサイズは定まる
そして静的型付け言語ならば実行前に形は定まる
だから先頭アドレスさえあればよい
サイズをデータとして保つ必要はない