robot/include/rttr/detail/constructor/constructor_wrapper.h

/************************************************************************************
*                                                                                   *
*   Copyright (c) 2014 - 2018 Axel Menzel <info@rttr.org>                           *
*                                                                                   *
*   This file is part of RTTR (Run Time Type Reflection)                            *
*   License: MIT License                                                            *
*                                                                                   *
*   Permission is hereby granted, free of charge, to any person obtaining           *
*   a copy of this software and associated documentation files (the "Software"),    *
*   to deal in the Software without restriction, including without limitation       *
*   the rights to use, copy, modify, merge, publish, distribute, sublicense,        *
*   and/or sell copies of the Software, and to permit persons to whom the           *
*   Software is furnished to do so, subject to the following conditions:            *
*                                                                                   *
*   The above copyright notice and this permission notice shall be included in      *
*   all copies or substantial portions of the Software.                             *
*                                                                                   *
*   THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR      *
*   IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,        *
*   FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE     *
*   AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER          *
*   LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,   *
*   OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE   *
*   SOFTWARE.                                                                       *
*                                                                                   *
*************************************************************************************/

#ifndef RTTR_CONSTRUCTOR_WRAPPER_H_
#define RTTR_CONSTRUCTOR_WRAPPER_H_

#include "rttr/detail/base/core_prerequisites.h"
#include "rttr/detail/constructor/constructor_wrapper_base.h"
#include "rttr/detail/type/accessor_type.h"
#include "rttr/detail/misc/utility.h"
#include "rttr/detail/misc/function_traits.h"
#include "rttr/detail/method/method_accessor.h"
#include "rttr/detail/constructor/constructor_invoker.h"
#include "rttr/detail/default_arguments/default_arguments.h"
#include "rttr/detail/parameter_info/parameter_infos.h"
#include "rttr/argument.h"
#include "rttr/variant.h"
#include "rttr/policy.h"
#include "rttr/detail/visitor/visitor_iterator.h"
#include "rttr/detail/visitor/constructor_visitor_invoker.h"

#include <vector>
#include <utility>
#include <type_traits>

