Sane C++ Libraries
C++ Platform Abstraction Libraries
Loading...
Searching...
No Matches
Compiler.h
1// Copyright (c) Stefano Cristiano
2// SPDX-License-Identifier: MIT
3#pragma once
4#if defined(SC_COMPILER_ENABLE_CONFIG)
5#include "SCConfig.h"
6#endif
11
14
15#if __clang__
16#define SC_COMPILER_CLANG 1
17#define SC_COMPILER_GCC 0
18#define SC_COMPILER_MSVC 0
19
20#if _MSC_VER
21#define SC_COMPILER_CLANG_CL 1
22#else
23#define SC_COMPILER_CLANG_CL 0
24#endif
25
26#elif _MSC_VER
27#define SC_COMPILER_CLANG 0
28#define SC_COMPILER_GCC 0
29#define SC_COMPILER_MSVC 1
30#define SC_COMPILER_CLANG_CL 0
31
32#else
33#define SC_COMPILER_CLANG 0
34#define SC_COMPILER_GCC 1
35#define SC_COMPILER_MSVC 0
36#define SC_COMPILER_CLANG_CL 0
37#endif
38
39#if SC_COMPILER_MSVC
40
41#define SC_COMPILER_FORCE_INLINE __forceinline
42#define SC_COMPILER_DEBUG_BREAK __debugbreak()
43
44#else
45
46#define SC_COMPILER_FORCE_INLINE __attribute__((always_inline)) inline
47#if defined(__has_builtin)
48#if __has_builtin(__builtin_debugtrap)
49#define SC_COMPILER_DEBUG_BREAK __builtin_debugtrap()
50#elif __has_builtin(__builtin_trap)
51#define SC_COMPILER_DEBUG_BREAK __builtin_trap()
52#else
53#error "No __builtin_trap or __builtin_debugtrap"
54#endif
55#else
56#error "No __has_builtin"
57#endif
58
59#endif
60
62#if SC_COMPILER_MSVC || SC_COMPILER_CLANG_CL
63
64#if defined(SC_PLUGIN_LIBRARY)
65#define SC_COMPILER_EXPORT __declspec(dllimport)
66#define SC_COMPILER_EXTERN extern
67#else
68#define SC_COMPILER_EXPORT __declspec(dllexport)
69#define SC_COMPILER_EXTERN
70#endif
71
72#else
73
74#define SC_COMPILER_EXTERN
75#if defined(SC_PLUGIN_LIBRARY)
76#define SC_COMPILER_EXPORT
77#else
78#define SC_COMPILER_EXPORT __attribute__((visibility("default")))
79#endif
80
81#endif
82
83#if !DOXYGEN && defined(SC_LIBRARY_PATH)
84#define SC_COMPILER_MACRO_ESCAPE(input) __SC_COMPILER_MACRO_ESCAPE_HELPER(input)
85#define __SC_COMPILER_MACRO_ESCAPE_HELPER(input) #input
86#define __SC_COMPILER_MACRO_TO_LITERAL(string) #string
87#define SC_COMPILER_MACRO_TO_LITERAL(string) __SC_COMPILER_MACRO_TO_LITERAL(string)
88#define SC_COMPILER_LIBRARY_PATH SC_COMPILER_MACRO_TO_LITERAL(SC_COMPILER_MACRO_ESCAPE(SC_LIBRARY_PATH))
89#endif
90
91#if defined(__SANITIZE_ADDRESS__)
92#define SC_COMPILER_ASAN 1
93#else
94#define SC_COMPILER_ASAN 0
95#endif
96
98#if defined(__clang__)
99#define SC_COMPILER_WARNING_POP _Pragma("clang diagnostic pop")
100#elif defined(__GNUC__)
101#define SC_COMPILER_WARNING_POP _Pragma("GCC diagnostic pop")
102#else
103#define SC_COMPILER_WARNING_POP _Pragma("warning(pop)")
104#endif
105
107#define SC_COMPILER_OFFSETOF(Class, Field) __builtin_offsetof(Class, Field)
108
109// clang-format off
110namespace SC
111{
112template <int offset, typename T, typename R> T& fieldOffset(R& object) { return *reinterpret_cast<T*>(reinterpret_cast<char*>(&object) - offset); }
113} // namespace SC
114#define SC_COMPILER_FIELD_OFFSET(Class, Field, Value) SC::fieldOffset<SC_COMPILER_OFFSETOF(Class, Field), Class, decltype(Class::Field)>(Value);
115// clang-format on
116
118#if SC_COMPILER_CLANG
119#define SC_COMPILER_WARNING_PUSH_OFFSETOF \
120 _Pragma("clang diagnostic push"); \
121 _Pragma("clang diagnostic ignored \"-Winvalid-offsetof\"");
122#elif SC_COMPILER_GCC
123#define SC_COMPILER_WARNING_PUSH_OFFSETOF \
124 _Pragma("GCC diagnostic push"); \
125 _Pragma("GCC diagnostic ignored \"-Winvalid-offsetof\"");
126#else
127#define SC_COMPILER_WARNING_PUSH_OFFSETOF _Pragma("warning(push)")
128#endif
129
131#define SC_COMPILER_UNUSED(param) ((void)param)
132
134#if SC_COMPILER_CLANG
135#define SC_COMPILER_WARNING_PUSH_UNUSED_RESULT \
136 _Pragma("clang diagnostic push") _Pragma("clang diagnostic ignored \"-Wunused-result\"")
137#elif SC_COMPILER_GCC
138#define SC_COMPILER_WARNING_PUSH_UNUSED_RESULT \
139 _Pragma("GCC diagnostic push") _Pragma("GCC diagnostic ignored \"-Wunused-result\"")
140#else
141#define SC_COMPILER_WARNING_PUSH_UNUSED_RESULT _Pragma("warning(push)") _Pragma("warning(disable : 4834 6031)")
142#endif
143
145#if defined(SC_LANGUAGE_FORCE_STANDARD_CPP)
146#if SC_LANGUAGE_FORCE_STANDARD_CPP == 14
147#define SC_LANGUAGE_CPP_VERSION 201402L
148#elif SC_LANGUAGE_FORCE_STANDARD_CPP == 17
149#define SC_LANGUAGE_CPP_VERSION 201703L
150#elif SC_LANGUAGE_FORCE_STANDARD_CPP == 20
151#define SC_LANGUAGE_CPP_VERSION 202002L
152#else
153#error "SC_LANGUAGE_FORCE_STANDARD_CPP has invalid value"
154#endif
155#else
156
158#if SC_COMPILER_MSVC
159#define SC_LANGUAGE_CPP_VERSION _MSVC_LANG
160#else
161#define SC_LANGUAGE_CPP_VERSION __cplusplus
162#endif
163
164#endif
165
166#if SC_LANGUAGE_CPP_VERSION >= 202002L
167
168#define SC_LANGUAGE_CPP_AT_LEAST_20 1
169#define SC_LANGUAGE_CPP_AT_LEAST_17 1
170#define SC_LANGUAGE_CPP_AT_LEAST_14 1
171
172#elif SC_LANGUAGE_CPP_VERSION >= 201703L
173
174#define SC_LANGUAGE_CPP_AT_LEAST_20 0
175#define SC_LANGUAGE_CPP_AT_LEAST_17 1
176#define SC_LANGUAGE_CPP_AT_LEAST_14 1
177
178#elif SC_LANGUAGE_CPP_VERSION >= 201402L
179
180#define SC_LANGUAGE_CPP_AT_LEAST_20 0
181#define SC_LANGUAGE_CPP_AT_LEAST_17 0
182#define SC_LANGUAGE_CPP_AT_LEAST_14 1
183
184#else
185
186#define SC_LANGUAGE_CPP_AT_LEAST_20 0
187#define SC_LANGUAGE_CPP_AT_LEAST_17 0
188#define SC_LANGUAGE_CPP_AT_LEAST_14 0
189
190#endif
191
192#undef SC_LANGUAGE_CPP_VERSION
193
194#if SC_LANGUAGE_CPP_AT_LEAST_20
195#define SC_LANGUAGE_LIKELY [[likely]]
196#define SC_LANGUAGE_UNLIKELY [[unlikely]]
197#else
198#define SC_LANGUAGE_LIKELY
199#define SC_LANGUAGE_UNLIKELY
200#endif
201
202#if SC_LANGUAGE_CPP_AT_LEAST_17
203#define SC_LANGUAGE_IF_CONSTEXPR constexpr
204#else
205#define SC_LANGUAGE_IF_CONSTEXPR
206#endif
207
208#if __cpp_exceptions == 199711 || _EXCEPTIONS
209#define SC_LANGUAGE_EXCEPTIONS 1
210#else
211#define SC_LANGUAGE_EXCEPTIONS 0
212#endif
213
214#ifndef __has_cpp_attribute
215#define SC_LANGUAGE_LIFETIME_BOUND
216#elif __has_cpp_attribute(msvc::lifetimebound)
217#define SC_LANGUAGE_LIFETIME_BOUND [[msvc::lifetimebound]]
218#elif __has_cpp_attribute(clang::lifetimebound)
219#define SC_LANGUAGE_LIFETIME_BOUND [[clang::lifetimebound]]
220#elif __has_cpp_attribute(lifetimebound)
221#define SC_LANGUAGE_LIFETIME_BOUND [[lifetimebound]]
222#else
223#define SC_LANGUAGE_LIFETIME_BOUND
224#endif
225
227// clang-format off
228namespace SC
229{
230namespace TypeTraits
231{
234
236template <class T> struct RemoveReference { using type = T; };
237template <class T> struct RemoveReference<T&> { using type = T; };
238template <class T> struct RemoveReference<T&&> { using type = T; };
240template <class T> struct IsLValueReference { static constexpr bool value = false; };
241template <class T> struct IsLValueReference<T&> { static constexpr bool value = true; };
243template <class T> struct IsRValueReference { static constexpr bool value = false; };
244template <class T> struct IsRValueReference<T&&>{ static constexpr bool value = true; };
246
247}
252
255
257template <typename T> constexpr T&& move(T& value) { return static_cast<T&&>(value); }
258
260template <typename T> constexpr T&& forward(typename TypeTraits::RemoveReference<T>::type& value) { return static_cast<T&&>(value); }
261
263template <typename T> constexpr T&& forward(typename TypeTraits::RemoveReference<T>::type&& value)
264{
265 static_assert(!TypeTraits::IsLValueReference<T>::value, "Forward an rvalue as an lvalue is not allowed");
266 return static_cast<T&&>(value);
267}
268
270template <typename T> constexpr inline void swap(T& t1, T& t2) { T temp = move(t1); t1 = move(t2); t2 = move(temp); }
272
273#ifdef max
274#undef max
275#endif
276#ifdef min
277#undef min
278#endif
281
283template <typename T> constexpr const T& min(const T& t1, const T& t2) { return t1 < t2 ? t1 : t2; }
285template <typename T> constexpr const T& max(const T& t1, const T& t2) { return t1 > t2 ? t1 : t2; }
286
288
289} // namespace SC
290// clang-format on
constexpr const T & min(const T &t1, const T &t2)
Finds the minimum of two values.
Definition Compiler.h:283
constexpr const T & max(const T &t1, const T &t2)
Finds the maximum of two values.
Definition Compiler.h:285
constexpr T && move(T &value)
Converts an lvalue to an rvalue reference.
Definition Compiler.h:257
constexpr T && forward(typename TypeTraits::RemoveReference< T >::type &value)
Forwards an lvalue or an rvalue as an rvalue reference.
Definition Compiler.h:260
constexpr void swap(T &t1, T &t2)
Swaps the values of two objects.
Definition Compiler.h:270
Determines if a type is an lvalue reference.
Definition Compiler.h:240
Determines if a type is an rvalue reference.
Definition Compiler.h:243
Removes reference from a type T.
Definition Compiler.h:236