|
| 1 | +#pragma once |
| 2 | + |
| 3 | +#include "REX/BASE.h" |
| 4 | + |
| 5 | +namespace REX |
| 6 | +{ |
| 7 | + template <class T, class U> |
| 8 | + [[nodiscard]] auto ADJUST_POINTER(U* a_ptr, std::ptrdiff_t a_adjust) noexcept |
| 9 | + { |
| 10 | + auto addr = a_ptr ? reinterpret_cast<std::uintptr_t>(a_ptr) + a_adjust : 0; |
| 11 | + if constexpr (std::is_const_v<U> && std::is_volatile_v<U>) { |
| 12 | + return reinterpret_cast<std::add_cv_t<T>*>(addr); |
| 13 | + } else if constexpr (std::is_const_v<U>) { |
| 14 | + return reinterpret_cast<std::add_const_t<T>*>(addr); |
| 15 | + } else if constexpr (std::is_volatile_v<U>) { |
| 16 | + return reinterpret_cast<std::add_volatile_t<T>*>(addr); |
| 17 | + } else { |
| 18 | + return reinterpret_cast<T*>(addr); |
| 19 | + } |
| 20 | + } |
| 21 | + |
| 22 | + template <class T> |
| 23 | + void EMPLACE_VTABLE(T* a_ptr) |
| 24 | + { |
| 25 | + reinterpret_cast<std::uintptr_t*>(a_ptr)[0] = T::VTABLE[0].address(); |
| 26 | + } |
| 27 | + |
| 28 | + template <class T> |
| 29 | + void MEM_WRITE_ZERO(volatile T* a_ptr, std::size_t a_size = sizeof(T)) |
| 30 | + { |
| 31 | + std::fill_n(reinterpret_cast<volatile char*>(a_ptr), a_size, '\0'); |
| 32 | + } |
| 33 | + |
| 34 | + template <class T1, class T2> |
| 35 | + [[nodiscard]] T1 UNRESTRICTED_CAST(T2 a_from) |
| 36 | + { |
| 37 | + if constexpr (std::is_same_v< |
| 38 | + std::remove_cv_t<T2>, |
| 39 | + std::remove_cv_t<T1>>) { |
| 40 | + return T1{ a_from }; |
| 41 | + |
| 42 | + // From != To |
| 43 | + } else if constexpr (std::is_reference_v<T2>) { |
| 44 | + return unrestricted_cast<T1>(std::addressof(a_from)); |
| 45 | + |
| 46 | + // From: NOT reference |
| 47 | + } else if constexpr (std::is_reference_v<T1>) { |
| 48 | + return *unrestricted_cast< |
| 49 | + std::add_pointer_t< |
| 50 | + std::remove_reference_t<T1>>>(a_from); |
| 51 | + |
| 52 | + // To: NOT reference |
| 53 | + } else if constexpr (std::is_pointer_v<T2> && |
| 54 | + std::is_pointer_v<T1>) { |
| 55 | + return static_cast<T1>( |
| 56 | + const_cast<void*>( |
| 57 | + static_cast<const volatile void*>(a_from))); |
| 58 | + } else if constexpr ((std::is_pointer_v<T2> && std::is_integral_v<T1>) || |
| 59 | + (std::is_integral_v<T2> && std::is_pointer_v<T1>)) { |
| 60 | + return reinterpret_cast<T1>(a_from); |
| 61 | + } else { |
| 62 | + union |
| 63 | + { |
| 64 | + std::remove_cv_t<std::remove_reference_t<T2>> from; |
| 65 | + std::remove_cv_t<std::remove_reference_t<T1>> to; |
| 66 | + }; |
| 67 | + |
| 68 | + from = std::forward<T2>(a_from); |
| 69 | + return to; |
| 70 | + } |
| 71 | + } |
| 72 | +} |
0 commit comments