13 Jun
2017
13 Jun
'17
12:42 a.m.
On Mon, Jun 12, 2017 at 5:08 PM, Gavin Lambert via Boost < boost@lists.boost.org> wrote:
On 12/06/2017 20:22, Emil Dotchevski wrote:
Noexcept is a new C++11 library that implements a different approach to solving the same problem. Any feedback is welcome.
From the docs:
WARNING If unhandled errors remain at the time the current thread terminates, Noexcept calls abort(). Use catch_<> to handle any error regardless of its type.
Shouldn't it call std::terminate() instead?
I think abort() is better because it would be strange for a program that doesn't use exceptions to indicate an unhandled exception. :) But maybe it would be more practical to call terminate(), I'm not sure.