ポインタ演算との等価性を考慮すると ptrdiff_t が一番行儀いいんじゃない？