19 #ifndef CPP_CONCEPTS_HPP
20 #define CPP_CONCEPTS_HPP
24 #include <initializer_list>
26 #include <type_traits>
33 #if defined(__clang__) && __cplusplus <= 201703L
34 #define CPP_PP_IGNORE_CXX2A_COMPAT_BEGIN \
36 CPP_DIAGNOSTIC_IGNORE_CPP2A_COMPAT
38 #define CPP_PP_IGNORE_CXX2A_COMPAT_END \
42 #define CPP_PP_IGNORE_CXX2A_COMPAT_BEGIN
43 #define CPP_PP_IGNORE_CXX2A_COMPAT_END
46 #if defined(_MSC_VER) && !defined(__clang__)
47 #define CPP_WORKAROUND_MSVC_779763
48 #define CPP_WORKAROUND_MSVC_784772
51 #if !defined(CPP_CXX_CONCEPTS)
52 #ifdef CPP_DOXYGEN_INVOKED
53 #define CPP_CXX_CONCEPTS 201800L
54 #elif defined(__cpp_concepts) && __cpp_concepts > 0
56 #if !defined(__GNUC__) || defined(__clang__) || __GNUC__ >= 7
57 #define CPP_CXX_CONCEPTS __cpp_concepts
59 #define CPP_CXX_CONCEPTS 0L
62 #define CPP_CXX_CONCEPTS 0L
66 #define CPP_PP_CAT_(X, ...) X ## __VA_ARGS__
67 #define CPP_PP_CAT(X, ...) CPP_PP_CAT_(X, __VA_ARGS__)
69 #define CPP_PP_EVAL_(X, ARGS) X ARGS
70 #define CPP_PP_EVAL(X, ...) CPP_PP_EVAL_(X, (__VA_ARGS__))
72 #define CPP_PP_EVAL2_(X, ARGS) X ARGS
73 #define CPP_PP_EVAL2(X, ...) CPP_PP_EVAL2_(X, (__VA_ARGS__))
75 #define CPP_PP_EXPAND(...) __VA_ARGS__
76 #define CPP_PP_EAT(...)
78 #define CPP_PP_FIRST(LIST) CPP_PP_FIRST_ LIST
79 #define CPP_PP_FIRST_(...) __VA_ARGS__ CPP_PP_EAT
81 #define CPP_PP_SECOND(LIST) CPP_PP_SECOND_ LIST
82 #define CPP_PP_SECOND_(...) CPP_PP_EXPAND
84 #define CPP_PP_CHECK(...) CPP_PP_EXPAND(CPP_PP_CHECK_N(__VA_ARGS__, 0,))
85 #define CPP_PP_CHECK_N(x, n, ...) n
86 #define CPP_PP_PROBE(x) x, 1,
87 #define CPP_PP_PROBE_N(x, n) x, n,
89 #define CPP_PP_IS_PAREN(x) CPP_PP_CHECK(CPP_PP_IS_PAREN_PROBE x)
90 #define CPP_PP_IS_PAREN_PROBE(...) CPP_PP_PROBE(~)
93 #ifndef CPP_CXX_VA_OPT
94 #if __cplusplus > 201703L
95 #define CPP_CXX_VA_OPT_(...) CPP_PP_CHECK(__VA_OPT__(,) 1)
96 #define CPP_CXX_VA_OPT CPP_CXX_VA_OPT_(~)
98 #define CPP_CXX_VA_OPT 0
104 #define CPP_PP_COUNT(...) \
105 CPP_PP_EXPAND(CPP_PP_COUNT_(__VA_ARGS__, \
106 50, 49, 48, 47, 46, 45, 44, 43, 42, 41, \
107 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, \
108 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, \
109 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, \
110 10, 9, 8, 7, 6, 5, 4, 3, 2, 1,))
112 #define CPP_PP_COUNT_( \
113 _01, _02, _03, _04, _05, _06, _07, _08, _09, _10, \
114 _11, _12, _13, _14, _15, _16, _17, _18, _19, _20, \
115 _21, _22, _23, _24, _25, _26, _27, _28, _29, _30, \
116 _31, _32, _33, _34, _35, _36, _37, _38, _39, _40, \
117 _41, _42, _43, _44, _45, _46, _47, _48, _49, _50, N, ...) \
120 #define CPP_PP_IIF(BIT) CPP_PP_CAT_(CPP_PP_IIF_, BIT)
121 #define CPP_PP_IIF_0(TRUE, ...) __VA_ARGS__
122 #define CPP_PP_IIF_1(TRUE, ...) TRUE
124 #define CPP_PP_LPAREN (
125 #define CPP_PP_RPAREN )
127 #define CPP_PP_NOT(BIT) CPP_PP_CAT_(CPP_PP_NOT_, BIT)
128 #define CPP_PP_NOT_0 1
129 #define CPP_PP_NOT_1 0
131 #define CPP_PP_EMPTY()
132 #define CPP_PP_COMMA() ,
133 #define CPP_PP_LBRACE() {
134 #define CPP_PP_RBRACE() }
135 #define CPP_PP_COMMA_IIF(X) \
136 CPP_PP_IIF(X)(CPP_PP_EMPTY, CPP_PP_COMMA)()
138 #define CPP_PP_FOR_EACH(M, ...) \
139 CPP_PP_FOR_EACH_N(CPP_PP_COUNT(__VA_ARGS__), M, __VA_ARGS__)
140 #define CPP_PP_FOR_EACH_N(N, M, ...) \
141 CPP_PP_CAT(CPP_PP_FOR_EACH_, N)(M, __VA_ARGS__)
142 #define CPP_PP_FOR_EACH_1(M, _1) \
144 #define CPP_PP_FOR_EACH_2(M, _1, _2) \
146 #define CPP_PP_FOR_EACH_3(M, _1, _2, _3) \
148 #define CPP_PP_FOR_EACH_4(M, _1, _2, _3, _4) \
149 M(_1), M(_2), M(_3), M(_4)
150 #define CPP_PP_FOR_EACH_5(M, _1, _2, _3, _4, _5) \
151 M(_1), M(_2), M(_3), M(_4), M(_5)
152 #define CPP_PP_FOR_EACH_6(M, _1, _2, _3, _4, _5, _6) \
153 M(_1), M(_2), M(_3), M(_4), M(_5), M(_6)
154 #define CPP_PP_FOR_EACH_7(M, _1, _2, _3, _4, _5, _6, _7) \
155 M(_1), M(_2), M(_3), M(_4), M(_5), M(_6), M(_7)
156 #define CPP_PP_FOR_EACH_8(M, _1, _2, _3, _4, _5, _6, _7, _8) \
157 M(_1), M(_2), M(_3), M(_4), M(_5), M(_6), M(_7), M(_8)
159 #define CPP_PP_PROBE_EMPTY_PROBE_CPP_PP_PROBE_EMPTY \
162 #define CPP_PP_PROBE_EMPTY()
163 #define CPP_PP_IS_NOT_EMPTY(...) \
167 CPP_PP_PROBE_EMPTY_PROBE_, \
168 CPP_PP_PROBE_EMPTY __VA_ARGS__ ()))
170 #if defined(_MSC_VER) && !defined(__clang__) && (__cplusplus <= 201703L)
171 #define CPP_BOOL(...) ::meta::bool_<__VA_ARGS__>::value
172 #define CPP_TRUE_FN \
173 !::concepts::detail::instance_< \
174 decltype(CPP_true_fn(::concepts::detail::xNil{}))>
176 #define CPP_NOT(...) (!CPP_BOOL(__VA_ARGS__))
178 #define CPP_BOOL(...) __VA_ARGS__
179 #define CPP_TRUE_FN CPP_true_fn(::concepts::detail::xNil{})
180 #define CPP_NOT(...) (!(__VA_ARGS__))
183 #define CPP_assert(...) \
184 static_assert(static_cast<bool>(__VA_ARGS__), \
185 "Concept assertion failed : " #__VA_ARGS__)
187 #define CPP_assert_msg static_assert
189 #if CPP_CXX_CONCEPTS || defined(CPP_DOXYGEN_INVOKED)
190 #define CPP_concept META_CONCEPT
194 #define CPP_concept CPP_INLINE_VAR constexpr bool
195 #define CPP_and CPP_and_sfinae
207 #if defined(CPP_DOXYGEN_INVOKED)
208 #define CPP_template(...) template<__VA_ARGS__> CPP_TEMPLATE_EXPAND_
209 #define CPP_TEMPLATE_EXPAND_(X,Y) X Y
211 #define CPP_template(...) template<__VA_ARGS__ CPP_TEMPLATE_AUX_
213 #define CPP_template_def CPP_template
215 #define CPP_ctor(TYPE) TYPE CPP_CTOR_IMPL_1_
216 #if defined(__GNUC__) && !defined(__clang__) && __GNUC__ < 10
217 #define CPP_auto_member template<typename...>
219 #define CPP_auto_member
223 #define CPP_CTOR_IMPL_1_(...) (__VA_ARGS__) CPP_PP_EXPAND
226 #define CPP_TEMPLATE_AUX_(...) \
229 CPP_TEMPLATE_AUX_WHICH_(__VA_ARGS__,))(__VA_ARGS__)
232 #define CPP_TEMPLATE_AUX_WHICH_(FIRST, ...) \
235 CPP_PP_CAT(CPP_TEMPLATE_PROBE_CONCEPT_, FIRST))
238 #define CPP_TEMPLATE_PROBE_CONCEPT_concept \
243 #define CPP_TEMPLATE_AUX_0(...) __VA_ARGS__
247 #define CPP_TEMPLATE_AUX_1(DECL, ...) \
248 CPP_concept CPP_CONCEPT_NAME_(DECL) = __VA_ARGS__
250 #if defined(CPP_DOXYGEN_INVOKED)
251 #define CPP_concept_ref(NAME, ...) \
254 #define CPP_concept_ref(NAME, ...) \
255 CPP_PP_CAT(NAME, concept_)<__VA_ARGS__>
260 #define CPP_template CPP_template_sfinae
261 #define CPP_template_def CPP_template_def_sfinae
262 #define CPP_member CPP_member_sfinae
263 #define CPP_auto_member CPP_member_sfinae
264 #define CPP_ctor CPP_ctor_sfinae
265 #define CPP_concept_ref(NAME, ...) \
266 (1u == sizeof(CPP_PP_CAT(NAME, concept_)( \
267 (::concepts::detail::tag<__VA_ARGS__>*)nullptr)))
270 #define CPP_TEMPLATE_AUX_ CPP_TEMPLATE_SFINAE_AUX_
274 #define CPP_template_sfinae(...) \
275 CPP_PP_IGNORE_CXX2A_COMPAT_BEGIN \
276 template<__VA_ARGS__ CPP_TEMPLATE_SFINAE_AUX_
279 #define CPP_TEMPLATE_SFINAE_PROBE_CONCEPT_concept \
283 #define CPP_TEMPLATE_SFINAE_AUX_WHICH_(FIRST, ...) \
286 CPP_PP_CAT(CPP_TEMPLATE_SFINAE_PROBE_CONCEPT_, FIRST))
289 #define CPP_TEMPLATE_SFINAE_AUX_(...) \
291 CPP_TEMPLATE_SFINAE_AUX_, \
292 CPP_TEMPLATE_SFINAE_AUX_WHICH_(__VA_ARGS__,))(__VA_ARGS__)
296 #define CPP_TEMPLATE_SFINAE_AUX_0(...) , \
297 bool CPP_true = true, \
299 CPP_PP_CAT(CPP_TEMPLATE_SFINAE_AUX_3_, __VA_ARGS__) && \
300 CPP_BOOL(CPP_true), \
302 CPP_PP_IGNORE_CXX2A_COMPAT_END
306 #define CPP_TEMPLATE_SFINAE_AUX_1(DECL, ...) , \
307 bool CPP_true = true, \
308 std::enable_if_t<__VA_ARGS__ && CPP_BOOL(CPP_true), int> = 0> \
309 auto CPP_CONCEPT_NAME_(DECL)( \
310 ::concepts::detail::tag<CPP_CONCEPT_PARAMS_(DECL)>*) \
312 auto CPP_CONCEPT_NAME_(DECL)(...) -> char(&)[2] \
313 CPP_PP_IGNORE_CXX2A_COMPAT_END
316 #define CPP_CONCEPT_NAME_(DECL) \
319 CPP_PP_EVAL(CPP_PP_FIRST, CPP_EAT_CONCEPT_(DECL)), concept_)
322 #define CPP_CONCEPT_PARAMS_(DECL) \
323 CPP_PP_EVAL(CPP_PP_SECOND, CPP_EAT_CONCEPT_(DECL))
326 #define CPP_EAT_CONCEPT_(DECL) \
327 CPP_PP_CAT(CPP_EAT_CONCEPT_, DECL)
330 #define CPP_EAT_CONCEPT_concept
333 #define CPP_and_sfinae \
334 && CPP_BOOL(CPP_true), int> = 0, std::enable_if_t<
337 #define CPP_template_def_sfinae(...) \
338 template<__VA_ARGS__ CPP_TEMPLATE_DEF_SFINAE_AUX_
341 #define CPP_TEMPLATE_DEF_SFINAE_AUX_(...) , \
344 CPP_PP_CAT(CPP_TEMPLATE_SFINAE_AUX_3_, __VA_ARGS__) && \
345 CPP_BOOL(CPP_true), \
349 #define CPP_and_sfinae_def \
350 && CPP_BOOL(CPP_true), int>, std::enable_if_t<
353 #define CPP_TEMPLATE_SFINAE_AUX_3_requires
356 #define CPP_member_sfinae \
357 CPP_broken_friend_member
360 #define CPP_ctor_sfinae(TYPE) \
361 CPP_PP_IGNORE_CXX2A_COMPAT_BEGIN \
362 TYPE CPP_CTOR_SFINAE_IMPL_1_
365 #define CPP_CTOR_SFINAE_IMPL_1_(...) \
368 CPP_PP_NOT(CPP_PP_IS_NOT_EMPTY(__VA_ARGS__))) \
369 CPP_CTOR_SFINAE_REQUIRES
372 #define CPP_CTOR_SFINAE_PROBE_NOEXCEPT_noexcept \
376 #define CPP_CTOR_SFINAE_MAKE_PROBE(FIRST,...) \
377 CPP_PP_CAT(CPP_CTOR_SFINAE_PROBE_NOEXCEPT_, FIRST)
380 #define CPP_CTOR_SFINAE_REQUIRES(...) \
382 CPP_CTOR_SFINAE_REQUIRES_, \
385 CPP_CTOR_SFINAE_MAKE_PROBE(__VA_ARGS__,)))(__VA_ARGS__)
389 #define CPP_CTOR_SFINAE_REQUIRES_0(...) \
391 CPP_PP_CAT(CPP_TEMPLATE_SFINAE_AUX_3_, __VA_ARGS__) && CPP_TRUE_FN, \
392 ::concepts::detail::Nil \
394 CPP_PP_IGNORE_CXX2A_COMPAT_END
398 #define CPP_CTOR_SFINAE_REQUIRES_1(...) \
400 CPP_PP_EVAL(CPP_PP_CAT, \
401 CPP_TEMPLATE_SFINAE_AUX_3_, \
402 CPP_PP_CAT(CPP_CTOR_SFINAE_EAT_NOEXCEPT_, __VA_ARGS__)) && CPP_TRUE_FN,\
403 ::concepts::detail::Nil \
405 CPP_PP_EXPAND(CPP_PP_CAT(CPP_CTOR_SFINAE_SHOW_NOEXCEPT_, __VA_ARGS__)))
408 #define CPP_CTOR_SFINAE_EAT_NOEXCEPT_noexcept(...)
411 #define CPP_CTOR_SFINAE_SHOW_NOEXCEPT_noexcept(...) \
412 noexcept(__VA_ARGS__) \
413 CPP_PP_IGNORE_CXX2A_COMPAT_END \
414 CPP_PP_EAT CPP_PP_LPAREN
416 #ifdef CPP_DOXYGEN_INVOKED
418 #define CPP_broken_friend_ret(...) \
419 __VA_ARGS__ CPP_PP_EXPAND
422 #define CPP_broken_friend_ret(...) \
423 ::concepts::return_t< \
425 std::enable_if_t<CPP_BROKEN_FRIEND_RETURN_TYPE_AUX_
428 #define CPP_BROKEN_FRIEND_RETURN_TYPE_AUX_(...) \
429 CPP_BROKEN_FRIEND_RETURN_TYPE_AUX_3_(CPP_PP_CAT( \
430 CPP_TEMPLATE_AUX_2_, __VA_ARGS__))
433 #define CPP_TEMPLATE_AUX_2_requires
436 #define CPP_BROKEN_FRIEND_RETURN_TYPE_AUX_3_(...) \
437 (__VA_ARGS__ && CPP_TRUE_FN)>>
439 #ifdef CPP_WORKAROUND_MSVC_779763
441 #define CPP_broken_friend_member \
442 template<::concepts::detail::CPP_true_t const &CPP_true_fn = \
443 ::concepts::detail::CPP_true_fn_>
447 #define CPP_broken_friend_member \
448 template<bool (&CPP_true_fn)(::concepts::detail::xNil) = \
449 ::concepts::detail::CPP_true_fn>
455 #if defined(CPP_DOXYGEN_INVOKED)
456 #define CPP_requires(NAME, REQS) \
458 CPP_PP_CAT(CPP_REQUIRES_, REQS)
459 #define CPP_requires_ref(NAME, ...) \
462 #define CPP_requires(NAME, REQS) \
463 CPP_concept CPP_PP_CAT(NAME, requires_) = \
464 CPP_PP_CAT(CPP_REQUIRES_, REQS)
465 #define CPP_requires_ref(NAME, ...) \
466 CPP_PP_CAT(NAME, requires_)<__VA_ARGS__>
470 #define CPP_REQUIRES_requires(...) \
471 requires(__VA_ARGS__) CPP_REQUIRES_AUX_
474 #define CPP_REQUIRES_AUX_(...) \
478 #define CPP_requires(NAME, REQS) \
479 auto CPP_PP_CAT(NAME, requires_test_) \
480 CPP_REQUIRES_AUX_(NAME, CPP_REQUIRES_ ## REQS)
482 #define CPP_requires_ref(NAME, ...) \
483 (1u == sizeof(CPP_PP_CAT(NAME, requires_)( \
484 (::concepts::detail::tag<__VA_ARGS__>*)nullptr)))
487 #define CPP_REQUIRES_requires(...) \
488 (__VA_ARGS__) -> decltype CPP_REQUIRES_RETURN_
491 #define CPP_REQUIRES_RETURN_(...) (__VA_ARGS__, void()) {}
494 #define CPP_REQUIRES_AUX_(NAME, ...) \
496 template<typename... As> \
497 auto CPP_PP_CAT(NAME, requires_)( \
498 ::concepts::detail::tag<As...> *, \
499 decltype(&CPP_PP_CAT(NAME, requires_test_)<As...>) = nullptr) \
501 auto CPP_PP_CAT(NAME, requires_)(...) -> char(&)[2]
506 #define CPP_ret(...) \
507 __VA_ARGS__ CPP_PP_EXPAND
510 CPP_broken_friend_ret
518 #define CPP_FUN_IMPL_1_(...) \
522 #define CPP_fun(X) X CPP_FUN_IMPL_1_
525 #define CPP_FUN_IMPL_1_(...) \
528 CPP_PP_NOT(CPP_PP_IS_NOT_EMPTY(__VA_ARGS__))) \
529 CPP_FUN_IMPL_REQUIRES
532 #define CPP_FUN_IMPL_REQUIRES(...) \
534 CPP_FUN_IMPL_SELECT_CONST_, \
539 #define CPP_FUN_IMPL_SELECT_CONST_(MAYBE_CONST, ...) \
540 CPP_PP_CAT(CPP_FUN_IMPL_SELECT_CONST_, \
541 CPP_PP_EVAL(CPP_PP_CHECK, CPP_PP_CAT( \
542 CPP_PP_PROBE_CONST_PROBE_, MAYBE_CONST)))
545 #define CPP_PP_PROBE_CONST_PROBE_const CPP_PP_PROBE(~)
548 #define CPP_FUN_IMPL_SELECT_CONST_1(...) \
550 CPP_FUN_IMPL_SELECT_CONST_NOEXCEPT_, \
551 CPP_PP_CAT(CPP_FUN_IMPL_EAT_CONST_, __VA_ARGS__),)( \
552 CPP_PP_CAT(CPP_FUN_IMPL_EAT_CONST_, __VA_ARGS__))
555 #define CPP_FUN_IMPL_SELECT_CONST_NOEXCEPT_(MAYBE_NOEXCEPT, ...) \
556 CPP_PP_CAT(CPP_FUN_IMPL_SELECT_CONST_NOEXCEPT_, \
557 CPP_PP_EVAL2(CPP_PP_CHECK, CPP_PP_CAT( \
558 CPP_PP_PROBE_NOEXCEPT_PROBE_, MAYBE_NOEXCEPT)))
561 #define CPP_PP_PROBE_NOEXCEPT_PROBE_noexcept CPP_PP_PROBE(~)
564 #define CPP_FUN_IMPL_SELECT_CONST_NOEXCEPT_0(...) \
568 CPP_FUN_IMPL_EAT_REQUIRES_, \
569 __VA_ARGS__) && CPP_TRUE_FN, \
570 ::concepts::detail::Nil \
572 CPP_PP_IGNORE_CXX2A_COMPAT_END
575 #define CPP_FUN_IMPL_SELECT_CONST_NOEXCEPT_1(...) \
579 CPP_FUN_IMPL_EAT_REQUIRES_, \
580 CPP_PP_CAT(CPP_FUN_IMPL_EAT_NOEXCEPT_, __VA_ARGS__)) && CPP_TRUE_FN,\
581 ::concepts::detail::Nil \
583 CPP_PP_EXPAND(CPP_PP_CAT(CPP_FUN_IMPL_SHOW_NOEXCEPT_, __VA_ARGS__)))
586 #define CPP_FUN_IMPL_EAT_NOEXCEPT_noexcept(...)
589 #define CPP_FUN_IMPL_SHOW_NOEXCEPT_noexcept(...) \
590 noexcept(__VA_ARGS__) CPP_PP_IGNORE_CXX2A_COMPAT_END \
591 CPP_PP_EAT CPP_PP_LPAREN
594 #define CPP_FUN_IMPL_SELECT_CONST_0(...) \
596 CPP_FUN_IMPL_SELECT_NONCONST_NOEXCEPT_, \
601 #define CPP_FUN_IMPL_SELECT_NONCONST_NOEXCEPT_(MAYBE_NOEXCEPT, ...) \
602 CPP_PP_CAT(CPP_FUN_IMPL_SELECT_NONCONST_NOEXCEPT_, \
603 CPP_PP_EVAL2(CPP_PP_CHECK, CPP_PP_CAT( \
604 CPP_PP_PROBE_NOEXCEPT_PROBE_, MAYBE_NOEXCEPT)))
607 #define CPP_FUN_IMPL_SELECT_NONCONST_NOEXCEPT_0(...) \
609 CPP_PP_CAT(CPP_FUN_IMPL_EAT_REQUIRES_, __VA_ARGS__) && CPP_TRUE_FN, \
610 ::concepts::detail::Nil \
612 CPP_PP_IGNORE_CXX2A_COMPAT_END
615 #define CPP_FUN_IMPL_SELECT_NONCONST_NOEXCEPT_1(...) \
619 CPP_FUN_IMPL_EAT_REQUIRES_, \
620 CPP_PP_CAT(CPP_FUN_IMPL_EAT_NOEXCEPT_, __VA_ARGS__) \
622 ::concepts::detail::Nil \
624 CPP_PP_EXPAND(CPP_PP_CAT(CPP_FUN_IMPL_SHOW_NOEXCEPT_, __VA_ARGS__)))
627 #define CPP_FUN_IMPL_EAT_CONST_const
630 #define CPP_FUN_IMPL_EAT_REQUIRES_requires
642 #define CPP_fun(X) CPP_PP_IGNORE_CXX2A_COMPAT_BEGIN X CPP_FUN_IMPL_1_
653 #define CPP_auto_fun(X) X CPP_AUTO_FUN_IMPL_
656 #define CPP_AUTO_FUN_IMPL_(...) (__VA_ARGS__) CPP_AUTO_FUN_RETURNS_
659 #define CPP_AUTO_FUN_RETURNS_(...) \
661 CPP_AUTO_FUN_SELECT_RETURNS_, \
666 #define CPP_AUTO_FUN_SELECT_RETURNS_(MAYBE_CONST, ...) \
667 CPP_PP_CAT(CPP_AUTO_FUN_RETURNS_CONST_, \
668 CPP_PP_EVAL(CPP_PP_CHECK, CPP_PP_CAT( \
669 CPP_PP_PROBE_CONST_MUTABLE_PROBE_, MAYBE_CONST)))
672 #define CPP_PP_PROBE_CONST_MUTABLE_PROBE_const CPP_PP_PROBE_N(~, 1)
675 #define CPP_PP_PROBE_CONST_MUTABLE_PROBE_mutable CPP_PP_PROBE_N(~, 2)
678 #define CPP_PP_EAT_MUTABLE_mutable
681 #define CPP_AUTO_FUN_RETURNS_CONST_2(...) \
682 CPP_PP_CAT(CPP_PP_EAT_MUTABLE_, __VA_ARGS__) CPP_AUTO_FUN_RETURNS_CONST_0
685 #define CPP_AUTO_FUN_RETURNS_CONST_1(...) \
686 __VA_ARGS__ CPP_AUTO_FUN_RETURNS_CONST_0
689 #define CPP_AUTO_FUN_RETURNS_CONST_0(...) \
690 CPP_PP_EVAL(CPP_AUTO_FUN_DECLTYPE_NOEXCEPT_, \
691 CPP_PP_CAT(CPP_AUTO_FUN_RETURNS_, __VA_ARGS__))
694 #define CPP_AUTO_FUN_RETURNS_return
696 #ifdef __cpp_guaranteed_copy_elision
698 #define CPP_AUTO_FUN_DECLTYPE_NOEXCEPT_(...) \
699 noexcept(noexcept(__VA_ARGS__)) -> decltype(__VA_ARGS__) \
700 { return (__VA_ARGS__); }
704 #define CPP_AUTO_FUN_DECLTYPE_NOEXCEPT_(...) \
705 noexcept(noexcept(decltype(__VA_ARGS__)(__VA_ARGS__))) -> \
706 decltype(__VA_ARGS__) \
707 { return (__VA_ARGS__); }
711 #if defined(CPP_DOXYGEN_INVOKED)
712 #define concept(NAME) concept NAME CPP_CONCEPT_EQUALS_
713 #define CPP_CONCEPT_EQUALS_(...) =
719 using bool_ = std::integral_constant<bool, B>;
721 #if defined(__cpp_fold_expressions) && __cpp_fold_expressions >= 201603
723 CPP_INLINE_VAR constexpr
bool and_v = (Bs &&...);
726 CPP_INLINE_VAR constexpr
bool or_v = (Bs ||...);
735 CPP_INLINE_VAR constexpr
bool and_v =
739 CPP_INLINE_VAR constexpr
bool or_v =
750 template<
typename T,
typename EnableIf>
758 template<
class... Args>
759 constexpr ignore(Args&&...) noexcept {}
763 constexpr
bool true_()
768 template<
typename...>
772 CPP_INLINE_VAR constexpr T instance_ = T{};
775 constexpr
bool requires_()
783 #ifdef CPP_WORKAROUND_MSVC_779763
788 constexpr
bool operator()(Nil)
const noexcept
792 constexpr
bool operator()(xNil)
const noexcept
798 CPP_INLINE_VAR constexpr CPP_true_t CPP_true_fn_ {};
800 constexpr
bool CPP_true_fn(xNil)
808 constexpr
bool CPP_true_fn(Nil)
815 #if defined(__clang__) || defined(_MSC_VER)
817 std::enable_if_t<B> requires_()
821 CPP_INLINE_VAR constexpr std::enable_if_t<B, int> requires_ = 0;
824 inline namespace defs
837 template<
typename... Args>
842 template<
class T,
template<
typename...>
class Trait,
typename... Args>
844 static_cast<bool>(Trait<T, Args...>::type::value);
852 template<
typename A,
typename B>
854 META_IS_SAME(A, B) && META_IS_SAME(B, A);
859 template<
typename A,
typename B>
860 CPP_concept not_same_as_ =
861 (!same_as<remove_cvref_t<A>, remove_cvref_t<B>>);
870 template<
typename From,
typename To>
872 std::is_convertible<std::add_rvalue_reference_t<From>, To>::value;
876 template<
typename From,
typename To>
878 requires(From(*from)())
880 static_cast<To
>(from())
884 template<
typename From,
typename To>
886 CPP_requires_ref(concepts::explicitly_convertible_to_, From, To);
890 template<
typename From,
typename To>
892 implicitly_convertible_to<From, To> &&
893 explicitly_convertible_to<From, To>;
897 CPP_template(
typename T,
typename U)(
898 concept (derived_from_)(T, U),
899 convertible_to<T const volatile *, U const volatile *>
903 template<
typename T,
typename U>
905 META_IS_BASE_OF(U, T) &&
906 CPP_concept_ref(concepts::derived_from_, T, U);
910 CPP_template(
typename T,
typename U)(
911 concept (common_reference_with_)(T, U),
912 same_as<common_reference_t<T, U>, common_reference_t<U, T>> CPP_and
913 convertible_to<T, common_reference_t<T, U>> CPP_and
914 convertible_to<U, common_reference_t<T, U>>
918 template<
typename T,
typename U>
920 CPP_concept_ref(concepts::common_reference_with_, T, U);
924 CPP_template(
typename T,
typename U)(
925 concept (common_with_)(T, U),
926 same_as<common_type_t<T, U>, common_type_t<U, T>> CPP_and
927 convertible_to<T, common_type_t<T, U>> CPP_and
928 convertible_to<U, common_type_t<T, U>> CPP_and
929 common_reference_with<
930 std::add_lvalue_reference_t<T const>,
931 std::add_lvalue_reference_t<U const>> CPP_and
932 common_reference_with<
933 std::add_lvalue_reference_t<common_type_t<T, U>>,
935 std::add_lvalue_reference_t<T const>,
936 std::add_lvalue_reference_t<U const>>>
940 template<
typename T,
typename U>
942 CPP_concept_ref(concepts::common_with_, T, U);
948 std::is_integral<T>::value;
955 std::is_signed<T>::value;
966 template<
typename T,
typename U>
968 requires(T t, U && u)
971 requires_<same_as<T, decltype(t = (U &&) u)>>
975 template<
typename T,
typename U>
977 std::is_lvalue_reference<T>::value &&
978 common_reference_with<detail::as_cref_t<T>, detail::as_cref_t<U>> &&
979 CPP_requires_ref(defs::assignable_from_, T, U);
985 requires(T & t, T & u)
993 CPP_requires_ref(defs::swappable_, T);
997 template<
typename T,
typename U>
999 requires(T && t, U && u)
1001 concepts::swap((T &&) t, (T &&) t),
1002 concepts::swap((U &&) u, (U &&) u),
1003 concepts::swap((U &&) u, (T &&) t),
1004 concepts::swap((T &&) t, (U &&) u)
1008 template<
typename T,
typename U>
1010 common_reference_with<detail::as_cref_t<T>, detail::as_cref_t<U>> &&
1011 CPP_requires_ref(defs::swappable_with_, T, U);
1019 template<
typename T>
1024 template<
typename T>
1029 concepts::requires_<boolean_testable_impl_<decltype(!(T&&) t)>>
1034 template<
typename T>
1036 CPP_requires_ref(boolean_testable_frag_, T) &&
1037 boolean_testable_impl_<T>;
1040 CPP_DIAGNOSTIC_IGNORE_FLOAT_EQUAL
1044 template<
typename T,
typename U>
1046 requires(detail::as_cref_t<T> t, detail::as_cref_t<U> u)
1048 concepts::requires_<boolean_testable_<decltype(t == u)>>,
1049 concepts::requires_<boolean_testable_<decltype(t != u)>>,
1050 concepts::requires_<boolean_testable_<decltype(u == t)>>,
1051 concepts::requires_<boolean_testable_<decltype(u != t)>>
1055 template<
typename T,
typename U>
1057 CPP_requires_ref(weakly_equality_comparable_with_frag_, T, U);
1061 template<
typename T,
typename U>
1063 requires(detail::as_cref_t<T>& t, detail::as_cref_t<U>& u)
1065 concepts::requires_<boolean_testable_<decltype(t < u)>>,
1066 concepts::requires_<boolean_testable_<decltype(t > u)>>,
1067 concepts::requires_<boolean_testable_<decltype(t <= u)>>,
1068 concepts::requires_<boolean_testable_<decltype(t >= u)>>,
1069 concepts::requires_<boolean_testable_<decltype(u < t)>>,
1070 concepts::requires_<boolean_testable_<decltype(u > t)>>,
1071 concepts::requires_<boolean_testable_<decltype(u <= t)>>,
1072 concepts::requires_<boolean_testable_<decltype(u >= t)>>
1076 template<
typename T,
typename U>
1078 CPP_requires_ref(partially_ordered_with_frag_, T, U);
1083 inline namespace defs
1091 template<
typename T>
1093 detail::weakly_equality_comparable_with_<T, T>;
1097 CPP_template(
typename T,
typename U)(
1098 concept (equality_comparable_with_)(T, U),
1099 equality_comparable<
1100 common_reference_t<detail::as_cref_t<T>, detail::as_cref_t<U>>>
1104 template<
typename T,
typename U>
1106 equality_comparable<T> &&
1107 equality_comparable<U> &&
1108 detail::weakly_equality_comparable_with_<T, U> &&
1109 common_reference_with<detail::as_cref_t<T>, detail::as_cref_t<U>> &&
1110 CPP_concept_ref(concepts::equality_comparable_with_, T, U);
1114 template<
typename T>
1116 equality_comparable<T> &&
1117 detail::partially_ordered_with_<T, T>;
1121 CPP_template(
typename T,
typename U)(
1122 concept (totally_ordered_with_)(T, U),
1125 detail::as_cref_t<T>,
1126 detail::as_cref_t<U>>> CPP_and
1127 detail::partially_ordered_with_<T, U>);
1131 template<
typename T,
typename U>
1133 totally_ordered<T> &&
1134 totally_ordered<U> &&
1135 equality_comparable_with<T, U> &&
1136 CPP_concept_ref(concepts::totally_ordered_with_, T, U);
1144 template<
typename T>
1146 std::is_nothrow_destructible<T>::value;
1150 template<
typename T,
typename... Args>
1153 META_IS_CONSTRUCTIBLE(T, Args...);
1157 template<
typename T>
1159 constructible_from<T>;
1163 template<
typename T>
1165 constructible_from<T, T> &&
1166 convertible_to<T, T>;
1170 CPP_template(
typename T)(
1171 concept (copy_constructible_)(T),
1172 constructible_from<T, T &> &&
1173 constructible_from<T, T const &> &&
1174 constructible_from<T, T const> &&
1175 convertible_to<T &, T> &&
1176 convertible_to<T const &, T> &&
1177 convertible_to<T const, T>);
1180 template<
typename T>
1182 move_constructible<T> &&
1183 CPP_concept_ref(concepts::copy_constructible_, T);
1187 CPP_template(
typename T)(
1188 concept (move_assignable_)(T),
1189 assignable_from<T &, T>
1193 template<
typename T>
1195 std::is_object<T>::value &&
1196 move_constructible<T> &&
1197 CPP_concept_ref(concepts::move_assignable_, T) &&
1202 CPP_template(
typename T)(
1203 concept (copy_assignable_)(T),
1204 assignable_from<T &, T const &>
1208 template<
typename T>
1210 copy_constructible<T> &&
1212 CPP_concept_ref(concepts::copy_assignable_, T);
1216 template<
typename T>
1219 default_constructible<T>;
1225 template<
typename T>
1228 equality_comparable<T>;
CPP_concept destructible
\concept destructible
Definition: concepts.hpp:1145
CPP_concept equality_comparable
\concept equality_comparable
Definition: concepts.hpp:1092
CPP_concept totally_ordered_with
\concept totally_ordered_with
Definition: concepts.hpp:1132
CPP_concept swappable_with
\concept swappable_with
Definition: concepts.hpp:1009
CPP_concept same_as
\concept same_as
Definition: concepts.hpp:853
CPP_concept totally_ordered
\concept totally_ordered
Definition: concepts.hpp:1115
CPP_concept equality_comparable_with
\concept equality_comparable_with
Definition: concepts.hpp:1105
CPP_concept is_true
\concept is_true
Definition: concepts.hpp:833
CPP_concept move_constructible
\concept move_constructible
Definition: concepts.hpp:1164
CPP_concept implicitly_convertible_to
\concept implicitly_convertible_to
Definition: concepts.hpp:871
CPP_concept swappable
\concept swappable
Definition: concepts.hpp:992
CPP_concept boolean_testable_impl_
\concept boolean_testable_impl_
Definition: concepts.hpp:1020
CPP_concept movable
\concept movable
Definition: concepts.hpp:1194
CPP_concept signed_integral
\concept signed_integral
Definition: concepts.hpp:953
CPP_concept copy_constructible
\concept copy_constructible
Definition: concepts.hpp:1181
CPP_concept boolean_testable_
\concept boolean_testable_
Definition: concepts.hpp:1035
CPP_concept regular
\concept regular
Definition: concepts.hpp:1226
CPP_concept constructible_from
\concept constructible_from
Definition: concepts.hpp:1151
CPP_concept unsigned_integral
\concept unsigned_integral
Definition: concepts.hpp:960
CPP_concept explicitly_convertible_to
\concept explicitly_convertible_to
Definition: concepts.hpp:885
CPP_concept satisfies
\concept satisfies
Definition: concepts.hpp:843
CPP_concept convertible_to
\concept convertible_to
Definition: concepts.hpp:891
CPP_concept partially_ordered_with_
\concept partially_ordered_with_
Definition: concepts.hpp:1077
CPP_concept type
\concept type
Definition: concepts.hpp:838
CPP_concept derived_from
\concept derived_from
Definition: concepts.hpp:904
CPP_concept integral
\concept integral
Definition: concepts.hpp:947
CPP_concept semiregular
\concept semiregular
Definition: concepts.hpp:1217
CPP_concept weakly_equality_comparable_with_
\concept weakly_equality_comparable_with_
Definition: concepts.hpp:1056
CPP_concept default_constructible
\concept default_constructible
Definition: concepts.hpp:1158
CPP_concept copyable
\concept copyable
Definition: concepts.hpp:1209
CPP_concept common_reference_with
\concept common_reference_with
Definition: concepts.hpp:919
CPP_concept assignable_from
\concept assignable_from
Definition: concepts.hpp:976
CPP_concept common_with
\concept common_with
Definition: concepts.hpp:941
CPP_requires(sized_range_, requires(T &t)(ranges::size(t)))
\concept sized_range_
typename Fn::template invoke< Args... > invoke
Evaluate the invocable Fn with the arguments Args.
Definition: meta.hpp:541
Definition: concepts.hpp:731
Definition: concepts.hpp:745