iter_value_t.hpp

Go to the documentation of this file.

//
// Created by cosge on 2023-12-24.
//
 
#ifndef VCCC_ITERATOR_ITER_VALUE_T_HPP_
#define VCCC_ITERATOR_ITER_VALUE_T_HPP_
 
#include "vccc/__iterator/iterator_traits/cxx20_iterator_traits.hpp"
#include "vccc/__iterator/indirectly_readable_traits.hpp"
#include "vccc/__type_traits/has_typename_value_type.hpp"
#include "vccc/__type_traits/remove_cvref.hpp"
 
namespace vccc {
namespace detail {
 
template<
    typename T,
    bool = is_primary_iterator_traits< cxx20_iterator_traits< remove_cvref_t<T> > >::value,
    bool = has_typename_value_type<indirectly_readable_traits<remove_cvref_t<T>>>::value
>
struct iter_value_impl {};
 
template<typename T, bool v>
struct iter_value_impl<T, false, v> {
  using type = typename cxx20_iterator_traits<remove_cvref_t<T>>::value_type;
};
 
template<typename T>
struct iter_value_impl<T, true, true> {
  using type = typename indirectly_readable_traits<remove_cvref_t<T>>::value_type;
};
 
} // namespace detail
 
 
template<typename T>
struct iter_value : detail::iter_value_impl<T> {};
 
template<typename T>
using iter_value_t = typename iter_value<T>::type;
 
 
} // namespace vccc
 
#endif // VCCC_ITERATOR_ITER_VALUE_T_HPP_