bidirectional_iterator.hpp

Go to the documentation of this file.

//
// Created by cosge on 2023-12-03.
//
 
#ifndef VCCC_ITERATOR_BIDIRECTIONAL_ITERATOR_HPP_
#define VCCC_ITERATOR_BIDIRECTIONAL_ITERATOR_HPP_
 
#include <type_traits>
 
#include "vccc/__concepts/derived_from.hpp"
#include "vccc/__concepts/same_as.hpp"
#include "vccc/__iterator/iterator_traits/legacy_bidirectional_iterator.hpp"
#include "vccc/__iterator/forward_iterator.hpp"
#include "vccc/__iterator/iterator_tag.hpp"
 
namespace vccc {
namespace detail {
 
template<typename T, typename = void>
struct is_post_decrementable_bidi_iter : std::false_type {};
 
template<typename T>
struct is_post_decrementable_bidi_iter<T, void_t<decltype( std::declval<T&>()-- )>>
    : same_as<decltype( std::declval<T&>()-- ), T> {};
 
template<typename I, bool = forward_iterator<I>::value>
struct bidirectional_iterator_impl : std::false_type {};
 
template<typename I>
struct bidirectional_iterator_impl<I, true>
    : conjunction<
        derived_from<ITER_CONCEPT<I>, bidirectional_iterator_tag>,
        is_pre_decrementable<I>,
        is_post_decrementable_bidi_iter<I>
      > {};
 
} // namespace detail
 
 
 
template<typename I>
struct bidirectional_iterator : detail::bidirectional_iterator_impl<I> {};
 
 
} // namespace vccc
 
#endif // VCCC_ITERATOR_BIDIRECTIONAL_ITERATOR_HPP_