123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107 |
- /*
- @Copyright Barrett Adair 2015-2017
- Distributed under the Boost Software License, Version 1.0.
- (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
- */
- #ifndef BOOST_CLBL_TRTS_DETAIL_FUNCTION_OBJECT_HPP
- #define BOOST_CLBL_TRTS_DETAIL_FUNCTION_OBJECT_HPP
- #include <boost/callable_traits/detail/pmf.hpp>
- #include <boost/callable_traits/detail/default_callable_traits.hpp>
- #include <boost/callable_traits/detail/forward_declarations.hpp>
- #include <boost/callable_traits/detail/utility.hpp>
- namespace boost { namespace callable_traits { namespace detail {
- template<typename T, typename Base>
- struct function_object : Base {
- using type = T;
- using error_t = error_type<T>;
- using function_type = typename Base::function_object_signature;
- using arg_types = typename Base::non_invoke_arg_types;
- using non_invoke_arg_types = arg_types;
- static constexpr const bool value = std::is_class<
- typename std::remove_reference<T>::type>::value;
- using traits = function_object;
- using class_type = error_t;
- using invoke_type = error_t;
- using remove_varargs = error_t;
- using add_varargs = error_t;
- using is_noexcept = typename Base::is_noexcept;
- using add_noexcept = error_t;
- using remove_noexcept = error_t;
- using is_transaction_safe = typename Base::is_transaction_safe;
- using add_transaction_safe = error_t;
- using remove_transaction_safe = error_t;
- using clear_args = error_t;
- template<template<class...> class Container>
- using expand_args = typename function<function_type>::template
- expand_args<Container>;
- template<template<class...> class Container, typename... RightArgs>
- using expand_args_left = typename function<function_type>::template
- expand_args_left<Container, RightArgs...>;
- template<template<class...> class Container, typename... LeftArgs>
- using expand_args_right = typename function<function_type>::template
- expand_args_right<Container, LeftArgs...>;
- template<typename C, typename U = T>
- using apply_member_pointer =
- typename std::remove_reference<U>::type C::*;
- template<typename>
- using apply_return = error_t;
- template<typename...>
- using push_front = error_t;
-
- template<typename...>
- using push_back = error_t;
-
- template<std::size_t ElementCount>
- using pop_args_front = error_t;
- template<std::size_t ElementCount>
- using pop_args_back = error_t;
-
- template<std::size_t Index, typename... NewArgs>
- using insert_args = error_t;
-
- template<std::size_t Index, std::size_t Count>
- using remove_args = error_t;
- template<std::size_t Index, typename... NewArgs>
- using replace_args = error_t;
- template<std::size_t Count>
- using pop_front = error_t;
- template<std::size_t Count>
- using pop_back = error_t;
- using remove_member_reference = error_t;
- using add_member_lvalue_reference = error_t;
- using add_member_rvalue_reference = error_t;
- using add_member_const = error_t;
- using add_member_volatile = error_t;
- using add_member_cv = error_t;
- using remove_member_const = error_t;
- using remove_member_volatile = error_t;
- using remove_member_cv = error_t;
- };
- template<typename T, typename U, typename Base>
- struct function_object <T U::*, Base>
- : default_callable_traits<> {};
- }}} // namespace boost::callable_traits::detail
- #endif // #ifndef BOOST_CLBL_TRTS_DETAIL_FUNCTION_OBJECT_HPP
|