blob: ed5aea6f7a19ae579740d1c6905ba225141ee83f [file] [log] [blame]
Howard Hinnantc51e1022010-05-11 19:42:16 +00001// -*- C++ -*-
Louis Dionne9bd93882021-11-17 16:25:01 -05002//===----------------------------------------------------------------------===//
Howard Hinnantc51e1022010-05-11 19:42:16 +00003//
Chandler Carruthd2012102019-01-19 10:56:40 +00004// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5// See https://llvm.org/LICENSE.txt for license information.
6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Howard Hinnantc51e1022010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
10#ifndef _LIBCPP_CSTDDEF
11#define _LIBCPP_CSTDDEF
12
13/*
14 cstddef synopsis
15
16Macros:
17
18 offsetof(type,member-designator)
19 NULL
Howard Hinnant3b6579a2010-08-22 00:02:43 +000020
Howard Hinnantc51e1022010-05-11 19:42:16 +000021namespace std
22{
23
24Types:
25
26 ptrdiff_t
27 size_t
Joerg Sonnenberger09c4ae52020-04-04 00:48:02 +020028 max_align_t // C++11
Howard Hinnantc51e1022010-05-11 19:42:16 +000029 nullptr_t
Marshall Clowcade1f72017-03-24 05:45:39 +000030 byte // C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +000031
32} // std
33
34*/
35
36#include <__config>
Marshall Clow0a1e7502018-09-12 19:41:40 +000037#include <version>
Howard Hinnant59ef87b2010-06-02 18:53:22 +000038
Howard Hinnantaaaa52b2011-10-17 20:05:10 +000039#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
Howard Hinnantc51e1022010-05-11 19:42:16 +000040#pragma GCC system_header
Howard Hinnantaaaa52b2011-10-17 20:05:10 +000041#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +000042
Richard Smith523b1722015-10-09 00:26:50 +000043// Don't include our own <stddef.h>; we don't want to declare ::nullptr_t.
44#include_next <stddef.h>
45#include <__nullptr>
46
Howard Hinnantc51e1022010-05-11 19:42:16 +000047_LIBCPP_BEGIN_NAMESPACE_STD
48
Louis Dionne9c660c62021-06-02 10:41:37 -040049using ::ptrdiff_t _LIBCPP_USING_IF_EXISTS;
50using ::size_t _LIBCPP_USING_IF_EXISTS;
Howard Hinnantc51e1022010-05-11 19:42:16 +000051
Joerg Sonnenberger09c4ae52020-04-04 00:48:02 +020052#if !defined(_LIBCPP_CXX03_LANG)
Louis Dionne9c660c62021-06-02 10:41:37 -040053using ::max_align_t _LIBCPP_USING_IF_EXISTS;
Chandler Carruth4dcf1992014-02-21 08:37:30 +000054#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +000055
Eric Fiselierd2971c62020-02-14 17:34:46 +010056template <class _Tp> struct __libcpp_is_integral { enum { value = 0 }; };
57template <> struct __libcpp_is_integral<bool> { enum { value = 1 }; };
58template <> struct __libcpp_is_integral<char> { enum { value = 1 }; };
59template <> struct __libcpp_is_integral<signed char> { enum { value = 1 }; };
60template <> struct __libcpp_is_integral<unsigned char> { enum { value = 1 }; };
Louis Dionne89258142021-08-23 15:32:36 -040061#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS
Eric Fiselierd2971c62020-02-14 17:34:46 +010062template <> struct __libcpp_is_integral<wchar_t> { enum { value = 1 }; };
Louis Dionne89258142021-08-23 15:32:36 -040063#endif
Arthur O'Dwyerafa5d5f2021-04-18 21:47:08 -040064#ifndef _LIBCPP_HAS_NO_CHAR8_T
Eric Fiselierd2971c62020-02-14 17:34:46 +010065template <> struct __libcpp_is_integral<char8_t> { enum { value = 1 }; };
66#endif
67#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
68template <> struct __libcpp_is_integral<char16_t> { enum { value = 1 }; };
69template <> struct __libcpp_is_integral<char32_t> { enum { value = 1 }; };
Louis Dionne96fc5f52021-09-09 11:25:10 -040070#endif
Eric Fiselierd2971c62020-02-14 17:34:46 +010071template <> struct __libcpp_is_integral<short> { enum { value = 1 }; };
72template <> struct __libcpp_is_integral<unsigned short> { enum { value = 1 }; };
73template <> struct __libcpp_is_integral<int> { enum { value = 1 }; };
74template <> struct __libcpp_is_integral<unsigned int> { enum { value = 1 }; };
75template <> struct __libcpp_is_integral<long> { enum { value = 1 }; };
76template <> struct __libcpp_is_integral<unsigned long> { enum { value = 1 }; };
77template <> struct __libcpp_is_integral<long long> { enum { value = 1 }; };
78template <> struct __libcpp_is_integral<unsigned long long> { enum { value = 1 }; };
79#ifndef _LIBCPP_HAS_NO_INT128
80template <> struct __libcpp_is_integral<__int128_t> { enum { value = 1 }; };
81template <> struct __libcpp_is_integral<__uint128_t> { enum { value = 1 }; };
82#endif
83
Howard Hinnantc51e1022010-05-11 19:42:16 +000084_LIBCPP_END_NAMESPACE_STD
85
Marshall Clowcade1f72017-03-24 05:45:39 +000086#if _LIBCPP_STD_VER > 14
87namespace std // purposefully not versioned
88{
89enum class byte : unsigned char {};
90
Eric Fiselierd2971c62020-02-14 17:34:46 +010091
92template <bool> struct __enable_if_integral_imp {};
93template <> struct __enable_if_integral_imp<true> { using type = byte; };
94template <class _Tp> using _EnableByteOverload = typename __enable_if_integral_imp<__libcpp_is_integral<_Tp>::value>::type;
95
Marshall Clowcade1f72017-03-24 05:45:39 +000096constexpr byte operator| (byte __lhs, byte __rhs) noexcept
Marshall Clow31c8f462017-11-14 01:14:53 +000097{
Louis Dionne44bcff92018-08-03 22:36:53 +000098 return static_cast<byte>(
99 static_cast<unsigned char>(
100 static_cast<unsigned int>(__lhs) | static_cast<unsigned int>(__rhs)
101 ));
Marshall Clow31c8f462017-11-14 01:14:53 +0000102}
103
104constexpr byte& operator|=(byte& __lhs, byte __rhs) noexcept
105{ return __lhs = __lhs | __rhs; }
106
107constexpr byte operator& (byte __lhs, byte __rhs) noexcept
108{
Louis Dionne44bcff92018-08-03 22:36:53 +0000109 return static_cast<byte>(
110 static_cast<unsigned char>(
111 static_cast<unsigned int>(__lhs) & static_cast<unsigned int>(__rhs)
112 ));
Marshall Clow31c8f462017-11-14 01:14:53 +0000113}
Marshall Clowcade1f72017-03-24 05:45:39 +0000114
115constexpr byte& operator&=(byte& __lhs, byte __rhs) noexcept
Marshall Clow31c8f462017-11-14 01:14:53 +0000116{ return __lhs = __lhs & __rhs; }
117
118constexpr byte operator^ (byte __lhs, byte __rhs) noexcept
119{
Louis Dionne44bcff92018-08-03 22:36:53 +0000120 return static_cast<byte>(
121 static_cast<unsigned char>(
122 static_cast<unsigned int>(__lhs) ^ static_cast<unsigned int>(__rhs)
123 ));
Marshall Clow31c8f462017-11-14 01:14:53 +0000124}
Marshall Clowcade1f72017-03-24 05:45:39 +0000125
Louis Dionne44bcff92018-08-03 22:36:53 +0000126constexpr byte& operator^=(byte& __lhs, byte __rhs) noexcept
Marshall Clow31c8f462017-11-14 01:14:53 +0000127{ return __lhs = __lhs ^ __rhs; }
Marshall Clowcade1f72017-03-24 05:45:39 +0000128
129constexpr byte operator~ (byte __b) noexcept
Marshall Clow31c8f462017-11-14 01:14:53 +0000130{
131 return static_cast<byte>(
132 static_cast<unsigned char>(
133 ~static_cast<unsigned int>(__b)
134 ));
135}
Eric Fiselierd2971c62020-02-14 17:34:46 +0100136template <class _Integer>
137 constexpr _EnableByteOverload<_Integer> &
138 operator<<=(byte& __lhs, _Integer __shift) noexcept
139 { return __lhs = __lhs << __shift; }
Marshall Clowcade1f72017-03-24 05:45:39 +0000140
Eric Fiselierd2971c62020-02-14 17:34:46 +0100141template <class _Integer>
142 constexpr _EnableByteOverload<_Integer>
143 operator<< (byte __lhs, _Integer __shift) noexcept
144 { return static_cast<byte>(static_cast<unsigned char>(static_cast<unsigned int>(__lhs) << __shift)); }
145
146template <class _Integer>
147 constexpr _EnableByteOverload<_Integer> &
148 operator>>=(byte& __lhs, _Integer __shift) noexcept
149 { return __lhs = __lhs >> __shift; }
150
151template <class _Integer>
152 constexpr _EnableByteOverload<_Integer>
153 operator>> (byte __lhs, _Integer __shift) noexcept
154 { return static_cast<byte>(static_cast<unsigned char>(static_cast<unsigned int>(__lhs) >> __shift)); }
155
156template <class _Integer, class = _EnableByteOverload<_Integer> >
Arthur O'Dwyer108facb2021-04-05 14:56:03 -0400157 _LIBCPP_NODISCARD_EXT constexpr _Integer
Eric Fiselierd2971c62020-02-14 17:34:46 +0100158 to_integer(byte __b) noexcept { return static_cast<_Integer>(__b); }
Marshall Clowcade1f72017-03-24 05:45:39 +0000159}
160
Marshall Clowcade1f72017-03-24 05:45:39 +0000161#endif
162
Louis Dionne2b1ceaa2021-04-20 12:03:32 -0400163#endif // _LIBCPP_CSTDDEF