diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-14 02:38:37 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-14 02:38:37 +0100 |
| commit | 2d56cc149fa8c07a92c9ee71950f3ec415590267 (patch) | |
| tree | 218bf47aa7a23db7b6c3f69cafccbe68fd4a935a /src/kernel/NeKit/Vettable.h | |
| parent | 74b02a538770b9646cd861c82430ad5fadea93eb (diff) | |
chore: improve Vettable pattern, add new concepts in Config.h
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'src/kernel/NeKit/Vettable.h')
| -rw-r--r-- | src/kernel/NeKit/Vettable.h | 25 |
1 files changed, 16 insertions, 9 deletions
diff --git a/src/kernel/NeKit/Vettable.h b/src/kernel/NeKit/Vettable.h index 2b8221d5..5520af01 100644 --- a/src/kernel/NeKit/Vettable.h +++ b/src/kernel/NeKit/Vettable.h @@ -11,8 +11,14 @@ #include <CompilerKit/CompilerKit.h> #include <NeKit/Config.h> -#define NE_VETTABLE final : public ::Kernel::IVettable -#define NE_NOT_VETTABLE final : public ::Kernel::INotVettable +#define NE_VETTABLE \ + final: \ + public \ + ::Kernel::IVettable +#define NE_NOT_VETTABLE \ + final: \ + public \ + ::Kernel::INotVettable namespace Kernel { /// @brief Vet interface for objects. @@ -30,29 +36,30 @@ struct INotVettable { NE_COPY_DEFAULT(INotVettable) }; -// false_type equivalent tag. template <class Type> -struct Vettable final {}; +struct Vettable final { + static constexpr bool kValue = false; +}; template <> struct Vettable<INotVettable> final { - static constexpr bool kValue = false; + static constexpr bool kValue = false; }; template <> struct Vettable<IVettable> final { - static constexpr bool kValue = true; + static constexpr bool kValue = true; }; /// @brief Concept version of Vettable. -template <typename T, typename OnFallback> +template <typename Type, typename OnFallback> concept IsVettable = requires(OnFallback fallback) { - { Vettable<T>::kValue ? true : fallback() }; + { Vettable<Type>::kValue ? TrueResult<Type>::kValue : fallback() }; }; template <class Type, typename OnFallback> concept IsNotVettable = requires(OnFallback fallback) { - { !Vettable<Type>::kValue ? true : fallback() }; + { !Vettable<Type>::kValue ? TrueResult<Type>::kValue : fallback() }; }; } // namespace Kernel |