join.hh

Go to the documentation of this file.

#ifndef VCSN_CORE_JOIN_HH
# define VCSN_CORE_JOIN_HH

# include <vcsn/misc/type_traits.hh>

namespace vcsn
{
  namespace detail
  {

    template <typename V1, typename V2,
              typename Enable = void>
    struct join_impl
    {};

    template <typename V1, typename V2>
    typename join_impl<V1, V2>::type
    join_(V1 v1, V2 v2, int)
    {
      return join_impl<V1, V2>::join(v1, v2);
    }

    template <typename V1, typename V2>
    typename join_impl<V1, V2>::type
    join_(V2 v2, V1 v1, long)
    {
      return join_impl<V1, V2>::join(v1, v2);
    }
  }

  template <typename ValueSet>
  auto
  join(const ValueSet& vs)
    -> ValueSet
  {
    return vs;
  }

  template <typename ValueSet1, typename ValueSet2, typename... VSs>
  auto
  join(const ValueSet1& vs1, const ValueSet2& vs2, const VSs&... vs)
    -> decltype(join(detail::join_(vs1, vs2, 0), vs...))
  {
    return join(detail::join_(vs1, vs2, 0), vs...);
  }

  template <typename... ValueSets>
  using join_t = decltype(join(std::declval<ValueSets>()...));
}

#define VCSN_JOIN_SIMPLE(Lhs, Rhs)              \
      \
  template <>                                   \
  struct join_impl<Lhs, Rhs>                    \
  {                                             \
    using type = Rhs;                           \
    static type join(Lhs, Rhs)                  \
    {                                           \
      return {};                                \
    }                                           \
  }


#endif // !VCSN_CORE_JOIN_HH