27 Apr
2026
27 Apr
'26
2:07 p.m.
Joaquin M López Muñoz wrote:
- get_iterator should assert if the user passes an invalid pointer. I'd assert on the mask bit being set. Yes. I'm a little mystified by the standard spec for this as get_iterator is marked noexcept, so it's violating Lakos Rule if I'm not wrong. DR worthy?
Probably. It's not clear how Lakos interacts with hardened preconditions, but it's worth an open issue either way.