Fix BitCast to better reflect reference implementation

AlexMax · Dec 29, 2023 · 3bcafad · 3bcafad
1 parent a6a1de4
commit 3bcafad
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/include/lexio/core.hpp b/include/lexio/core.hpp
@@ -118,11 +118,10 @@ namespace Detail
  * @see https://en.cppreference.com/w/cpp/numeric/bit_cast
  */
 template <class TO, class FROM>
-inline TO BitCast(const FROM &src) noexcept
+inline std::enable_if_t<
+    sizeof(TO) == sizeof(FROM) && std::is_trivially_copyable<FROM>::value && std::is_trivially_copyable<TO>::value, TO>
+BitCast(const FROM &src) noexcept
 {
-    static_assert(sizeof(TO) == sizeof(FROM), "BitCast requires equal size.");
-    static_assert(std::is_trivially_copyable<FROM>::value, "BitCast FROM must be trivially copyable.");
-    static_assert(std::is_trivially_copyable<TO>::value, "BitCast TO must be trivially copyable.");
     static_assert(std::is_trivially_constructible<TO>::value, "BitCast TO must be trivially constructible.");
 
     TO dst;