Expanded <type_traits> and <concepts>

Author: ZERICO2005

src/libcxx/header_test.cpp

@@ -26,6 +26,7 @@
 #include <exception>
 #include <initializer_list>
 #include <limits>
+#include <memory>
 #include <new>
 #include <numbers>
 #include <type_traits>

src/libcxx/include/__config

@@ -7,5 +7,12 @@
 #define _EZCXX_INLINE [[__gnu__::__visibility__("hidden"), __gnu__::__always_inline__]] inline
 #define _EZCXX_NODISCARD [[nodiscard]]
 #define _EZCXX_NODISCARD_EXT [[nodiscard]]
+#define _EZCXX_HIDDEN __attribute__((__visibility__("hidden")))
+#define _EZCXX_INTERNAL_LINKAGE __attribute__((internal_linkage))
+#define _EZCXX_EXCLUDE_FROM_EXPLICIT_INSTANTIATION __attribute__((__exclude_from_explicit_instantiation__))
+#define _EZCXX_HIDE_FROM_ABI _EZCXX_HIDDEN _EZCXX_EXCLUDE_FROM_EXPLICIT_INSTANTIATION
+#define _EZCXX_NODEBUG __attribute__((__nodebug__))
+#define _EZCXX_TEMPLATE_VIS __attribute__ ((__type_visibility__("default")))
+#define _EZCXX_LIFETIMEBOUND [[_Clang::__lifetimebound__]]
 
 #endif // _EZCXX_CONFIG

src/libcxx/include/concepts

@@ -1,4 +1,11 @@
 // -*- C++ -*-
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
 #ifndef _EZCXX_CONCEPTS
 #define _EZCXX_CONCEPTS
 
@@ -11,22 +18,38 @@ namespace std {
 template<class _Tp, class _Up>
 concept same_as = is_same<_Tp, _Up>::value && is_same<_Up, _Tp>::value;
 
-template<class _From, class _To>
-concept convertible_to =
-    is_convertible_v<_From, _To> &&
-    requires { static_cast<_To>(std::declval<_From>()); };
-
 template <class _Dp, class _Bp>
 concept derived_from =
     is_base_of_v<_Bp, _Dp> &&
     is_convertible_v<const volatile _Dp*, const volatile _Bp*>;
 
-template<class _Tp>
-concept destructible = is_nothrow_destructible_v<_Tp>;
+template<class _From, class _To>
+concept convertible_to =
+    is_convertible_v<_From, _To> &&
+    requires { static_cast<_To>(std::declval<_From>()); };
 
-template<class _Tp, class... _Args>
-concept constructible_from =
-    destructible<_Tp> && is_constructible_v<_Tp, _Args...>;
+template <class _Tp, class _Up>
+concept common_reference_with =
+    same_as<common_reference_t<_Tp, _Up>, common_reference_t<_Up, _Tp>> &&
+    convertible_to<_Tp, common_reference_t<_Tp, _Up>> && convertible_to<_Up, common_reference_t<_Tp, _Up>>;
+
+template <class _Tp, class _Up>
+concept common_with =
+    same_as<common_type_t<_Tp, _Up>, common_type_t<_Up, _Tp>> &&
+    requires {
+        static_cast<common_type_t<_Tp, _Up>>(std::declval<_Tp>());
+        static_cast<common_type_t<_Tp, _Up>>(std::declval<_Up>());
+    } &&
+    common_reference_with<
+        add_lvalue_reference_t<const _Tp>,
+        add_lvalue_reference_t<const _Up>> &&
+    common_reference_with<
+        add_lvalue_reference_t<common_type_t<_Tp, _Up>>,
+        common_reference_t<
+            add_lvalue_reference_t<const _Tp>,
+            add_lvalue_reference_t<const _Up>
+        >
+    >;
 
 template<class _Tp>
 concept integral = is_integral_v<_Tp>;
@@ -40,9 +63,19 @@ concept unsigned_integral = integral<_Tp> && !signed_integral<_Tp>;
 template<class _Tp>
 concept floating_point = is_floating_point_v<_Tp>;
 
+template<class _Tp>
+concept destructible = is_nothrow_destructible_v<_Tp>;
+
+template<class _Tp, class... _Args>
+concept constructible_from =
+    destructible<_Tp> && is_constructible_v<_Tp, _Args...>;
+
+template <class _Tp>
+concept default_initializable = constructible_from<_Tp> && requires { _Tp{}; ::new _Tp; };
+
 template<class _Tp>
 concept move_constructible =
-    constructible_from<_Tp, _Tp> && std::convertible_to<_Tp, _Tp>;
+    constructible_from<_Tp, _Tp> && convertible_to<_Tp, _Tp>;
 
 template<class _Tp>
 concept copy_constructible =

src/libcxx/include/memory

@@ -0,0 +1,19 @@
+// -*- C++ -*-
+#ifndef _EZCXX_MEMORY
+#define _EZCXX_MEMORY
+
+#pragma clang system_header
+
+namespace std {
+
+template <class _Tp>
+inline _Tp* addressof(_Tp& __x) noexcept {
+    return __builtin_addressof(__x);
+}
+
+template <class _Tp>
+_Tp* addressof(const _Tp&&) noexcept = delete;
+
+} // namespace std
+
+#endif // _EZCXX_MEMORY