iterator.h

Go to the documentation of this file.

#pragma once
 
#include "di/container/meta/iterator_category.h"
#include "di/container/meta/iterator_reference.h"
#include "di/container/meta/iterator_size_type.h"
#include "di/container/meta/iterator_ssize_type.h"
#include "di/container/meta/iterator_value.h"
#include "di/meta/core.h"
#include "di/meta/operations.h"
#include "di/util/as_const.h"
 
namespace di::concepts {
template<typename Iter>
concept Iterator = Movable<Iter> && requires(meta::RemoveCVRef<Iter> it) {
    typename meta::IteratorCategory<Iter>;
    typename meta::IteratorValue<Iter>;
    typename meta::IteratorReference<Iter>;
    typename meta::IteratorSSizeType<Iter>;
    typename meta::IteratorSizeType<Iter>;
    { ++it } -> SameAs<meta::RemoveCVRef<Iter>&>;
    it++;
    { *util::as_const(it) } -> SameAs<meta::IteratorReference<Iter>>;
};
}