namespace rttr
{
namespace detail
{

// we have to use this helper traits because MSVC2013 cannot handle 'sizeof...(T)' in std::enable_if statement
template<typename Ctor_Args, typename Args>
struct are_args_in_valid_range;

template<typename... Ctor_Args, typename... Args>
struct are_args_in_valid_range<type_list<Ctor_Args...>, type_list<Args...>>
:   std::integral_constant<bool, (sizeof...(Ctor_Args) == sizeof...(Args))>
{
};

/////////////////////////////////////////////////////////////////////////////////////////

template<typename ClassType, typename Constructor_Type, access_levels Acc_Level, typename Policy,
         std::size_t Metadata_Count, typename Default_Args, typename Parameter_Infos, typename Visitor_List, typename... Args>
class constructor_wrapper;

/////////////////////////////////////////////////////////////////////////////////////////

template<typename Class_Type, access_levels Acc_Level, typename Policy,
         std::size_t Metadata_Count, typename Visitor_List, typename...Param_Args, typename... Ctor_Args>
class constructor_wrapper<Class_Type, class_ctor, Acc_Level, Policy,
                          Metadata_Count, default_args<>, parameter_infos<Param_Args...>, Visitor_List, Ctor_Args...>
:   public constructor_wrapper_base, public metadata_handler<Metadata_Count>
{
    using invoker_class = constructor_invoker<ctor_type, Policy, type_list<Class_Type, Ctor_Args...>, index_sequence_for<Ctor_Args...>>;
    using instanciated_type = typename invoker_class::return_type;

    public:
        constructor_wrapper(std::array<metadata, Metadata_Count> metadata_list,
                            parameter_infos<Param_Args...> param_infos) RTTR_NOEXCEPT
        :   metadata_handler<Metadata_Count>(std::move(metadata_list)), m_param_infos(std::move(param_infos)),
            m_param_info_list(create_paramter_info_array(m_param_infos))
        {
            init();
        }

        bool is_valid()                     const RTTR_NOEXCEPT { return true; }
        access_levels get_access_level()    const RTTR_NOEXCEPT { return Acc_Level; }
        type get_instantiated_type()        const RTTR_NOEXCEPT { return type::get<instanciated_type>(); }
        type get_declaring_type()           const RTTR_NOEXCEPT { return type::get<typename raw_type<Class_Type>::type>(); }

        RTTR_INLINE std::vector<bool> get_is_reference_impl(std::true_type)     const RTTR_NOEXCEPT { return {std::is_reference<Ctor_Args>::value...}; }
        RTTR_INLINE std::vector<bool> get_is_reference_impl(std::false_type)    const RTTR_NOEXCEPT { return {}; }

        RTTR_INLINE std::vector<bool> get_is_const_impl(std::true_type)     const RTTR_NOEXCEPT { return {std::is_const<typename std::remove_reference<Ctor_Args>::type>::value...}; }
        RTTR_INLINE std::vector<bool> get_is_const_impl(std::false_type)    const RTTR_NOEXCEPT { return {}; }

        std::vector<bool> get_is_reference()    const RTTR_NOEXCEPT { return get_is_reference_impl(std::integral_constant<bool, sizeof...(Ctor_Args) != 0>()); }
        std::vector<bool> get_is_const()        const RTTR_NOEXCEPT { return get_is_const_impl(std::integral_constant<bool, sizeof...(Ctor_Args) != 0>()); }

        array_range<parameter_info> get_parameter_infos()   const RTTR_NOEXCEPT { return array_range<parameter_info>(m_param_info_list.data(),
                                                                                                                     m_param_info_list.size()); }

        variant get_metadata(const variant& key)            const { return metadata_handler<Metadata_Count>::get_metadata(key); }

        template<typename... TArgs>
        static RTTR_INLINE
        enable_if_t< are_args_in_valid_range<type_list<Ctor_Args...>, type_list<TArgs...>>::value, variant>
        invoke_impl(const TArgs&...args)
        {
            return invoker_class::invoke(args...);
        }

        template<typename... TArgs>
        static RTTR_INLINE
        enable_if_t< !are_args_in_valid_range<type_list<Ctor_Args...>, type_list<TArgs...>>::value, variant>
        invoke_impl(const TArgs&...args)
        {
            return variant();
        }

        variant invoke() const
        {
            return invoke_impl();
        }

        variant invoke(argument& arg1) const
        {
            return invoke_impl(arg1);
        }
        variant invoke(argument& arg1, argument& arg2) const
        {
            return invoke_impl(arg1, arg2);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3) const
        {
            return invoke_impl(arg1, arg2, arg3);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4) const
        {
            return invoke_impl(arg1, arg2, arg3, arg4);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4, argument& arg5) const
        {
            return invoke_impl(arg1, arg2, arg3, arg4, arg5);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4, argument& arg5, argument& arg6) const
        {
            return invoke_impl(arg1, arg2, arg3, arg4, arg5, arg6);
        }

        template<std::size_t ...I>
        static RTTR_INLINE variant invoke_variadic_impl(const std::vector<argument>& arg_list, index_sequence<I...>)
        {
            if (arg_list.size() == sizeof...(I))
                return invoker_class::invoke(arg_list[I]...);
            else
                return variant();
        }

        variant invoke_variadic(std::vector<argument>& arg_list) const
        {
            return invoke_variadic_impl(arg_list, make_index_sequence<sizeof...(Ctor_Args)>());
        }

        void visit(visitor& visitor, const constructor& ctor) const RTTR_NOEXCEPT
        {
            auto obj = make_ctor_info<Class_Type, Policy, Ctor_Args...>(ctor);
            visitor_iterator<Visitor_List>::visit(visitor, make_ctor_visitor_invoker(obj));
        }

    private:
        parameter_infos<Param_Args...> m_param_infos;
        std::array<parameter_info, sizeof...(Param_Args)> m_param_info_list;
};


/////////////////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////////////////

template<typename Class_Type, access_levels Acc_Level, typename Policy,
         std::size_t Metadata_Count, typename...Param_Args, typename Visitor_List, typename F>
class constructor_wrapper<Class_Type, return_func, Acc_Level, Policy,
                          Metadata_Count, default_args<>, parameter_infos<Param_Args...>, Visitor_List, F>
:   public constructor_wrapper_base, public metadata_handler<Metadata_Count>
{
    using instanciated_type = typename function_traits<F>::return_type;

    public:
        constructor_wrapper(F creator_func,
                            std::array<metadata, Metadata_Count> metadata_list,
                            parameter_infos<Param_Args...> param_infos) RTTR_NOEXCEPT
        :   metadata_handler<Metadata_Count>(std::move(metadata_list)),
            m_creator_func(creator_func), m_param_infos(std::move(param_infos)),
            m_param_info_list(create_paramter_info_array(m_param_infos))
        {
            init();
        }

        bool is_valid()                                     const RTTR_NOEXCEPT { return true; }
        access_levels get_access_level()                    const RTTR_NOEXCEPT { return Acc_Level; }
        type get_instantiated_type()                        const RTTR_NOEXCEPT { return type::get<instanciated_type>();                  }
        type get_declaring_type()                           const RTTR_NOEXCEPT { return type::get<typename raw_type<Class_Type>::type>(); }
        std::vector<bool> get_is_reference()                const RTTR_NOEXCEPT { return method_accessor<F, Policy>::get_is_reference();  }
        std::vector<bool> get_is_const()                    const RTTR_NOEXCEPT { return method_accessor<F, Policy>::get_is_const();      }
        array_range<parameter_info> get_parameter_infos()   const RTTR_NOEXCEPT { return array_range<parameter_info>(m_param_info_list.data(),
                                                                                                       m_param_info_list.size()); }

        variant get_metadata(const variant& key)            const { return metadata_handler<Metadata_Count>::get_metadata(key); }

        variant invoke() const
        {
           return method_accessor<F, Policy>::invoke(m_creator_func, instance());
        }
        variant invoke(argument& arg1) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1);
        }
        variant invoke(argument& arg1, argument& arg2) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1, arg2);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1, arg2, arg3);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1, arg2, arg3, arg4);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4, argument& arg5) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1, arg2, arg3, arg4, arg5);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4, argument& arg5, argument& arg6) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1, arg2, arg3, arg4, arg5, arg6);
        }
        variant invoke_variadic(std::vector<argument>& args) const
        {
            return method_accessor<F, Policy>::invoke_variadic(m_creator_func, instance(), args);
        }

        void visit(visitor& visitor, const constructor& ctor) const RTTR_NOEXCEPT
        {
            auto obj = make_ctor_info_func<Class_Type, Policy, F>(ctor, m_creator_func);
            visitor_iterator<Visitor_List>::visit(visitor, make_ctor_visitor_invoker_func(obj));
        }

    private:
         F  m_creator_func;
         parameter_infos<Param_Args...> m_param_infos;
         std::array<parameter_info, sizeof...(Param_Args)> m_param_info_list;
};

