DAW JSON Link
daw_json_req_helper.h
Go to the documentation of this file.
1 // Copyright (c) Darrell Wright
2 //
3 // Distributed under the Boost Software License, Version 1.0. (See accompanying
4 // file LICENSE or copy at http://www.boost.org/LICENSE_1_0.txt)
5 //
6 // Official repository: https://github.com/beached/daw_json_link
7 //
8 
9 #pragma once
10 
11 #include <daw/daw_cpp_feature_check.h>
12 
15 #if DAW_HAS_GCC_VER_LT( 13, 3 )
16 #define DAW_JSON_DONT_USE_CONCEPTS
17 #endif
18 
19 #if not defined( DAW_JSON_DONT_USE_CONCEPTS ) and defined( __cpp_lib_concepts )
20 #if __cpp_lib_concepts >= 202002L
21 #define DAW_JSON_USE_CONCEPTS
22 #endif
23 #endif
24 
25 #if defined( DAW_JSON_USE_CONCEPTS )
26 #define DAW_JSON_MAKE_REQ_TRAIT( Name, /*ReqExpression*/... ) \
27  template<typename T> \
28  inline constexpr bool Name = requires { \
29  __VA_ARGS__; \
30  }
31 #else
32 #define DAW_JSON_MAKE_REQ_TRAIT( Name, /*ReqExpression*/... ) \
33  template<typename, typename = void> \
34  inline constexpr bool Name = false; \
35  \
36  template<typename T> \
37  inline constexpr bool Name<T, std::void_t<decltype( __VA_ARGS__ )>> = true
38 #endif
39 
40 #if defined( DAW_JSON_USE_CONCEPTS )
41 #define DAW_JSON_MAKE_REQ_TRAIT2( Name, /*ReqExpression*/... ) \
42  template<typename T, typename U> \
43  inline constexpr bool Name = requires { \
44  __VA_ARGS__; \
45  }
46 #else
47 #define DAW_JSON_MAKE_REQ_TRAIT2( Name, /*ReqExpression*/... ) \
48  template<typename, typename, typename = void> \
49  inline constexpr bool Name = false; \
50  \
51  template<typename T, typename U> \
52  inline constexpr bool Name<T, U, std::void_t<decltype( __VA_ARGS__ )>> = \
53  true
54 #endif
55 
56 #if defined( DAW_JSON_USE_CONCEPTS )
57 #define DAW_JSON_MAKE_REQ_TRAIT2( Name, /*ReqExpression*/... ) \
58  template<typename T, typename U> \
59  inline constexpr bool Name = requires { \
60  __VA_ARGS__; \
61  }
62 #else
63 #define DAW_JSON_MAKE_REQ_TRAIT2( Name, /*ReqExpression*/... ) \
64  template<typename, typename, typename = void> \
65  inline constexpr bool Name = false; \
66  \
67  template<typename T, typename U> \
68  inline constexpr bool Name<T, U, std::void_t<decltype( __VA_ARGS__ )>> = \
69  true
70 #endif
71 
72 #if defined( DAW_JSON_USE_CONCEPTS )
73 #define DAW_JSON_MAKE_REQ_TRAIT3( Name, /*ReqExpression*/... ) \
74  template<typename T, typename U, typename V> \
75  inline constexpr bool Name = requires { \
76  __VA_ARGS__; \
77  }
78 #else
79 #define DAW_JSON_MAKE_REQ_TRAIT3( Name, /*ReqExpression*/... ) \
80  template<typename, typename, typename, typename = void> \
81  inline constexpr bool Name = false; \
82  \
83  template<typename T, typename U, typename V> \
84  inline constexpr bool Name<T, U, V, std::void_t<decltype( __VA_ARGS__ )>> = \
85  true
86 #endif
87 
88 #if defined( DAW_JSON_USE_CONCEPTS )
89 #define DAW_JSON_MAKE_REQ_TYPE_ALIAS_TRAIT_NT( Name, /*MemberTypeAlias*/... ) \
90  template<typename T, typename = void> \
91  inline constexpr bool Name = requires { \
92  typename __VA_ARGS__; \
93  }
94 #else
95 #define DAW_JSON_MAKE_REQ_TYPE_ALIAS_TRAIT_NT( Name, /*MemberTypeAlias*/... ) \
96  template<typename, typename = void> \
97  inline constexpr bool Name = false; \
98  \
99  template<typename T> \
100  inline constexpr bool Name<T, std::void_t<__VA_ARGS__>> = true
101 #endif
102 
103 #if defined( DAW_JSON_USE_CONCEPTS )
104 #define DAW_JSON_MAKE_REQ_TYPE_ALIAS_TRAIT( Name, /*MemberTypeAlias*/... ) \
105  template<typename T, typename = void> \
106  inline constexpr bool Name = requires { \
107  typename __VA_ARGS__; \
108  }
109 #else
110 #define DAW_JSON_MAKE_REQ_TYPE_ALIAS_TRAIT( Name, /*MemberTypeAlias*/... ) \
111  template<typename, typename = void> \
112  inline constexpr bool Name = false; \
113  \
114  template<typename T> \
115  inline constexpr bool Name<T, std::void_t<typename __VA_ARGS__>> = true
116 #endif
117 
118 #if defined( DAW_JSON_USE_CONCEPTS )
119 #define DAW_JSON_MAKE_REQ_TYPE_ALIAS_TRAIT2( Name, /*MemberTypeAlias*/... ) \
120  template<typename T, typename U> \
121  inline constexpr bool Name = requires { \
122  __VA_ARGS__; \
123  }
124 #else
125 #define DAW_JSON_MAKE_REQ_TYPE_ALIAS_TRAIT2( Name, /*MemberTypeAlias*/... ) \
126  template<typename, typename, typename = void> \
127  inline constexpr bool Name = false; \
128  \
129  template<typename T, typename U> \
130  inline constexpr bool Name<T, U, std::void_t<__VA_ARGS__>> = true
131 #endif
Generated by doxygen 1.9.1