>>143 なるほど、型に保証が無いのは分かったが、 if the expression P points either to an element of an array object or one past the last element of an array object, and the expression Q points to the last element of the same array object, なので、同じchar配列要素の場合で最終要素も超えないので、OKかと。