type_traits.hh

Go to the documentation of this file.

//
// Copyright (c) 2020 Fraunhofer Institute for Applied Information Technology (FIT)
//                    Network Research Group (NET)
//                    Schloss Birlinghoven, 53754 Sankt Augustin, GERMANY
//                    Contact: support@wiback.org
//
// This file is part of the SENF code tree.
// It is licensed under the 3-clause BSD License (aka New BSD License).
// See LICENSE.txt in the top level directory for details or visit
// https://opensource.org/licenses/BSD-3-Clause
//


#ifndef HH_SENF_Utils_type_traits_
#define HH_SENF_Utils_type_traits_ 1

// Custom includes
#include <boost/type_traits/function_traits.hpp>
#include <boost/type_traits/remove_pointer.hpp>
#include <boost/type_traits/is_function.hpp>
#include <boost/type_traits/remove_cv.hpp>
#include <boost/type_traits/remove_reference.hpp>
#include <boost/bind.hpp>
#include <senf/config.hh>

#include "type_traits.mpp"
//-/////////////////////////////////////////////////////////////////////////////////////////////////

namespace senf
{

    //\{

    template < class Traits, unsigned arity = Traits::arity >
    struct function_traits_remove_arg {};

    template < class Traits, int index, bool flag = (index < Traits::arity) >
    struct function_traits_arg_type {};

#ifndef DOXYGEN

    template < class Traits, int index >
    struct function_traits_arg_type <Traits, index, false >
    {
        typedef void type;
    };

#endif

    template < class MemberPointer > struct remove_member_pointer
    {
        typedef MemberPointer type;
    };

#ifndef DOXYGEN

    template < class C, class T > struct remove_member_pointer <T (C::*) >
    {
        typedef T type;
    };

    template < class C, class T > struct remove_member_pointer <T (C::* const) >
    {
        typedef T type;
    };

#endif

    template < class MemberPointer > struct member_class
    {
        typedef void type;
    };

#ifndef DOXYGEN

    template < class C, class T > struct member_class <T (C::*) >
    {
        typedef C type;
    };

    template < class C, class T > struct member_class <T (C::* const) >
    {
        typedef C type;
    };

#endif

    template < class T >
    struct remove_any_pointer
        : public remove_member_pointer < typename boost::remove_pointer < T >::type >
    {};

    template < class T >
    struct is_any_function
        : public boost::is_function < typename senf::remove_any_pointer < T >::type >
    {};

    template < class T >
    struct remove_cvref
        : public boost::remove_cv< typename boost::remove_reference<T>::type >
    {};

    template < class T >
    struct function_arity
        : public boost::integral_constant<
              unsigned,
              boost::function_traits<
                  typename senf::remove_any_pointer<T>::type>::arity>
    {};

    template <class Pair>
    struct is_pair
        : public boost::false_type
    {};

#ifndef DOXYGEN
    template <class First, class Second>
    struct is_pair< std::pair<First,Second> >
        : public boost::true_type
    {};
#endif

    //\}

#ifndef DOXYGEN

#   define BOOST_PP_ITERATION_PARAMS_1 (4, (0, 10,                                                \
                                            SENF_ABSOLUTE_INCLUDE_PATH(Utils/type_traits.mpp),    \
                                            1))
#   include BOOST_PP_ITERATE()

#endif

}

//-/////////////////////////////////////////////////////////////////////////////////////////////////
//#include "type_traits.cci"
//#include "type_traits.ct"
//#include "type_traits.cti"
#endif


// Local Variables:
// mode: c++
// fill-column: 100
// comment-column: 40
// c-file-style: "senf"
// indent-tabs-mode: nil
// ispell-local-dictionary: "american"
// compile-command: "scons -u test"
// End: