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