Add checked_bit_cast

Author: davidstone

source/bounded/CMakeLists.txt

@@ -51,6 +51,7 @@ target_sources(bounded PUBLIC
 		cast.cpp
 		character.cpp
 		check_in_range.cpp
+		checked_bit_cast.cpp
 		clamp.cpp
 		common_type_and_value_category.cpp
 		comparison.cpp

source/bounded/bounded.cpp

@@ -15,6 +15,7 @@ export import bounded.builtin_min_max_value;
 export import bounded.cast;
 export import bounded.character;
 export import bounded.check_in_range;
+export import bounded.checked_bit_cast;
 export import bounded.clamp;
 export import bounded.common_type_and_value_category;
 export import bounded.comparison;

source/bounded/checked_bit_cast.cpp

@@ -0,0 +1,20 @@
+// Copyright David Stone 2024.
+// Distributed under the Boost Software License, Version 1.0.
+// (See accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+
+export module bounded.checked_bit_cast;
+
+import bounded.bounded_integer;
+import bounded.check_in_range;
+
+import std_module;
+
+namespace bounded {
+
+export template<bounded_integer T, typename Source>
+constexpr auto checked_bit_cast(Source const source) -> T {
+	return bounded::check_in_range<T>(std::bit_cast<typename T::underlying_type>(source));
+}
+
+} // namespace bounded