/////////////////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////////////////

template<typename Class_Type, access_levels Acc_Level, typename Policy,
         std::size_t Metadata_Count, typename Visitor_List, typename... Ctor_Args>
class constructor_wrapper<Class_Type, class_ctor, Acc_Level, Policy,
                          Metadata_Count, default_args<>, parameter_infos<>, Visitor_List, Ctor_Args...>
:   public constructor_wrapper_base, public metadata_handler<Metadata_Count>
{
    using invoker_class = constructor_invoker<ctor_type, Policy, type_list<Class_Type, Ctor_Args...>, index_sequence_for<Ctor_Args...>>;
    using instanciated_type = typename invoker_class::return_type;

    public:
        constructor_wrapper(std::array<metadata, Metadata_Count> metadata_list,
                            parameter_infos<> param_infos) RTTR_NOEXCEPT
        :   metadata_handler<Metadata_Count>(std::move(metadata_list))
        {
            init();
        }

        bool is_valid()                     const RTTR_NOEXCEPT { return true; }
        access_levels get_access_level()    const RTTR_NOEXCEPT { return Acc_Level; }
        type get_instantiated_type()        const RTTR_NOEXCEPT { return type::get<instanciated_type>(); }
        type get_declaring_type()           const RTTR_NOEXCEPT { return type::get<typename raw_type<Class_Type>::type>(); }

        RTTR_INLINE std::vector<bool> get_is_reference_impl(std::true_type)     const RTTR_NOEXCEPT { return {std::is_reference<Ctor_Args>::value...}; }
        RTTR_INLINE std::vector<bool> get_is_reference_impl(std::false_type)    const RTTR_NOEXCEPT { return {}; }

        RTTR_INLINE std::vector<bool> get_is_const_impl(std::true_type)     const RTTR_NOEXCEPT { return {std::is_const<typename std::remove_reference<Ctor_Args>::type>::value...}; }
        RTTR_INLINE std::vector<bool> get_is_const_impl(std::false_type)    const RTTR_NOEXCEPT { return {}; }

        std::vector<bool> get_is_reference()    const RTTR_NOEXCEPT { return get_is_reference_impl(std::integral_constant<bool, sizeof...(Ctor_Args) != 0>()); }
        std::vector<bool> get_is_const()        const RTTR_NOEXCEPT { return get_is_const_impl(std::integral_constant<bool, sizeof...(Ctor_Args) != 0>()); }

        array_range<parameter_info> get_parameter_infos()   const RTTR_NOEXCEPT { return array_range<parameter_info>(); }
        variant get_metadata(const variant& key)            const { return metadata_handler<Metadata_Count>::get_metadata(key); }

        template<typename... TArgs>
        static RTTR_INLINE
        enable_if_t< are_args_in_valid_range<type_list<Ctor_Args...>, type_list<TArgs...>>::value, variant>
        invoke_impl(const TArgs&...args)
        {
            return invoker_class::invoke(args...);
        }

        template<typename... TArgs>
        static RTTR_INLINE
        enable_if_t< !are_args_in_valid_range<type_list<Ctor_Args...>, type_list<TArgs...>>::value, variant>
        invoke_impl(const TArgs&...args)
        {
            return variant();
        }

        variant invoke() const
        {
            return invoke_impl();
        }

        variant invoke(argument& arg1) const
        {
            return invoke_impl(arg1);
        }
        variant invoke(argument& arg1, argument& arg2) const
        {
            return invoke_impl(arg1, arg2);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3) const
        {
            return invoke_impl(arg1, arg2, arg3);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4) const
        {
            return invoke_impl(arg1, arg2, arg3, arg4);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4, argument& arg5) const
        {
            return invoke_impl(arg1, arg2, arg3, arg4, arg5);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4, argument& arg5, argument& arg6) const
        {
            return invoke_impl(arg1, arg2, arg3, arg4, arg5, arg6);
        }

        template<std::size_t ...I>
        static RTTR_INLINE variant invoke_variadic_impl(const std::vector<argument>& arg_list, index_sequence<I...>)
        {
            if (arg_list.size() == sizeof...(I))
                return invoker_class::invoke(arg_list[I]...);
            else
                return variant();
        }

        variant invoke_variadic(std::vector<argument>& arg_list) const
        {
            return invoke_variadic_impl(arg_list, make_index_sequence<sizeof...(Ctor_Args)>());
        }

        void visit(visitor& visitor, const constructor& ctor) const RTTR_NOEXCEPT
        {
            auto obj = make_ctor_info<Class_Type, Policy, Ctor_Args...>(ctor);
            visitor_iterator<Visitor_List>::visit(visitor, make_ctor_visitor_invoker(obj));
        }
};


