Matching.hpp

 
// This work derives from Vittorio Romeo's code used for cppcon 2015 licensed
// under the Academic Free License.
// His code is available here: https://github.com/SuperV1234/cppcon2015
 
 
#ifndef EC_META_MATCHING_HPP
#define EC_META_MATCHING_HPP
 
#include "TypeList.hpp"
#include "Contains.hpp"
 
namespace EC
{
    namespace Meta
    {
        template <typename TTypeListA, typename TTypeListB>
        struct MatchingHelper
        {
            using type = TypeList<>;
        };
 
        template <typename TTypeListA, typename TTypeListB,
            typename... Matching>
        struct MatchingHelperHelper
        {
        };
 
        template <typename TTypeListA, typename TTypeListB,
            typename... Matching>
        struct MatchingHelperHelper<
            TTypeListA, TTypeListB, TypeList<Matching...> >
        {
            using type = TypeList<Matching...>;
        };
 
        template <
            template <typename...> class TTypeListA,
            typename TTypeListB,
            typename Type,
            typename... Types,
            typename... Matching>
        struct MatchingHelperHelper<
                TTypeListA<Type, Types...>,
                TTypeListB,
                TypeList<Matching...> > :
            std::conditional<
                Contains<Type, TTypeListB>::value,
                MatchingHelperHelper<
                    TTypeListA<Types...>,
                    TTypeListB,
                    TypeList<Matching..., Type> >,
                MatchingHelperHelper<
                    TTypeListA<Types...>,
                    TTypeListB,
                    TypeList<Matching...> >
            >::type
        {
        };
 
        template <
            template <typename...> class TTypeListA,
            typename TTypeListB,
            typename Type,
            typename... Types>
        struct MatchingHelper<TTypeListA<Type, Types...>, TTypeListB> :
            std::conditional<
                Contains<Type, TTypeListB>::value,
                MatchingHelperHelper<
                    TTypeListA<Types...>, TTypeListB, TypeList<Type> >,
                MatchingHelper<TTypeListA<Types...>, TTypeListB>
            >::type
        {
        };
 
        template <typename TTypeListA, typename TTypeListB>
        using Matching = MatchingHelper<TTypeListA, TTypeListB>;
    }
}
 
#endif