const
member function foo()
, I can't call a non-const
member function bar(42)
even though bar()
never modifies the object when called with argument 42
. On the other hand, if I'm in a noexcept
function fizz()
, I can call a non-noexcept
function buzz(42)
, because buzz()
will never throw when invoked with argument 42
. What's a good way of justifying this asymmetry?