blob: 86874085afe181da607d3857843bfae70eb75f2f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
======================================== */
#pragma once
#include <CompilerKit/CompilerKit.h>
#include <NeKit/Config.h>
#define NE_VETTABLE : public IVet
namespace Kernel {
/// @brief Vet interface for objects.
struct IVet {
IVet() = default;
virtual ~IVet() = default;
NE_COPY_DEFAULT(IVet)
/// @brief Start vetting object for validity.
auto DoVet() const { return false; }
};
template <typename T>
struct Vettable final {
static constexpr bool kValue = false;
};
template <>
struct Vettable<IVet> final {
static constexpr bool kValue = true;
};
/// @brief Concept version of Vettable.
template <typename T, typename Fallback>
concept IVettable = requires(IVet vettable, Fallback fallback) {
{ Vettable<T>::kValue ? vettable.DoVet() : fallback(vettable) };
};
} // namespace Kernel
|