/////////////////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////////////////

template<typename Class_Type, access_levels Acc_Level, typename Policy,
         std::size_t Metadata_Count, typename Visitor_List, typename F>
class constructor_wrapper<Class_Type, return_func, Acc_Level, Policy,
                          Metadata_Count, default_args<>, parameter_infos<>, Visitor_List, F>
:   public constructor_wrapper_base, public metadata_handler<Metadata_Count>
{
    using instanciated_type = typename function_traits<F>::return_type;

    public:
        constructor_wrapper(F creator_func,
                            std::array<metadata, Metadata_Count> metadata_list,
                            parameter_infos<> param_infos) RTTR_NOEXCEPT
        :   metadata_handler<Metadata_Count>(std::move(metadata_list)),
            m_creator_func(creator_func)
        {
            init();
        }

        bool is_valid()                                     const RTTR_NOEXCEPT { return true; }
        access_levels get_access_level()                    const RTTR_NOEXCEPT { return Acc_Level; }
        type get_instantiated_type()                        const RTTR_NOEXCEPT { return type::get<instanciated_type>();                  }
        type get_declaring_type()                           const RTTR_NOEXCEPT { return type::get<typename raw_type<Class_Type>::type>(); }
        std::vector<bool> get_is_reference()                const RTTR_NOEXCEPT { return method_accessor<F, Policy>::get_is_reference();  }
        std::vector<bool> get_is_const()                    const RTTR_NOEXCEPT { return method_accessor<F, Policy>::get_is_const();      }
        array_range<parameter_info> get_parameter_infos()   const RTTR_NOEXCEPT { return array_range<parameter_info>(); }
        variant get_metadata(const variant& key)            const RTTR_NOEXCEPT { return metadata_handler<Metadata_Count>::get_metadata(key); }

        variant invoke() const
        {
           return method_accessor<F, Policy>::invoke(m_creator_func, instance());
        }
        variant invoke(argument& arg1) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1);
        }
        variant invoke(argument& arg1, argument& arg2) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1, arg2);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1, arg2, arg3);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1, arg2, arg3, arg4);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4, argument& arg5) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1, arg2, arg3, arg4, arg5);
        }
        variant invoke(argument& arg1, argument& arg2, argument& arg3, argument& arg4, argument& arg5, argument& arg6) const
        {
            return method_accessor<F, Policy>::invoke(m_creator_func, instance(), arg1, arg2, arg3, arg4, arg5, arg6);
        }
        variant invoke_variadic(std::vector<argument>& args) const
        {
            return method_accessor<F, Policy>::invoke_variadic(m_creator_func, instance(), args);
        }

        void visit(visitor& visitor, const constructor& ctor) const RTTR_NOEXCEPT
        {
            auto obj = make_ctor_info_func<Class_Type, Policy, F>(ctor, m_creator_func);
            visitor_iterator<Visitor_List>::visit(visitor, make_ctor_visitor_invoker_func(obj));
        }

    private:
         F  m_creator_func;
};

/////////////////////////////////////////////////////////////////////////////////////////


} // end namespace detail
} // end namespace rttr

#endif // RTTR_CONSTRUCTOR_WRAPPER_H_