pon., 27 kwi 2026 o 16:08 Peter Dimov via Boost <boost@lists.boost.org> napisał(a):
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.
A hardened precondition is one that runtime-checks and aborts in a hardened implementation, and that behaves like any other precondition in non-hardened implementation. Switching between a hardened and a non-hardened implementation can be done via a compiler command flag. Because of this non-hardened variant, the Lakos rule still applies. Regards, &rzej;
_______________________________________________ Boost mailing list -- boost@lists.boost.org To unsubscribe send an email to boost-leave@lists.boost.org https://lists.boost.org/mailman3/lists/boost.lists.boost.org/ Archived at: https://lists.boost.org/archives/list/boost@lists.boost.org/message/DQXIOU5C...