indirectly_readable.hpp

Go to the documentation of this file.

//
// Created by yonggyulee on 2023/12/24.
//
 
#ifndef VCCC_ITERATOR_INDIRECTLY_READABLE_HPP_
#define VCCC_ITERATOR_INDIRECTLY_READABLE_HPP_
 
#include <type_traits>
 
#include "vccc/__concepts/common_reference_with.hpp"
#include "vccc/__concepts/dereferenceable.hpp"
#include "vccc/__iterator/iter_reference_t.hpp"
#include "vccc/__iterator/iter_rvalue_reference_t.hpp"
#include "vccc/__iterator/iter_value_t.hpp"
#include "vccc/__type_traits/conjunction.hpp"
#include "vccc/__type_traits/has_typename_type.hpp"
#include "vccc/__type_traits/is_referenceable.hpp"
#include "vccc/__type_traits/remove_cvref.hpp"
 
namespace vccc {
namespace detail {
 
template<typename In, bool = is_referencable<In>::value>
struct indirectly_readable_impl : std::false_type {};
 
template<typename In>
struct indirectly_readable_impl<In, true>
    : conjunction<
        common_reference_with<iter_reference_t<In>&&, iter_value_t<In>&>,
        common_reference_with<iter_reference_t<In>&&, iter_rvalue_reference_t<In>&&>,
        common_reference_with<iter_rvalue_reference_t<In>&&, const iter_value_t<In>&>
      >{};
 
template<
  typename In,
  bool = conjunction<
        dereferenceable<const In>,
        has_typename_type<iter_value<In>>,
        has_typename_type<iter_reference<In>>,
        has_typename_type<iter_rvalue_reference<In>>
      >::value
>
struct indirectly_readable_requires : std::false_type {};
 
template<typename In>
struct indirectly_readable_requires<In, true>
    : conjunction<
        same_as<decltype(*std::declval<const In&>()), iter_reference_t<In>>,
        same_as<decltype(ranges::iter_move(std::declval<const In&>())), iter_rvalue_reference_t<In>>,
        indirectly_readable_impl<In>
      > {};
 
} // namespace detail
 
 
template<typename In>
struct indirectly_readable : detail::indirectly_readable_requires<remove_cvref_t<In>> {};
 
 
} // namespace vccc
 
#endif // VCCC_ITERATOR_INDIRECTLY_READABLE_HPP_