deleteした後のポインタに0やnullを入れることを「仕様」にしないのは何か理由があるんですかね?