Iterator.h

Go to the documentation of this file.

#pragma once

#include <scl/macros.h>
#include <scl/concepts/require.h>
#include <scl/concepts/Copyable.h>
#include <scl/concepts/Destructible.h>
#include <scl/concepts/Swappable.h>
#include <scl/tools/meta/type_mod.h>
#include <scl/tools/meta/constexpr_assert.h>
#include <scl/tools/meta/exists.h>
#include <scl/tools/meta/is_convertible.h>
#include <iterator>

namespace scl{
    namespace concepts{
        template <class T>
        struct Iterator{
            constexpr operator bool() const{
                return META::constexpr_assert<
                    Copyable<T>{}
                    && Destructible<T>{}
//#ifdef SCL_CPP17
                    && Swappable<T>{}
//#endif
#define SCL_TRAIT(type) typename std::iterator_traits<T>::type
                    && META::exists<SCL_TRAIT(value_type)>()
                    && META::exists<SCL_TRAIT(difference_type)>()
                    && META::exists<SCL_TRAIT(reference)>()
                    && META::exists<SCL_TRAIT(pointer)>()
                    && META::exists<SCL_TRAIT(iterator_category)>()
#undef SCL_TRAIT
#define SCL_LVALUE std::declval<T&>()
                    && META::exists<decltype(*SCL_LVALUE)>()
                    && META::is_convertible<decltype(++SCL_LVALUE), T&>()
#undef SCL_LVALUE
                >();
            }
        };
    }
}