refactor: Enhance unchecked operations with constexpr checks for type compatibility

Signed-off-by: FrozenlemonTee <1115306170@qq.com>

Author: FrozenLemonTee

src/operations/invoker.cppm

@@ -545,15 +545,27 @@ template <typename T>
 constexpr auto unchecked_mod(T lhs, T rhs) -> policy::value::decision<T> {
   policy::value::decision<T> out{};
   out.has_value = true;
-  out.value = static_cast<T>(lhs % rhs);
+
+  if constexpr (requires { lhs % rhs; }) {
+    out.value = static_cast<T>(lhs % rhs);
+    return out;
+  }
+
+  out.value = T{};
   return out;
 }
 
 template <typename T>
 constexpr auto unchecked_shift_left(T lhs, T rhs) -> policy::value::decision<T> {
   policy::value::decision<T> out{};
   out.has_value = true;
-  out.value = static_cast<T>(lhs << rhs);
+
+  if constexpr (requires { lhs << rhs; }) {
+    out.value = static_cast<T>(lhs << rhs);
+    return out;
+  }
+
+  out.value = T{};
   return out;
 }
 
@@ -562,55 +574,97 @@ constexpr auto unchecked_shift_right(T lhs, T rhs)
     -> policy::value::decision<T> {
   policy::value::decision<T> out{};
   out.has_value = true;
-  out.value = static_cast<T>(lhs >> rhs);
+
+  if constexpr (requires { lhs >> rhs; }) {
+    out.value = static_cast<T>(lhs >> rhs);
+    return out;
+  }
+
+  out.value = T{};
   return out;
 }
 
 template <typename T>
 constexpr auto unchecked_bit_and(T lhs, T rhs) -> policy::value::decision<T> {
   policy::value::decision<T> out{};
   out.has_value = true;
-  out.value = static_cast<T>(lhs & rhs);
+
+  if constexpr (requires { lhs & rhs; }) {
+    out.value = static_cast<T>(lhs & rhs);
+    return out;
+  }
+
+  out.value = T{};
   return out;
 }
 
 template <typename T>
 constexpr auto unchecked_bit_or(T lhs, T rhs) -> policy::value::decision<T> {
   policy::value::decision<T> out{};
   out.has_value = true;
-  out.value = static_cast<T>(lhs | rhs);
+
+  if constexpr (requires { lhs | rhs; }) {
+    out.value = static_cast<T>(lhs | rhs);
+    return out;
+  }
+
+  out.value = T{};
   return out;
 }
 
 template <typename T>
 constexpr auto unchecked_bit_xor(T lhs, T rhs) -> policy::value::decision<T> {
   policy::value::decision<T> out{};
   out.has_value = true;
-  out.value = static_cast<T>(lhs ^ rhs);
+
+  if constexpr (requires { lhs ^ rhs; }) {
+    out.value = static_cast<T>(lhs ^ rhs);
+    return out;
+  }
+
+  out.value = T{};
   return out;
 }
 
 template <typename T>
 constexpr auto unchecked_bit_not(T lhs) -> policy::value::decision<T> {
   policy::value::decision<T> out{};
   out.has_value = true;
-  out.value = static_cast<T>(~lhs);
+
+  if constexpr (requires { ~lhs; }) {
+    out.value = static_cast<T>(~lhs);
+    return out;
+  }
+
+  out.value = T{};
   return out;
 }
 
 template <typename T>
 constexpr auto unchecked_unary_plus(T lhs) -> policy::value::decision<T> {
   policy::value::decision<T> out{};
   out.has_value = true;
-  out.value = static_cast<T>(+lhs);
+
+  if constexpr (requires { +lhs; }) {
+    out.value = static_cast<T>(+lhs);
+    return out;
+  }
+
+  out.value = T{};
   return out;
 }
 
 template <typename T>
 constexpr auto unchecked_unary_minus(T lhs) -> policy::value::decision<T> {
   policy::value::decision<T> out{};
   out.has_value = true;
-  out.value = static_cast<T>(-lhs);
+
+  if constexpr (requires { -lhs; }) {
+    out.value = static_cast<T>(-lhs);
+    return out;
+  }
+
+  out.value = T{};
   return out;
 }