Add constinit support and improve exception handling

Introduced support for the `constinit` keyword for static initializations and included necessary headers. Enhanced exception handling to provide a more robust mechanism by using `DAW_THROW_OR_TERMINATE_NA`. Added thread-safety documentation for function calls that modify handlers.

Author: beached

include/daw/daw_check_exceptions.h

@@ -48,7 +48,7 @@ namespace daw::check_except_detail {
 		}
 
 		template<typename>
-		[[noreturn, maybe_unused]] DAW_ATTRIB_NOINLINE void terminate_error( ) {
+		[[noreturn, maybe_unused]] DAW_ATTRIB_NOINLINE inline void terminate_error( ) {
 			std::terminate( );
 		}
 	} // namespace
@@ -61,7 +61,7 @@ namespace daw::check_except_detail {
 	::daw::check_except_detail::throw_error( ExceptionType{ } )
 #else
 #define DAW_THROW_OR_TERMINATE( ExceptionType, ... ) \
-	::daw::check_except_detail::terminate_error<ExceptionType>( )
+	::daw::check_except_detail::terminate_error( )
 #define DAW_THROW_OR_TERMINATE_NA( ExceptionType ) \
-	::daw::check_except_detail::terminate_error<ExceptionType>( )
+	::daw::check_except_detail::terminate_error( )
 #endif

include/daw/daw_cpp_feature_check.h

@@ -160,3 +160,14 @@ inline constexpr bool daw_has_cx_cmath = false;
 #define DAW_HAS_CPP_CONSTEVAL
 #endif
 #endif
+
+#if defined( __cpp_constinit )
+#if __cpp_constinit >= 201907L
+#define DAW_HAS_CPP_CONSTINIT
+#define DAW_CONSTINIT constinit
+#endif
+#endif
+
+#if not defined( DAW_CONSTINIT )
+#define DAW_CONSTINIT
+#endif

include/daw/integers/impl/daw_signed_error_handling.h

@@ -10,6 +10,8 @@
 
 #include "daw/daw_arith_traits.h"
 #include "daw/daw_attributes.h"
+#include "daw/daw_check_exceptions.h"
+#include "daw/daw_cpp_feature_check.h"
 
 #include <exception>
 #include <memory>
@@ -34,29 +36,33 @@ namespace daw::integers {
 
 	namespace sint_impl {
 		inline auto &get_signed_integer_overflow_handler( ) {
-			static struct handler_t {
+			static DAW_CONSTINIT struct handler_t {
 				signed_int_error_handler_t cb = nullptr;
 				void *data = nullptr;
 			} handler{ };
 			return handler;
 		}
 
 		inline auto &get_signed_integer_div_by_zero_handler( ) {
-			static struct handler_t {
+			static DAW_CONSTINIT struct handler_t {
 				signed_int_error_handler_t cb = nullptr;
 				void *data = nullptr;
 			} handler{ };
 			return handler;
 		}
 	} // namespace sint_impl
 
+	/// Caller is responsible for ensuring that this is called in a context that
+	/// protects against multiple threads accessing/writing at the same time
 	DAW_ATTRIB_NOINLINE inline void register_signed_overflow_handler(
 	  signed_int_error_handler_t handler = nullptr,
 	  void *data = nullptr ) noexcept {
 		sint_impl::get_signed_integer_overflow_handler( ).cb = handler;
 		sint_impl::get_signed_integer_overflow_handler( ).data = data;
 	}
 
+	/// Caller is responsible for ensuring that this is called in a context that
+	/// protects against multiple threads accessing/writing at the same time
 	template<typename Func,
 	         std::enable_if_t<std::is_class_v<Func> and
 	                            std::is_invocable_v<Func, SignedIntegerErrorType>,
@@ -79,13 +85,17 @@ namespace daw::integers {
 		}
 	}
 
+	/// Caller is responsible for ensuring that this is called in a context that
+	/// protects against multiple threads accessing/writing at the same time
 	DAW_ATTRIB_NOINLINE inline void register_signed_div_by_zero_handler(
 	  signed_int_error_handler_t handler = nullptr,
 	  void *data = nullptr ) noexcept {
 		sint_impl::get_signed_integer_div_by_zero_handler( ).cb = handler;
 		sint_impl::get_signed_integer_div_by_zero_handler( ).data = data;
 	}
 
+	/// Caller is responsible for ensuring that this is called in a context that
+	/// protects against multiple threads accessing/writing at the same time
 	template<typename Func,
 	         std::enable_if_t<std::is_class_v<Func> and
 	                            std::is_invocable_v<Func, SignedIntegerErrorType>,
@@ -117,7 +127,7 @@ namespace daw::integers {
 			handler.cb( handler.data, SignedIntegerErrorType::Overflow );
 			return;
 		}
-		throw signed_integer_overflow_exception( );
+		DAW_THROW_OR_TERMINATE_NA( signed_integer_overflow_exception );
 	}
 
 	DAW_ATTRIB_NOINLINE inline void on_signed_integer_div_by_zero( ) {
@@ -126,6 +136,6 @@ namespace daw::integers {
 			handler.cb( handler.data, SignedIntegerErrorType::DivideByZero );
 			return;
 		}
-		throw signed_integer_div_by_zero_exception( );
+		DAW_THROW_OR_TERMINATE_NA( signed_integer_div_by_zero_exception );
 	}
 } // namespace daw::integers