/* @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_class_of_HPP #define BOOST_CLBL_TRTS_class_of_HPP #include namespace boost { namespace callable_traits { //[ class_of_hpp /*` [section:ref_class_of class_of] [heading Header] ``#include `` [heading Definition] */ template using class_of_t = //see below //<- detail::try_but_fail_if_invalid< typename detail::traits>::class_type, type_is_not_a_member_pointer>; namespace detail { template struct class_of_impl {}; template struct class_of_impl , detail::dummy>::type> { using type = class_of_t; }; } //-> template struct class_of : detail::class_of_impl {}; //<- }} // namespace boost::callable_traits //-> /*` [heading Constraints] * `T` must be a member pointer [heading Behavior] * A substitution failure occurs if the constraints are violated. * The aliased type is the parent class of the member. In other words, if `T` is expanded to `U C::*`, the aliased type is `C`. [heading Input/Output Examples] [table [[`T`] [`class_of_t`]] [[`int foo::*`] [`foo`]] [[`void(foo::* const &)() const`] [`foo`]] ] [heading Example Program] [import ../example/class_of.cpp] [class_of] [endsect] */ //] #endif // #ifndef BOOST_CLBL_TRTS_class_of_HPP