Can a function that uses "assert(...)" be marked noexcept? Should it be?

[calebarist]

Channel

Is this a "C++Weekly" or "The [Fill in the Blank] Programmer" episode request?

Your choice, could event just be a tid-bit.

Topics

What topics are important to cover for this episode?

assert() under the hood?

Length

Should this be bite-sized (5-10 minutes) or more long form (10-20 minutes)?

[sakgoyal]

I like this idea.

[lefticus]

https://en.cppreference.com/w/cpp/header/cassert

[lefticus]

The Lakos principle says that any function that is has preconditions of any sort should not be noexcept, so there's some conversation to have here.

[LB--]

Destructors have no preconditions and are noexcept by default, does this mean we shouldn't assert in them to catch mistakes at more opportune times?