stl: Update headers

type_traits: Add is_integral
optional: Add stub optional class
iterator: Add default_sentinel_t & default_sentinel
concepts: Add concepts header + integral concept
This commit is contained in:
EnderIce2 2024-11-15 01:34:34 +02:00
parent ef1c5bb39e
commit 1ab4ace23c
Signed by untrusted user who does not match committer: enderice2
GPG Key ID: EACC3AD603BAB4DD
4 changed files with 69 additions and 0 deletions

26
include_std/concepts Normal file
View File

@ -0,0 +1,26 @@
/*
This file is part of Fennix Kernel.
Fennix Kernel is free software: you can redistribute it and/or
modify it under the terms of the GNU General Public License as
published by the Free Software Foundation, either version 3 of
the License, or (at your option) any later version.
Fennix Kernel is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with Fennix Kernel. If not, see <https://www.gnu.org/licenses/>.
*/
#pragma once
#include <type_traits>
namespace std
{
template <class T>
concept integral = std::is_integral_v<T>;
}

View File

@ -129,4 +129,10 @@ namespace std
std::advance(it, n);
return it;
}
struct default_sentinel_t
{
};
inline constexpr default_sentinel_t default_sentinel{};
}

26
include_std/optional Normal file
View File

@ -0,0 +1,26 @@
/*
This file is part of Fennix Kernel.
Fennix Kernel is free software: you can redistribute it and/or
modify it under the terms of the GNU General Public License as
published by the Free Software Foundation, either version 3 of
the License, or (at your option) any later version.
Fennix Kernel is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with Fennix Kernel. If not, see <https://www.gnu.org/licenses/>.
*/
#pragma once
#include <concepts>
namespace std
{
template <class T>
class optional;
}

View File

@ -284,6 +284,17 @@ namespace std
template <bool B>
using bool_constant = integral_constant<bool, B>;
template <class T>
struct is_integral : bool_constant < requires(T t, T *p, void (*f)(T))
{
reinterpret_cast<T>(t);
f(0);
p + t;
} > {};
template <class T>
constexpr bool is_integral_v = is_integral<T>::value;
typedef integral_constant<bool, true> true_type;
typedef integral_constant<bool, false> false_type;