その前にさ
size_tでないならじゃあ何型であるべきだと思っているんだ?
displacement(base + index)というアドレス計算のindexに当たるところだが