p == &vec[3]
　*p == vec[3]
は両方とも保証されない。