>>955も>>969も結局"0"に関するコンセプトが必要になりますよね．

>>961
＞Effective C++ の第3版
第2版と第3版の差分って何ですか？

>>962
end()で得られるイテレータはそもそもインクリメントの事前条件を
満たさないので結果は未定義です．