Re: [Boost-users] A forward iterator need not be default-constructible

If your basic expectations do not take the standard into account then your expectations may lead you to Undefined-Behavior-Land.

Again, the standard is too strict with this limitation; it can be relaxed. Objects of regular types should always be equal to themselves even when they are uninitialized or have singular value.

Optimizations are clever, and used to be viewed with suspicion.

I don't think that this is an unreasonable position.