mirror/Sprout
1
0
Fork 0
mirror of https://github.com/bolero-MURAKAMI/Sprout.git synced 2024-11-14 10:39:05 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix joint_types implementation

Browse source
This commit is contained in:
bolero-MURAKAMI 2014-08-05 16:37:28 +09:00
parent 8f5f023ed9
commit 7562e23307
2 changed files with 138 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

127
sprout/type/joint_types.hpp
View file

@ -39,8 +39,18 @@ namespace sprout {
>::type type;
};
template<typename Tuple, typename Tup>
struct joint_types_default_apply;
template<typename Tuple>
struct joint_types_default {};
struct joint_types_default {
public:
template<typename Tup>
struct apply
: public sprout::types::detail::joint_types_impl<Tuple, Tup>
{};
};
template<template<typename...> class TupleClass, typename... Ts>
struct joint_types_default<TupleClass<Ts...> > {
public:
@ -48,21 +58,120 @@ namespace sprout {
struct apply
: public sprout::types::detail::joint_types_impl<TupleClass<Ts...>, Tup>
{};
template<typename... Types>
struct apply<TupleClass<Types...> >
template<template<typename...> class TupClass, typename... Types>
struct apply<TupClass<Types...> >
: public sprout::identity<TupleClass<Ts..., Types...> >
{};
};
template<template<typename VT, VT...> class ValueTupleClass, typename T, T... Vs>
struct joint_types_default<ValueTupleClass<T, Vs...> > {
template<
template<typename VT, VT...> class IntegerSequenceClass, typename T, T... Vs,
typename Tup
>
struct joint_types_default_apply<IntegerSequenceClass<T, Vs...>, Tup>
: public sprout::types::detail::joint_types_impl<IntegerSequenceClass<T, Vs...>, Tup>
{};
template<
template<typename VT, VT...> class IntegerSequenceClass, typename T, T... Vs,
template<typename VType, VType...> class IntSeqClass, typename Type, Type... Values
>
struct joint_types_default_apply<IntegerSequenceClass<T, Vs...>, IntSeqClass<Type, Values...> >
: public sprout::identity<IntegerSequenceClass<T, Vs..., Values...> >
{};
template<
template<typename VT, VT...> class IntegerSequenceClass, typename T, T... Vs,
template<sprout::index_t...> class IndexTupClass, sprout::index_t... Values
>
struct joint_types_default_apply<IntegerSequenceClass<T, Vs...>, IndexTupClass<Values...> >
: public sprout::identity<IntegerSequenceClass<T, Vs..., Values...> >
{};
template<
template<typename VT, VT...> class IntegerSequenceClass, typename T, T... Vs,
template<sprout::uindex_t...> class UIndexTupClass, sprout::uindex_t... Values
>
struct joint_types_default_apply<IntegerSequenceClass<T, Vs...>, UIndexTupClass<Values...> >
: public sprout::identity<IntegerSequenceClass<T, Vs..., Values...> >
{};
template<template<typename VT, VT...> class IntegerSequenceClass, typename T, T... Vs>
struct joint_types_default<IntegerSequenceClass<T, Vs...> > {
public:
template<typename Tup>
struct apply
: public sprout::types::detail::joint_types_impl<ValueTupleClass<T, Vs...>, Tup>
: public sprout::types::detail::joint_types_default_apply<IntegerSequenceClass<T, Vs...>, Tup>
{};
template<T... Values>
struct apply<ValueTupleClass<T, Values...> >
: public sprout::identity<ValueTupleClass<T, Vs..., Values...> >
};
template<
template<sprout::index_t...> class IndexTupleClass, sprout::index_t... Vs,
typename Tup
>
struct joint_types_default_apply<IndexTupleClass<Vs...>, Tup>
: public sprout::types::detail::joint_types_impl<IndexTupleClass<Vs...>, Tup>
{};
template<
template<sprout::index_t...> class IndexTupleClass, sprout::index_t... Vs,
template<typename VType, VType...> class IntSeqClass, typename Type, Type... Values
>
struct joint_types_default_apply<IndexTupleClass<Vs...>, IntSeqClass<Type, Values...> >
: public sprout::identity<IndexTupleClass<Vs..., Values...> >
{};
template<
template<sprout::index_t...> class IndexTupleClass, sprout::index_t... Vs,
template<sprout::index_t...> class IndexTupClass, sprout::index_t... Values
>
struct joint_types_default_apply<IndexTupleClass<Vs...>, IndexTupClass<Values...> >
: public sprout::identity<IndexTupleClass<Vs..., Values...> >
{};
template<
template<sprout::index_t...> class IndexTupleClass, sprout::index_t... Vs,
template<sprout::uindex_t...> class UIndexTupClass, sprout::uindex_t... Values
>
struct joint_types_default_apply<IndexTupleClass<Vs...>, UIndexTupClass<Values...> >
: public sprout::identity<IndexTupleClass<Vs..., Values...> >
{};
template<template<sprout::index_t...> class IndexTupleClass, sprout::index_t... Vs>
struct joint_types_default<IndexTupleClass<Vs...> > {
public:
template<typename Tup>
struct apply
: public sprout::types::detail::joint_types_default_apply<IndexTupleClass<Vs...>, Tup>
{};
};
template<
template<sprout::uindex_t...> class UIndexTupleClass, sprout::uindex_t... Vs,
typename Tup
>
struct joint_types_default_apply<UIndexTupleClass<Vs...>, Tup>
: public sprout::types::detail::joint_types_impl<UIndexTupleClass<Vs...>, Tup>
{};
template<
template<sprout::uindex_t...> class UIndexTupleClass, sprout::uindex_t... Vs,
template<typename VType, VType...> class IntSeqClass, typename Type, Type... Values
>
struct joint_types_default_apply<UIndexTupleClass<Vs...>, IntSeqClass<Type, Values...> >
: public sprout::identity<UIndexTupleClass<Vs..., Values...> >
{};
template<
template<sprout::uindex_t...> class UIndexTupleClass, sprout::uindex_t... Vs,
template<sprout::index_t...> class IndexTupClass, sprout::index_t... Values
>
struct joint_types_default_apply<UIndexTupleClass<Vs...>, IndexTupClass<Values...> >
: public sprout::identity<UIndexTupleClass<Vs..., Values...> >
{};
template<
template<sprout::uindex_t...> class UIndexTupleClass, sprout::uindex_t... Vs,
template<sprout::uindex_t...> class UIndexTupClass, sprout::uindex_t... Values
>
struct joint_types_default_apply<UIndexTupleClass<Vs...>, UIndexTupClass<Values...> >
: public sprout::identity<UIndexTupleClass<Vs..., Values...> >
{};
template<template<sprout::uindex_t...> class UIndexTupleClass, sprout::uindex_t... Vs>
struct joint_types_default<UIndexTupleClass<Vs...> > {
public:
template<typename Tup>
struct apply
: public sprout::types::detail::joint_types_default_apply<UIndexTupleClass<Vs...>, Tup>
{};
};
} // namespace detail

23
sprout/type/rebind_types.hpp
View file

@ -10,6 +10,7 @@
#include <sprout/config.hpp>
#include <sprout/type_traits/identity.hpp>
#include <sprout/index_tuple/index_t.hpp>
namespace sprout {
namespace types {
@ -24,12 +25,28 @@ namespace sprout {
: public sprout::identity<TupleClass<Types...> >
{};
};
template<template<typename VT, VT...> class ValueTupleClass, typename T, T... Vs>
struct rebind_types_default<ValueTupleClass<T, Vs...> > {
template<template<typename VT, VT...> class IntegerSequenceClass, typename T, T... Vs>
struct rebind_types_default<IntegerSequenceClass<T, Vs...> > {
public:
template<typename... Types>
struct apply
: public sprout::identity<ValueTupleClass<T, Types::value...> >
: public sprout::identity<IntegerSequenceClass<T, Types::value...> >
{};
};
template<template<sprout::index_t...> class IndexTupleClass, sprout::index_t... Vs>
struct rebind_types_default<IndexTupleClass<Vs...> > {
public:
template<typename... Types>
struct apply
: public sprout::identity<IndexTupleClass<Types::value...> >
{};
};
template<template<sprout::uindex_t...> class UIndexTupleClass, sprout::uindex_t... Vs>
struct rebind_types_default<UIndexTupleClass<Vs...> > {
public:
template<typename... Types>
struct apply
: public sprout::identity<UIndexTupleClass<Types::value...> >
{};
};
} // namespace detail