_LIBCPP_DEBUG Macro¶

_LIBCPP_DEBUG:

This macro is used to enable assertions and iterator debugging checks within libc++. By default it is undefined.

Values: 0, 1

Defining _LIBCPP_DEBUG to 0 or greater enables most of libc++’s assertions. Defining _LIBCPP_DEBUG to 1 enables “iterator debugging” which provides additional assertions about the validity of iterators used by the program.

Note that this option has no effect on libc++’s ABI

_LIBCPP_DEBUG_USE_EXCEPTIONS:

When this macro is defined _LIBCPP_ASSERT failures throw __libcpp_debug_exception instead of aborting. Additionally this macro disables exception specifications on functions containing _LIBCPP_ASSERT checks. This allows assertion failures to correctly throw through these functions.

Handling Assertion Failures¶

When a debug assertion fails the assertion handler is called via the std::__libcpp_debug_function function pointer. It is possible to override this function pointer using a different handler function. Libc++ provides two different assertion handlers, the default handler std::__libcpp_abort_debug_handler which aborts the program, and std::__libcpp_throw_debug_handler which throws an instance of std::__libcpp_debug_exception. Libc++ can be changed to use the throwing assertion handler as follows:

#define _LIBCPP_DEBUG 1
#include <string>
int main() {
  std::__libcpp_debug_function = std::__libcpp_throw_debug_function;
  try {
    std::string::iterator bad_it;
    std::string str("hello world");
    str.insert(bad_it, '!'); // causes debug assertion
  } catch (std::__libcpp_debug_exception const&) {
    return EXIT_SUCCESS;
  }
  return EXIT_FAILURE;
}