ceph/src/boost/boost/callable_traits/detail/unguarded/pmf_4.hpp

   1 /*
   2 Copyright (c) 2016 Barrett Adair
   3
   4 Distributed under the Boost Software License, Version 1.0.
   5 (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
   6
   7 HEADER GUARDS INTENTIONALLY OMITTED
   8 DO NOT INCLUDE THIS HEADER DIRECTLY
   9
  10 BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS - the function-level qualifiers for the
  11     current inclusion (combinations of `const` `volatile` `&` `&&`, or nothing)
  12
  13 BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE - the transaction_safe specifier for
  14     the current include (`transaction_safe` or nothing)
  15
  16 BOOST_CLBL_TRTS_IS_TRANSACTION_SAFE - `std::true_type` or `std::false_type`,
  17     tied on whether BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE is `transaction_safe`
  18
  19 BOOST_CLBL_TRTS_TRANSACTION_SAFE_SPECIFIER - `transaction_safe` when
  20     BOOST_CLBL_TRTS_ENABLE_TRANSACTION_SAFE is defined, otherwise nothing
  21
  22 BOOST_CLBL_TRTS_NOEXCEPT_SPEC - the noexcept specifier for
  23     the current include (`noexcept` or nothing)
  24
  25 BOOST_CLBL_TRTS_IS_NOEXCEPT - `std::true_type` or `std::false_type`,
  26     tied on whether BOOST_CLBL_TRTS_NOEXCEPT_SPEC is `noexcept`
  27
  28 BOOST_CLBL_TRTS_NOEXCEPT_SPECIFIER - `noexcept` if
  29     BOOST_CLBL_TRTS_ENABLE_NOEXCEPT_TYPES is defined, otherwise nothing
  30 */
  31
  32 template<typename Return, typename T, typename... Args>
  33 struct pmf<Return(BOOST_CLBL_TRTS_CC T::*)(Args...)
  34     BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS
  35     BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
  36     BOOST_CLBL_TRTS_NOEXCEPT_SPEC>
  37     : default_callable_traits<dummy BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS> {
  38
  39     static constexpr bool value = true;
  40
  41     using traits = pmf;
  42
  43     using return_type = Return;
  44
  45     using type = Return(BOOST_CLBL_TRTS_CC T::*)(Args...)
  46         BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS
  47         BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
  48         BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
  49
  50     using invoke_type = typename std::conditional<
  51         std::is_rvalue_reference<T BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS>::value,
  52         T BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS,
  53         typename std::add_lvalue_reference<T BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS>::type
  54     >::type;
  55
  56     using arg_types = std::tuple<invoke_type, Args...>;
  57     using non_invoke_arg_types = std::tuple<Args...>;
  58
  59     using function_object_signature = Return(Args...);
  60
  61     using function_type = Return(invoke_type, Args...);
  62
  63     using qualified_function_type = Return(Args...)
  64         BOOST_CLBL_TRTS_INCLUDE_ABOMINABLE_QUALIFIERS
  65         BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
  66         BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
  67
  68     using remove_varargs = type;
  69
  70     using add_varargs =
  71         Return(BOOST_CLBL_TRTS_VARARGS_CC T::*)(Args..., ...)
  72             BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS
  73             BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
  74             BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
  75
  76     using is_noexcept = BOOST_CLBL_TRTS_IS_NOEXCEPT;
  77
  78     using remove_noexcept = Return(BOOST_CLBL_TRTS_CC T::*)(Args...)
  79         BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS
  80         BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE;
  81
  82     using add_noexcept = Return(BOOST_CLBL_TRTS_CC T::*)(Args...)
  83         BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS
  84         BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
  85         BOOST_CLBL_TRTS_NOEXCEPT_SPECIFIER;
  86
  87     using is_transaction_safe = BOOST_CLBL_TRTS_IS_TRANSACTION_SAFE;
  88
  89     using remove_transaction_safe = Return(BOOST_CLBL_TRTS_CC T::*)(Args...)
  90         BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS
  91         BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
  92
  93     using add_transaction_safe = Return(BOOST_CLBL_TRTS_CC T::*)(Args...)
  94         BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS
  95         BOOST_CLBL_TRTS_TRANSACTION_SAFE_SPECIFIER
  96         BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
  97
  98     using class_type = T;
  99
 100     using qualifiers = default_callable_traits<dummy BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS>;
 101
 102     template<qualifier_flags Flags>
 103     using set_qualifiers = set_member_function_qualifiers<
 104             Flags, is_transaction_safe::value, is_noexcept::value,
 105             BOOST_CLBL_TRTS_CC_TAG, T, Return, Args...>;
 106
 107     using remove_member_reference = set_qualifiers<qualifiers::cv_flags>;
 108
 109     using add_member_lvalue_reference = set_qualifiers<
 110         collapse_flags<qualifiers::q_flags, lref_>::value>;
 111
 112     using add_member_rvalue_reference = set_qualifiers<
 113         collapse_flags<qualifiers::q_flags, rref_>::value>;
 114
 115     using add_member_const = set_qualifiers<qualifiers::q_flags | const_>;
 116
 117     using add_member_volatile = set_qualifiers<qualifiers::q_flags | volatile_>;
 118
 119     using add_member_cv = set_qualifiers<qualifiers::q_flags | cv_>;
 120
 121     using remove_member_const = set_qualifiers<
 122         qualifiers::ref_flags | remove_const_flag<qualifiers::cv_flags>::value>;
 123
 124     using remove_member_volatile = set_qualifiers<
 125         qualifiers::ref_flags | remove_volatile_flag<qualifiers::cv_flags>::value>;
 126
 127     using remove_member_cv = set_qualifiers<qualifiers::ref_flags>;
 128
 129     template<typename U>
 130     using apply_member_pointer =
 131         Return(BOOST_CLBL_TRTS_CC U::*)(Args...)
 132             BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS
 133             BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
 134             BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
 135
 136     template<typename NewReturn>
 137     using apply_return =
 138         NewReturn(BOOST_CLBL_TRTS_CC T::*)(Args...)
 139             BOOST_CLBL_TRTS_INCLUDE_QUALIFIERS
 140             BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
 141             BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
 142
 143     template<template<class...> class Container>
 144     using expand_args = Container<invoke_type, Args...>;
 145
 146     using is_member_pointer = std::true_type;
 147 };