libcxx/docs/DesignDocs/NoexceptPolicy.rst

   1 ===================
   2 ``noexcept`` Policy
   3 ===================
   4
   5 Extended applications of ``noexcept``
   6 -------------------------------------
   7
   8 As of version 13 libc++ may mark functions that do not throw (i.e.,
   9 "Throws: Nothing") as ``noexcept``. This has two primary consequences:
  10 first, functions might not report precondition violations by throwing.
  11 Second, user-provided functions, such as custom predicates or custom
  12 traits, which throw might not be propagated up to the caller (unless
  13 specified otherwise by the Standard).