crange.hh

Go to the documentation of this file.

#ifndef VCSN_CORE_CRANGE_HH
# define VCSN_CORE_CRANGE_HH

# include <functional> // std::function
# include <type_traits>

# include <boost/iterator/filter_iterator.hpp>

namespace vcsn
{
  template <typename C>
  struct container_range
  {
  public:
    using unref_C = typename std::remove_reference<C>::type;
    using value_type = typename unref_C::value_type;

    using const_iterator = typename unref_C::const_iterator;
  private:
    const C cont_;
  public:
    container_range(const unref_C& cont)
      : cont_(cont)
    {}

#define DEFINE(Name)                                    \
    auto Name() const -> decltype(this->cont_.Name())   \
    {                                                   \
      return cont_.Name();                              \
    }
    DEFINE(begin);
    DEFINE(end);
    DEFINE(front);
    DEFINE(back);
    DEFINE(empty);
    DEFINE(size);
#undef DEFINE
  };


  template <typename C>
  struct container_filter_range
  {
  public:
    using unref_C = typename std::remove_reference<C>::type;
    using value_type = typename unref_C::value_type;
    using predicate_t = std::function<bool(value_type)>;
    using const_iterator
      = boost::filter_iterator<predicate_t, typename unref_C::const_iterator>;
  public:
    container_filter_range(const unref_C& cont, predicate_t predicate)
      : cont_(cont)
      , predicate_(predicate)
    {}

    const_iterator begin() const
    {
      return {predicate_, cont_.begin(), cont_.end()};
    }

    const_iterator end() const
    {
      return {predicate_, cont_.end(), cont_.end()};
    }

    value_type front() const
    {
      assert(!empty());
      return *begin();
    }

    value_type back() const
    {
      assert(!empty());
      return cont_.back();
    }

    bool empty() const
    {
      return begin() == end();
    }

    size_t size() const
    {
      return std::distance(begin(), end());
    }

  private:
    const C cont_;
    predicate_t predicate_;
  };
}

#endif // !VCSN_CORE_CRANGE_HH