mirror of
https://github.com/ETLCPP/etl.git
synced 2026-04-30 19:09:10 +08:00
5dc682b7ff
Includes C++26 related infrastructure macros. Fixes compile errors when compiling under C++26. Initially supported C++26 features: - [[indeterminate]] - new 2022 ISO prefixes in ratio.h - atomic fetch_max() and fetch_min() - is_virtual_base_of - is_trivially_relocatable and trivially_relocate - saturation arithmetic: add_sat, sub_sat, mul_sat, div_sat, saturate_cast
2195 lines
70 KiB
C++
2195 lines
70 KiB
C++
///\file
|
|
|
|
/******************************************************************************
|
|
The MIT License(MIT)
|
|
|
|
Embedded Template Library.
|
|
https://github.com/ETLCPP/etl
|
|
https://www.etlcpp.com
|
|
|
|
Copyright(c) 2017 John Wellbelove
|
|
|
|
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
of this software and associated documentation files(the "Software"), to deal
|
|
in the Software without restriction, including without limitation the rights
|
|
to use, copy, modify, merge, publish, distribute, sublicense, and / or sell
|
|
copies of the Software, and to permit persons to whom the Software is
|
|
furnished to do so, subject to the following conditions :
|
|
|
|
The above copyright notice and this permission notice shall be included in all
|
|
copies or substantial portions of the Software.
|
|
|
|
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.IN NO EVENT SHALL THE
|
|
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
SOFTWARE.
|
|
******************************************************************************/
|
|
|
|
#ifndef ETL_ITERATOR_INCLUDED
|
|
#define ETL_ITERATOR_INCLUDED
|
|
|
|
#include "platform.h"
|
|
#include "invoke.h"
|
|
#include "type_traits.h"
|
|
#include "utility.h"
|
|
#include "private/addressof.h"
|
|
|
|
#if ETL_USING_STL || defined(ETL_IN_UNIT_TEST)
|
|
#include <iterator>
|
|
#endif
|
|
|
|
///\defgroup iterator iterator
|
|
///\ingroup utilities
|
|
|
|
namespace etl
|
|
{
|
|
//***************************************************************************
|
|
// iterator tags
|
|
struct input_iterator_tag
|
|
{
|
|
};
|
|
struct output_iterator_tag
|
|
{
|
|
};
|
|
struct forward_iterator_tag : public input_iterator_tag
|
|
{
|
|
};
|
|
struct bidirectional_iterator_tag : public forward_iterator_tag
|
|
{
|
|
};
|
|
struct random_access_iterator_tag : public bidirectional_iterator_tag
|
|
{
|
|
};
|
|
// struct contiguous_iterator_tag : public random_access_iterator_tag {};
|
|
|
|
//***************************************************************************
|
|
// iterator_traits
|
|
|
|
// For anything not a fundamental type.
|
|
template <typename TIterator, typename = typename etl::enable_if< !etl::is_fundamental<TIterator>::value, void>::type>
|
|
struct iterator_traits
|
|
{
|
|
typedef typename TIterator::iterator_category iterator_category;
|
|
typedef typename TIterator::value_type value_type;
|
|
typedef typename TIterator::difference_type difference_type;
|
|
typedef typename TIterator::pointer pointer;
|
|
typedef typename TIterator::reference reference;
|
|
};
|
|
|
|
// For pointers.
|
|
template <typename T>
|
|
struct iterator_traits<T*, void>
|
|
{
|
|
typedef ETL_OR_STD::random_access_iterator_tag iterator_category;
|
|
typedef T value_type;
|
|
typedef ptrdiff_t difference_type;
|
|
typedef typename etl::remove_cv<T>::type* pointer;
|
|
typedef T& reference;
|
|
};
|
|
|
|
// For const pointers.
|
|
template <typename T>
|
|
struct iterator_traits<const T*, void>
|
|
{
|
|
typedef ETL_OR_STD::random_access_iterator_tag iterator_category;
|
|
typedef T value_type;
|
|
typedef ptrdiff_t difference_type;
|
|
typedef const typename etl::remove_cv<T>::type* pointer;
|
|
typedef const T& reference;
|
|
};
|
|
|
|
//***************************************************************************
|
|
// advance
|
|
template <typename TIterator, typename TDistance>
|
|
ETL_CONSTEXPR14 void advance_helper(TIterator& itr, TDistance n, ETL_OR_STD::input_iterator_tag)
|
|
{
|
|
while (n-- > 0)
|
|
{
|
|
++itr;
|
|
}
|
|
}
|
|
|
|
template <typename TIterator, typename TDistance>
|
|
ETL_CONSTEXPR14 void advance_helper(TIterator& itr, TDistance n, ETL_OR_STD::output_iterator_tag)
|
|
{
|
|
while (n-- > 0)
|
|
{
|
|
++itr;
|
|
}
|
|
}
|
|
|
|
template <typename TIterator, typename TDistance>
|
|
ETL_CONSTEXPR14 void advance_helper(TIterator& itr, TDistance n, ETL_OR_STD::forward_iterator_tag)
|
|
{
|
|
while (n-- > 0)
|
|
{
|
|
++itr;
|
|
}
|
|
}
|
|
|
|
template <typename TIterator, typename TDistance>
|
|
ETL_CONSTEXPR14 void advance_helper(TIterator& itr, TDistance n, ETL_OR_STD::bidirectional_iterator_tag)
|
|
{
|
|
if (n > 0)
|
|
{
|
|
while (n--)
|
|
{
|
|
++itr;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
while (n++)
|
|
{
|
|
--itr;
|
|
}
|
|
}
|
|
}
|
|
|
|
template <typename TIterator, typename TDistance>
|
|
ETL_CONSTEXPR14 void advance_helper(TIterator& itr, TDistance n, ETL_OR_STD::random_access_iterator_tag)
|
|
{
|
|
typedef typename etl::iterator_traits<TIterator>::difference_type diff_t;
|
|
itr += static_cast<diff_t>(n);
|
|
}
|
|
|
|
template <typename TIterator, typename TDistance>
|
|
ETL_CONSTEXPR14 void advance(TIterator& itr, TDistance n)
|
|
{
|
|
typedef typename etl::iterator_traits<TIterator>::iterator_category tag;
|
|
|
|
advance_helper(itr, n, tag());
|
|
}
|
|
|
|
//***************************************************************************
|
|
// distance
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 typename etl::iterator_traits<TIterator>::difference_type distance_helper(TIterator first, TIterator last, ETL_OR_STD::input_iterator_tag)
|
|
{
|
|
typename etl::iterator_traits<TIterator>::difference_type d = 0;
|
|
|
|
while (first != last)
|
|
{
|
|
++d;
|
|
++first;
|
|
}
|
|
|
|
return d;
|
|
}
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 typename etl::iterator_traits<TIterator>::difference_type distance_helper(TIterator first, TIterator last,
|
|
ETL_OR_STD::forward_iterator_tag)
|
|
{
|
|
typename etl::iterator_traits<TIterator>::difference_type d = 0;
|
|
|
|
while (first != last)
|
|
{
|
|
++d;
|
|
++first;
|
|
}
|
|
|
|
return d;
|
|
}
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 typename etl::iterator_traits<TIterator>::difference_type distance_helper(TIterator first, TIterator last,
|
|
ETL_OR_STD::bidirectional_iterator_tag)
|
|
{
|
|
typename etl::iterator_traits<TIterator>::difference_type d = 0;
|
|
|
|
while (first != last)
|
|
{
|
|
++d;
|
|
++first;
|
|
}
|
|
|
|
return d;
|
|
}
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 typename etl::iterator_traits<TIterator>::difference_type distance_helper(TIterator first, TIterator last,
|
|
ETL_OR_STD::random_access_iterator_tag)
|
|
{
|
|
return last - first;
|
|
}
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 typename etl::iterator_traits<TIterator>::difference_type distance(TIterator first, TIterator last)
|
|
{
|
|
typedef typename etl::iterator_traits<TIterator>::iterator_category tag;
|
|
|
|
return distance_helper(first, last, tag());
|
|
}
|
|
|
|
//***************************************************************************
|
|
// Previous
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 TIterator prev(TIterator itr, typename etl::iterator_traits<TIterator>::difference_type n = 1)
|
|
{
|
|
etl::advance(itr, -n);
|
|
|
|
return itr;
|
|
}
|
|
|
|
//***************************************************************************
|
|
// Next
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 TIterator next(TIterator itr, typename etl::iterator_traits<TIterator>::difference_type n = 1)
|
|
{
|
|
etl::advance(itr, n);
|
|
|
|
return itr;
|
|
}
|
|
|
|
//***************************************************************************
|
|
// reverse_iterator
|
|
template <typename TIterator>
|
|
class reverse_iterator
|
|
{
|
|
public:
|
|
|
|
typedef typename iterator_traits<TIterator>::iterator_category iterator_category;
|
|
typedef typename iterator_traits<TIterator>::value_type value_type;
|
|
typedef typename iterator_traits<TIterator>::difference_type difference_type;
|
|
typedef typename iterator_traits<TIterator>::pointer pointer;
|
|
typedef typename iterator_traits<TIterator>::reference reference;
|
|
|
|
typedef TIterator iterator_type;
|
|
|
|
ETL_CONSTEXPR14 reverse_iterator()
|
|
: current()
|
|
{
|
|
}
|
|
|
|
ETL_CONSTEXPR14 explicit reverse_iterator(TIterator itr)
|
|
: current(itr)
|
|
{
|
|
}
|
|
|
|
template <typename TOther>
|
|
ETL_CONSTEXPR14 reverse_iterator(const reverse_iterator<TOther>& other)
|
|
: current(other.base())
|
|
{
|
|
}
|
|
|
|
template <class TOther>
|
|
ETL_CONSTEXPR14 reverse_iterator& operator=(const reverse_iterator<TOther>& other)
|
|
{
|
|
current = other.base();
|
|
|
|
return (*this);
|
|
}
|
|
|
|
ETL_CONSTEXPR14 TIterator base() const
|
|
{
|
|
return current;
|
|
}
|
|
|
|
ETL_NODISCARD ETL_CONSTEXPR14 reference operator*() const
|
|
{
|
|
TIterator temp = current;
|
|
|
|
return *(--temp);
|
|
}
|
|
|
|
ETL_NODISCARD ETL_CONSTEXPR14 pointer operator->() const
|
|
{
|
|
TIterator temp = current;
|
|
|
|
return &(*--temp);
|
|
}
|
|
|
|
ETL_CONSTEXPR14 reverse_iterator& operator++()
|
|
{
|
|
--current;
|
|
|
|
return *this;
|
|
}
|
|
|
|
ETL_CONSTEXPR14 reverse_iterator operator++(int)
|
|
{
|
|
reverse_iterator temp = *this;
|
|
--current;
|
|
|
|
return temp;
|
|
}
|
|
|
|
ETL_CONSTEXPR14 reverse_iterator& operator--()
|
|
{
|
|
++current;
|
|
|
|
return (*this);
|
|
}
|
|
|
|
ETL_CONSTEXPR14 reverse_iterator operator--(int)
|
|
{
|
|
reverse_iterator temp = *this;
|
|
++current;
|
|
|
|
return temp;
|
|
}
|
|
|
|
ETL_CONSTEXPR14 reverse_iterator& operator+=(const difference_type offset)
|
|
{
|
|
current -= offset;
|
|
|
|
return (*this);
|
|
}
|
|
|
|
ETL_CONSTEXPR14 reverse_iterator& operator-=(const difference_type offset)
|
|
{
|
|
current += offset;
|
|
|
|
return (*this);
|
|
}
|
|
|
|
ETL_NODISCARD ETL_CONSTEXPR14 reverse_iterator operator+(const difference_type offset) const
|
|
{
|
|
return reverse_iterator(current - offset);
|
|
}
|
|
|
|
ETL_NODISCARD ETL_CONSTEXPR14 reverse_iterator operator-(const difference_type offset) const
|
|
{
|
|
return (reverse_iterator(current + offset));
|
|
}
|
|
|
|
ETL_NODISCARD ETL_CONSTEXPR14 reference operator[](const difference_type offset) const
|
|
{
|
|
return (*(*this + offset));
|
|
}
|
|
|
|
protected:
|
|
|
|
TIterator current;
|
|
};
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 bool operator==(const reverse_iterator<TIterator>& lhs, const reverse_iterator<TIterator>& rhs)
|
|
{
|
|
return lhs.base() == rhs.base();
|
|
}
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 bool operator!=(const reverse_iterator<TIterator>& lhs, const reverse_iterator<TIterator>& rhs)
|
|
{
|
|
return !(lhs == rhs);
|
|
}
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 bool operator<(const reverse_iterator<TIterator>& lhs, const reverse_iterator<TIterator>& rhs)
|
|
{
|
|
return rhs.base() < lhs.base();
|
|
}
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 bool operator>(const reverse_iterator<TIterator>& lhs, const reverse_iterator<TIterator>& rhs)
|
|
{
|
|
return rhs < lhs;
|
|
}
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 bool operator<=(const reverse_iterator<TIterator>& lhs, const reverse_iterator<TIterator>& rhs)
|
|
{
|
|
return !(rhs < lhs);
|
|
}
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 bool operator>=(const reverse_iterator<TIterator>& lhs, const reverse_iterator<TIterator>& rhs)
|
|
{
|
|
return !(lhs < rhs);
|
|
}
|
|
|
|
template <typename TIterator>
|
|
ETL_CONSTEXPR14 typename reverse_iterator<TIterator>::difference_type operator-(const reverse_iterator<TIterator>& lhs,
|
|
const reverse_iterator<TIterator>& rhs)
|
|
{
|
|
return rhs.base() - lhs.base();
|
|
}
|
|
|
|
template <typename TIterator, class TDifference>
|
|
ETL_CONSTEXPR14 reverse_iterator<TIterator> operator+(TDifference n, const reverse_iterator<TIterator>& itr)
|
|
{
|
|
return itr.operator+(n);
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// iterator
|
|
//***************************************************************************
|
|
template <typename TCategory, typename T, typename TDistance = ptrdiff_t, typename TPointer = T*, typename TReference = T& >
|
|
struct iterator
|
|
{
|
|
typedef T value_type;
|
|
typedef TDistance difference_type;
|
|
typedef TPointer pointer;
|
|
typedef TReference reference;
|
|
typedef TCategory iterator_category;
|
|
};
|
|
|
|
#if ETL_USING_CPP11
|
|
//***************************************************************************
|
|
// move_iterator
|
|
template <typename TIterator>
|
|
class move_iterator
|
|
{
|
|
public:
|
|
|
|
typedef typename iterator_traits<TIterator>::iterator_category iterator_category;
|
|
typedef typename iterator_traits<TIterator>::value_type value_type;
|
|
typedef typename iterator_traits<TIterator>::difference_type difference_type;
|
|
typedef TIterator iterator_type;
|
|
typedef TIterator pointer;
|
|
typedef value_type&& reference;
|
|
|
|
move_iterator() {}
|
|
|
|
explicit move_iterator(TIterator itr)
|
|
: current(itr)
|
|
{
|
|
}
|
|
|
|
template <typename U>
|
|
move_iterator(const move_iterator<U>& itr)
|
|
: current(itr.base())
|
|
{
|
|
}
|
|
|
|
template <typename U>
|
|
move_iterator& operator=(const move_iterator<U>& itr)
|
|
{
|
|
current = itr.current;
|
|
return *this;
|
|
}
|
|
|
|
iterator_type base() const
|
|
{
|
|
return current;
|
|
}
|
|
|
|
pointer operator->() const
|
|
{
|
|
return current;
|
|
}
|
|
|
|
reference operator*() const
|
|
{
|
|
return etl::move(*current);
|
|
}
|
|
|
|
move_iterator& operator++()
|
|
{
|
|
++current;
|
|
return *this;
|
|
}
|
|
|
|
move_iterator& operator--()
|
|
{
|
|
--current;
|
|
return *this;
|
|
}
|
|
|
|
move_iterator operator++(int)
|
|
{
|
|
move_iterator temp = *this;
|
|
++current;
|
|
return temp;
|
|
}
|
|
|
|
move_iterator operator--(int)
|
|
{
|
|
move_iterator temp = *this;
|
|
--current;
|
|
return temp;
|
|
}
|
|
|
|
move_iterator operator+(difference_type n) const
|
|
{
|
|
return move_iterator(current + n);
|
|
}
|
|
|
|
move_iterator operator-(difference_type n) const
|
|
{
|
|
return move_iterator(current - n);
|
|
}
|
|
|
|
move_iterator operator+=(difference_type n)
|
|
{
|
|
current += n;
|
|
return *this;
|
|
}
|
|
|
|
move_iterator operator-=(difference_type n)
|
|
{
|
|
current -= n;
|
|
return *this;
|
|
}
|
|
|
|
reference operator[](difference_type n) const
|
|
{
|
|
return etl::move(current[n]);
|
|
}
|
|
|
|
private:
|
|
|
|
TIterator current;
|
|
};
|
|
|
|
template <typename TIterator>
|
|
bool operator==(const etl::move_iterator<TIterator>& lhs, const etl::move_iterator<TIterator>& rhs)
|
|
{
|
|
return lhs.base() == rhs.base();
|
|
}
|
|
|
|
template <typename TIterator>
|
|
bool operator!=(const etl::move_iterator<TIterator>& lhs, const etl::move_iterator<TIterator>& rhs)
|
|
{
|
|
return !(lhs == rhs);
|
|
}
|
|
|
|
template <typename TIterator>
|
|
bool operator<(const etl::move_iterator<TIterator>& lhs, const etl::move_iterator<TIterator>& rhs)
|
|
{
|
|
return lhs.base() < rhs.base();
|
|
}
|
|
|
|
template <typename TIterator>
|
|
bool operator<=(const etl::move_iterator<TIterator>& lhs, const etl::move_iterator<TIterator>& rhs)
|
|
{
|
|
return !(rhs < lhs);
|
|
}
|
|
|
|
template <typename TIterator>
|
|
bool operator>(const etl::move_iterator<TIterator>& lhs, const etl::move_iterator<TIterator>& rhs)
|
|
{
|
|
return (rhs < lhs);
|
|
}
|
|
|
|
template <typename TIterator>
|
|
bool operator>=(const etl::move_iterator<TIterator>& lhs, const etl::move_iterator<TIterator>& rhs)
|
|
{
|
|
return !(lhs < rhs);
|
|
}
|
|
|
|
template <typename TIterator>
|
|
move_iterator<TIterator> operator+(typename move_iterator<TIterator>::difference_type n, const move_iterator<TIterator>& rhs)
|
|
{
|
|
return rhs + n;
|
|
}
|
|
|
|
template <typename TIterator1, typename TIterator2 >
|
|
auto operator-(const move_iterator<TIterator1>& lhs, const move_iterator<TIterator2>& rhs) -> decltype(lhs.base() - rhs.base())
|
|
{
|
|
return lhs.base() - rhs.base();
|
|
}
|
|
|
|
template <typename TIterator>
|
|
etl::move_iterator<TIterator> make_move_iterator(TIterator itr)
|
|
{
|
|
return etl::move_iterator<TIterator>(itr);
|
|
}
|
|
|
|
#endif // ETL_USING_CPP11
|
|
|
|
//***************************************************************************
|
|
// back_insert_iterator
|
|
//***************************************************************************
|
|
|
|
//***************************************************************************
|
|
/// Turns assignment into push_back
|
|
//***************************************************************************
|
|
template <typename TContainer>
|
|
class back_insert_iterator : public etl::iterator<ETL_OR_STD::output_iterator_tag, void, void, void, void>
|
|
{
|
|
public:
|
|
|
|
typedef TContainer container_type;
|
|
|
|
//***************************************************************************
|
|
/// Constructor
|
|
//***************************************************************************
|
|
explicit ETL_CONSTEXPR14 back_insert_iterator(TContainer& c)
|
|
: container(etl::addressof(c))
|
|
{
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// Assignment operator
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 back_insert_iterator& operator=(const typename TContainer::value_type& value)
|
|
{
|
|
container->push_back(value);
|
|
|
|
return (*this);
|
|
}
|
|
|
|
#if ETL_USING_CPP11
|
|
//***************************************************************************
|
|
/// Move assignment operator.
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 back_insert_iterator& operator=(typename TContainer::value_type&& value)
|
|
{
|
|
container->push_back(etl::move(value));
|
|
|
|
return (*this);
|
|
}
|
|
#endif // ETL_USING_CPP11
|
|
|
|
//***************************************************************************
|
|
/// Dereference operator.
|
|
//***************************************************************************
|
|
ETL_NODISCARD ETL_CONSTEXPR14 back_insert_iterator& operator*()
|
|
{
|
|
return (*this);
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// Pre-increment operator.
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 back_insert_iterator& operator++()
|
|
{
|
|
return (*this);
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// Post-increment operator.
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 back_insert_iterator operator++(int)
|
|
{
|
|
return (*this);
|
|
}
|
|
|
|
protected:
|
|
|
|
TContainer* container;
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// Creates a back_insert_iterator from a container.
|
|
//***************************************************************************
|
|
template <typename TContainer>
|
|
ETL_NODISCARD ETL_CONSTEXPR14 etl::back_insert_iterator<TContainer> back_inserter(TContainer& container)
|
|
{
|
|
return etl::back_insert_iterator<TContainer>(container);
|
|
}
|
|
|
|
//***************************************************************************
|
|
// front_insert_iterator
|
|
//***************************************************************************
|
|
|
|
//***************************************************************************
|
|
/// Turns assignment into a push_front.
|
|
//***************************************************************************
|
|
template <typename TContainer>
|
|
class front_insert_iterator : public etl::iterator<ETL_OR_STD::output_iterator_tag, void, void, void, void>
|
|
{
|
|
public:
|
|
|
|
typedef TContainer container_type;
|
|
|
|
//***************************************************************************
|
|
/// Constructor
|
|
//***************************************************************************
|
|
explicit ETL_CONSTEXPR14 front_insert_iterator(TContainer& c)
|
|
: container(etl::addressof(c))
|
|
{
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// Assignment operator
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 front_insert_iterator& operator=(const typename TContainer::value_type& value)
|
|
{
|
|
container->push_front(value);
|
|
return (*this);
|
|
}
|
|
|
|
#if ETL_USING_CPP11
|
|
//***************************************************************************
|
|
/// Move assignment operator.
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 front_insert_iterator& operator=(typename TContainer::value_type&& value)
|
|
{
|
|
container->push_front(etl::move(value));
|
|
return (*this);
|
|
}
|
|
#endif // ETL_USING_CPP11
|
|
|
|
//***************************************************************************
|
|
/// Dereference operator.
|
|
//***************************************************************************
|
|
ETL_NODISCARD ETL_CONSTEXPR14 front_insert_iterator& operator*()
|
|
{
|
|
return (*this);
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// Pre-increment operator.
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 front_insert_iterator& operator++()
|
|
{
|
|
return (*this);
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// Post-increment operator.
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 front_insert_iterator operator++(int)
|
|
{
|
|
return (*this);
|
|
}
|
|
|
|
protected:
|
|
|
|
TContainer* container;
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// Creates a front_insert_iterator from a container.
|
|
//***************************************************************************
|
|
template <typename TContainer>
|
|
ETL_NODISCARD ETL_CONSTEXPR14 etl::front_insert_iterator<TContainer> front_inserter(TContainer& container)
|
|
{
|
|
return etl::front_insert_iterator<TContainer>(container);
|
|
}
|
|
|
|
//***************************************************************************
|
|
// push_insert_iterator
|
|
//***************************************************************************
|
|
|
|
//***************************************************************************
|
|
/// Turns assignment into a push.
|
|
//***************************************************************************
|
|
template <typename TContainer>
|
|
class push_insert_iterator : public etl::iterator<ETL_OR_STD::output_iterator_tag, void, void, void, void>
|
|
{
|
|
public:
|
|
|
|
typedef TContainer container_type;
|
|
|
|
//***************************************************************************
|
|
/// Constructor
|
|
//***************************************************************************
|
|
explicit ETL_CONSTEXPR14 push_insert_iterator(TContainer& c)
|
|
: container(etl::addressof(c))
|
|
{
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// Assignment operator
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 push_insert_iterator& operator=(const typename TContainer::value_type& value)
|
|
{
|
|
container->push(value);
|
|
|
|
return (*this);
|
|
}
|
|
|
|
#if ETL_USING_CPP11
|
|
//***************************************************************************
|
|
/// Move assignment operator.
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 push_insert_iterator& operator=(typename TContainer::value_type&& value)
|
|
{
|
|
container->push(etl::move(value));
|
|
|
|
return (*this);
|
|
}
|
|
#endif // ETL_USING_CPP11
|
|
|
|
//***************************************************************************
|
|
/// Dereference operator.
|
|
//***************************************************************************
|
|
ETL_NODISCARD ETL_CONSTEXPR14 push_insert_iterator& operator*()
|
|
{
|
|
return (*this);
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// Pre-increment operator.
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 push_insert_iterator& operator++()
|
|
{
|
|
return (*this);
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// Post-increment operator.
|
|
//***************************************************************************
|
|
ETL_CONSTEXPR14 push_insert_iterator operator++(int)
|
|
{
|
|
return (*this);
|
|
}
|
|
|
|
protected:
|
|
|
|
TContainer* container;
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// Creates a push_insert_iterator from a container.
|
|
//***************************************************************************
|
|
template <typename TContainer>
|
|
ETL_NODISCARD ETL_CONSTEXPR14 etl::push_insert_iterator<TContainer> push_inserter(TContainer& container)
|
|
{
|
|
return etl::push_insert_iterator<TContainer>(container);
|
|
}
|
|
|
|
//***************************************************************************
|
|
// Helper templates.
|
|
//***************************************************************************
|
|
template <typename T>
|
|
struct is_input_iterator
|
|
{
|
|
static ETL_CONSTANT bool value = etl::is_same<typename etl::iterator_traits<T>::iterator_category, ETL_OR_STD::input_iterator_tag>::value;
|
|
};
|
|
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_input_iterator<T>::value;
|
|
|
|
template <typename T>
|
|
struct is_output_iterator
|
|
{
|
|
static ETL_CONSTANT bool value = etl::is_same<typename etl::iterator_traits<T>::iterator_category, ETL_OR_STD::output_iterator_tag>::value;
|
|
};
|
|
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_output_iterator<T>::value;
|
|
|
|
template <typename T>
|
|
struct is_forward_iterator
|
|
{
|
|
static ETL_CONSTANT bool value = etl::is_same<typename etl::iterator_traits<T>::iterator_category, ETL_OR_STD::forward_iterator_tag>::value;
|
|
};
|
|
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_forward_iterator<T>::value;
|
|
|
|
template <typename T>
|
|
struct is_bidirectional_iterator
|
|
{
|
|
static ETL_CONSTANT bool value = etl::is_same<typename etl::iterator_traits<T>::iterator_category, ETL_OR_STD::bidirectional_iterator_tag>::value;
|
|
};
|
|
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_bidirectional_iterator<T>::value;
|
|
|
|
// Deprecated
|
|
template <typename T>
|
|
struct is_random_iterator
|
|
{
|
|
static ETL_CONSTANT bool value = etl::is_same<typename etl::iterator_traits<T>::iterator_category, ETL_OR_STD::random_access_iterator_tag>::value;
|
|
};
|
|
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_random_iterator<T>::value;
|
|
|
|
template <typename T>
|
|
struct is_random_access_iterator
|
|
{
|
|
static ETL_CONSTANT bool value = etl::is_same<typename etl::iterator_traits<T>::iterator_category, ETL_OR_STD::random_access_iterator_tag>::value;
|
|
};
|
|
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_random_access_iterator<T>::value;
|
|
|
|
template <typename T>
|
|
struct is_input_iterator_concept
|
|
{
|
|
static
|
|
ETL_CONSTANT bool value = etl::is_input_iterator<T>::value || etl::is_forward_iterator<T>::value || etl::is_bidirectional_iterator<T>::value
|
|
|| etl::is_random_iterator<T>::value;
|
|
};
|
|
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_input_iterator_concept<T>::value;
|
|
|
|
template <typename T>
|
|
struct is_output_iterator_concept
|
|
{
|
|
static
|
|
ETL_CONSTANT bool value = etl::is_output_iterator<T>::value || etl::is_forward_iterator<T>::value || etl::is_bidirectional_iterator<T>::value
|
|
|| etl::is_random_iterator<T>::value;
|
|
};
|
|
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_output_iterator_concept<T>::value;
|
|
|
|
template <typename T>
|
|
struct is_forward_iterator_concept
|
|
{
|
|
static
|
|
ETL_CONSTANT bool value = etl::is_forward_iterator<T>::value || etl::is_bidirectional_iterator<T>::value || etl::is_random_iterator<T>::value;
|
|
};
|
|
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_forward_iterator_concept<T>::value;
|
|
|
|
template <typename T>
|
|
struct is_bidirectional_iterator_concept
|
|
{
|
|
static ETL_CONSTANT bool value = etl::is_bidirectional_iterator<T>::value || etl::is_random_iterator<T>::value;
|
|
};
|
|
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_bidirectional_iterator_concept<T>::value;
|
|
|
|
// Deprecated
|
|
template <typename T>
|
|
struct is_random_iterator_concept
|
|
{
|
|
static ETL_CONSTANT bool value = etl::is_random_iterator<T>::value;
|
|
};
|
|
|
|
// Deprecated
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_random_iterator_concept<T>::value;
|
|
|
|
// Deprecated
|
|
template <typename T>
|
|
struct is_random_access_iterator_concept
|
|
{
|
|
static ETL_CONSTANT bool value = etl::is_random_access_iterator<T>::value;
|
|
};
|
|
|
|
// Deprecated
|
|
template <typename T>
|
|
ETL_CONSTANT bool is_random_access_iterator_concept<T>::value;
|
|
|
|
#if ETL_USING_CPP11
|
|
//***************************************************************************
|
|
/// Trait to detect if a type is a container (has iterator and begin/end)
|
|
/// but is not itself an iterator.
|
|
/// Used to constrain begin()/end() free functions in C++26.
|
|
//***************************************************************************
|
|
namespace private_iterator
|
|
{
|
|
// Check if T has iterator_category (i.e., is an iterator)
|
|
template <typename T, typename = void>
|
|
struct has_iterator_category : etl::false_type
|
|
{
|
|
};
|
|
|
|
template <typename T>
|
|
struct has_iterator_category<T, etl::void_t<typename T::iterator_category>> : etl::true_type
|
|
{
|
|
};
|
|
|
|
// is_container: has iterator/const_iterator/begin/end but does NOT have iterator_category
|
|
template <typename T, typename = void>
|
|
struct is_container : etl::false_type
|
|
{
|
|
};
|
|
|
|
template <typename T>
|
|
struct is_container<
|
|
T, etl::void_t< typename T::iterator, typename T::const_iterator, decltype(etl::declval<T&>().begin()), decltype(etl::declval<T&>().end()) >>
|
|
: etl::bool_constant<!has_iterator_category<T>::value>
|
|
{
|
|
};
|
|
} // namespace private_iterator
|
|
#endif
|
|
|
|
#if ETL_NOT_USING_STL || ETL_CPP11_NOT_SUPPORTED
|
|
#if ETL_USING_CPP11
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' iterator.
|
|
/// Note: Contains SFINAE guard, ensuring they only participate in overload
|
|
/// resolution when TContainer actually has the corresponding member function.
|
|
/// This prevents ADL from matching these templates when std::ranges::begin
|
|
/// performs an unqualified call on etl:: iterator types.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<TContainer&>().begin())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::iterator>::type
|
|
begin(TContainer& container)
|
|
{
|
|
return container.begin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' const_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<const TContainer&>().begin())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::const_iterator>::type
|
|
begin(const TContainer& container)
|
|
{
|
|
return container.begin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' const_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<const TContainer&>().cbegin())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::const_iterator>::type
|
|
cbegin(const TContainer& container)
|
|
{
|
|
return container.cbegin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<TContainer&>().end())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::iterator>::type end(TContainer& container)
|
|
{
|
|
return container.end();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' const_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<const TContainer&>().end())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::const_iterator>::type
|
|
end(const TContainer& container)
|
|
{
|
|
return container.end();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' const_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<const TContainer&>().cend())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::const_iterator>::type
|
|
cend(const TContainer& container)
|
|
{
|
|
return container.cend();
|
|
}
|
|
#else
|
|
// C++03 fallback:
|
|
// - no SFINAE guards needed since std::ranges does not exist
|
|
// - no constraint needed as C++26 ADL issue doesn't apply
|
|
//*****************************************************************************
|
|
/// Get the 'begin' iterator.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::iterator begin(TContainer& container)
|
|
{
|
|
return container.begin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' const_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::const_iterator begin(const TContainer& container)
|
|
{
|
|
return container.begin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' const_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::const_iterator cbegin(const TContainer& container)
|
|
{
|
|
return container.cbegin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::iterator end(TContainer& container)
|
|
{
|
|
return container.end();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' const_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::const_iterator end(const TContainer& container)
|
|
{
|
|
return container.end();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' const_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::const_iterator cend(const TContainer& container)
|
|
{
|
|
return container.cend();
|
|
}
|
|
#endif
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' pointer for an array.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR TValue* begin(TValue (&data)[Array_Size])
|
|
{
|
|
return &data[0];
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' const iterator for an array.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR const TValue* begin(const TValue (&data)[Array_Size])
|
|
{
|
|
return &data[0];
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' const iterator for an array.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR const TValue* cbegin(const TValue (&data)[Array_Size])
|
|
{
|
|
return &data[0];
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' iterator for an array.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR TValue* end(TValue (&data)[Array_Size])
|
|
{
|
|
return &data[Array_Size];
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' const iterator for an array.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR const TValue* end(const TValue (&data)[Array_Size])
|
|
{
|
|
return &data[Array_Size];
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' const iterator for an array.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR const TValue* cend(const TValue (&data)[Array_Size])
|
|
{
|
|
return &data[Array_Size];
|
|
}
|
|
#endif
|
|
|
|
#if ETL_NOT_USING_STL || ETL_CPP14_NOT_SUPPORTED
|
|
#if ETL_USING_CPP11
|
|
//*****************************************************************************
|
|
/// Get the 'begin' reverse_iterator for a container.
|
|
/// Note: Contains SFINAE guard (see begin/end above for rationale).
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<TContainer&>().rbegin())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::reverse_iterator>::type
|
|
rbegin(TContainer& container)
|
|
{
|
|
return container.rbegin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<const TContainer&>().rbegin())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::const_reverse_iterator>::type
|
|
rbegin(const TContainer& container)
|
|
{
|
|
return container.rbegin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<const TContainer&>().crbegin())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::const_reverse_iterator>::type
|
|
crbegin(const TContainer& container)
|
|
{
|
|
return container.crbegin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<TContainer&>().rend())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::reverse_iterator>::type
|
|
rend(TContainer& container)
|
|
{
|
|
return container.rend();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<const TContainer&>().rend())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::const_reverse_iterator>::type
|
|
rend(const TContainer& container)
|
|
{
|
|
return container.rend();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer, typename = etl::void_t<decltype(etl::declval<const TContainer&>().crend())> >
|
|
ETL_CONSTEXPR typename etl::enable_if<private_iterator::is_container<TContainer>::value, typename TContainer::const_reverse_iterator>::type
|
|
crend(const TContainer& container)
|
|
{
|
|
return container.crend();
|
|
}
|
|
#else
|
|
// C++03 fallback:
|
|
// - no SFINAE guards needed since std::ranges does not exist.
|
|
// - no constraint needed as C++26 ADL issue doesn't apply
|
|
//*****************************************************************************
|
|
/// Get the 'begin' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::reverse_iterator rbegin(TContainer& container)
|
|
{
|
|
return container.rbegin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::const_reverse_iterator rbegin(const TContainer& container)
|
|
{
|
|
return container.rbegin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::const_reverse_iterator crbegin(const TContainer& container)
|
|
{
|
|
return container.crbegin();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::reverse_iterator rend(TContainer& container)
|
|
{
|
|
return container.rend();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::const_reverse_iterator rend(const TContainer& container)
|
|
{
|
|
return container.rend();
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' reverse_iterator for a container.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TContainer>
|
|
typename TContainer::const_reverse_iterator crend(const TContainer& container)
|
|
{
|
|
return container.crend();
|
|
}
|
|
#endif
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' reverse_iterator for an array.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_OR_STD::reverse_iterator<TValue*> rbegin(TValue (&data)[Array_Size])
|
|
{
|
|
return ETL_OR_STD::reverse_iterator<TValue*>(&data[Array_Size]);
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'begin' const reverse_iterator for an array.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR ETL_OR_STD::reverse_iterator<const TValue*> crbegin(const TValue (&data)[Array_Size])
|
|
{
|
|
return ETL_OR_STD::reverse_iterator<const TValue*>(&data[Array_Size]);
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' reverse_iterator for an array.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR ETL_OR_STD::reverse_iterator<TValue*> rend(TValue (&data)[Array_Size])
|
|
{
|
|
return ETL_OR_STD::reverse_iterator<TValue*>(&data[0]);
|
|
}
|
|
|
|
//*****************************************************************************
|
|
/// Get the 'end' const reverse_iterator for an array.
|
|
///\ingroup container
|
|
//*****************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR ETL_OR_STD::reverse_iterator<const TValue*> crend(const TValue (&data)[Array_Size])
|
|
{
|
|
return ETL_OR_STD::reverse_iterator<const TValue*>(&data[0]);
|
|
}
|
|
#endif
|
|
|
|
#if ETL_NOT_USING_STL || ETL_CPP17_NOT_SUPPORTED
|
|
//**************************************************************************
|
|
/// Get the size of a container.
|
|
/// Expects the container to have defined 'size_type'.
|
|
///\ingroup container
|
|
//**************************************************************************
|
|
template <typename TContainer>
|
|
ETL_CONSTEXPR typename TContainer::size_type size(const TContainer& container)
|
|
{
|
|
return container.size();
|
|
}
|
|
|
|
///**************************************************************************
|
|
/// Get the size of an array in elements at run time, or compile time if C++11
|
|
/// or above.
|
|
///\ingroup container
|
|
///**************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR size_t size(TValue (&)[Array_Size])
|
|
{
|
|
return Array_Size;
|
|
}
|
|
#endif
|
|
|
|
//**************************************************************************
|
|
/// Get the size of an array in elements at compile time for C++03
|
|
///\code
|
|
/// sizeof(array_size(array))
|
|
///\endcode
|
|
///\ingroup container
|
|
//**************************************************************************
|
|
template <typename T, size_t Array_Size>
|
|
char (&array_size(T (&array)[Array_Size]))[Array_Size];
|
|
|
|
#define ETL_ARRAY_SIZE(a) sizeof(etl::array_size(a))
|
|
|
|
#if ETL_NOT_USING_STL || ETL_CPP17_NOT_SUPPORTED
|
|
//**************************************************************************
|
|
/// Returns a pointer to the block of memory containing the elements of the
|
|
/// range.
|
|
///\ingroup container
|
|
//**************************************************************************
|
|
template <typename TContainer>
|
|
ETL_CONSTEXPR typename TContainer::pointer data(TContainer& container)
|
|
{
|
|
return container.data();
|
|
}
|
|
|
|
//**************************************************************************
|
|
/// Returns a const_pointer to the block of memory containing the elements of
|
|
/// the range.
|
|
///\ingroup container
|
|
//**************************************************************************
|
|
template <typename TContainer>
|
|
ETL_CONSTEXPR typename TContainer::const_pointer data(const TContainer& container)
|
|
{
|
|
return container.data();
|
|
}
|
|
|
|
///**************************************************************************
|
|
/// Returns a pointer to the block of memory containing the elements of the
|
|
/// range.
|
|
///\ingroup container
|
|
///**************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR TValue* data(TValue (&a)[Array_Size])
|
|
{
|
|
return a;
|
|
}
|
|
|
|
///**************************************************************************
|
|
/// Returns a const pointer to the block of memory containing the elements of
|
|
/// the range.
|
|
///\ingroup container
|
|
///**************************************************************************
|
|
template <typename TValue, size_t Array_Size>
|
|
ETL_CONSTEXPR const TValue* data(const TValue (&a)[Array_Size])
|
|
{
|
|
return a;
|
|
}
|
|
#endif
|
|
|
|
#if ETL_USING_CPP17
|
|
template <class T>
|
|
using iter_value_t = typename etl::iterator_traits<etl::remove_cvref_t<T>>::value_type;
|
|
|
|
template <class T>
|
|
using iter_reference_t = decltype(*etl::declval<T&>());
|
|
|
|
#if ETL_USING_CPP20
|
|
template <class T>
|
|
using iter_const_reference_t = typename etl::common_reference_t<const etl::iter_value_t<T>&&, etl::iter_reference_t<T>>;
|
|
#endif
|
|
|
|
template <class T>
|
|
using iter_difference_t = typename etl::iterator_traits<etl::remove_cvref_t<T>>::difference_type;
|
|
|
|
template <class I, class Proj>
|
|
using projected_value_t = etl::remove_cvref_t<etl::invoke_result_t<Proj&, etl::iter_reference_t<I>>>;
|
|
|
|
namespace ranges
|
|
{
|
|
namespace private_ranges
|
|
{
|
|
struct begin
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T& t) const
|
|
{
|
|
return ETL_OR_STD::begin(t);
|
|
}
|
|
};
|
|
|
|
struct end
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T& t) const
|
|
{
|
|
return ETL_OR_STD::end(t);
|
|
}
|
|
};
|
|
|
|
struct cbegin
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T& t) const
|
|
{
|
|
return ETL_OR_STD::cbegin(t);
|
|
}
|
|
};
|
|
|
|
struct cend
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T& t) const
|
|
{
|
|
return ETL_OR_STD::cend(t);
|
|
}
|
|
};
|
|
|
|
struct rbegin
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T& t) const
|
|
{
|
|
return ETL_OR_STD::rbegin(t);
|
|
}
|
|
};
|
|
|
|
struct rend
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T& t) const
|
|
{
|
|
return ETL_OR_STD::rend(t);
|
|
}
|
|
};
|
|
|
|
struct crbegin
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T& t) const
|
|
{
|
|
return ETL_OR_STD::crbegin(t);
|
|
}
|
|
};
|
|
|
|
struct crend
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T& t) const
|
|
{
|
|
return ETL_OR_STD::crend(t);
|
|
}
|
|
};
|
|
|
|
template <class T, class = void>
|
|
struct has_size_member : etl::false_type
|
|
{
|
|
};
|
|
|
|
template <class T>
|
|
struct has_size_member< T, etl::void_t<decltype(etl::declval<const T&>().size())>> : etl::true_type
|
|
{
|
|
};
|
|
|
|
template <class T, class = void>
|
|
struct has_empty_member : etl::false_type
|
|
{
|
|
};
|
|
|
|
template <class T>
|
|
struct has_empty_member< T, etl::void_t<decltype(etl::declval<const T&>().empty())>> : etl::true_type
|
|
{
|
|
};
|
|
|
|
struct distance
|
|
{
|
|
// Overload for common ranges (iterator == sentinel type)
|
|
template <typename I, typename = etl::enable_if_t< etl::is_input_iterator_concept<I>::value || etl::is_output_iterator_concept<I>::value>>
|
|
constexpr etl::iter_difference_t<I> operator()(I first, I last) const
|
|
{
|
|
if constexpr (etl::is_random_access_iterator_concept<I>::value)
|
|
{
|
|
return last - first;
|
|
}
|
|
else
|
|
{
|
|
etl::iter_difference_t<I> n = 0;
|
|
while (!(first == last))
|
|
{
|
|
++first;
|
|
++n;
|
|
}
|
|
return n;
|
|
}
|
|
}
|
|
|
|
// Overload for non-common ranges (iterator != sentinel type)
|
|
template <typename I, typename S,
|
|
typename = etl::enable_if_t< (etl::is_input_iterator_concept<I>::value || etl::is_output_iterator_concept<I>::value)
|
|
&& !etl::is_same<I, S>::value>>
|
|
constexpr etl::iter_difference_t<I> operator()(I first, S last) const
|
|
{
|
|
etl::iter_difference_t<I> n = 0;
|
|
while (!(first == last))
|
|
{
|
|
++first;
|
|
++n;
|
|
}
|
|
return n;
|
|
}
|
|
};
|
|
|
|
struct size
|
|
{
|
|
template <class T>
|
|
constexpr size_t operator()(T&& t) const
|
|
{
|
|
using U = etl::remove_cvref_t<T>;
|
|
|
|
if constexpr (has_size_member<U>::value)
|
|
{
|
|
return static_cast<size_t>(t.size());
|
|
}
|
|
else
|
|
{
|
|
using iter_type = decltype(ETL_OR_STD::begin(t));
|
|
static_assert(etl::is_forward_iterator_concept<iter_type>::value, "ranges::size requires a sized range or at least a forward range; "
|
|
"single-pass input ranges are not supported");
|
|
return static_cast<size_t>(distance{}(ETL_OR_STD::begin(t), ETL_OR_STD::end(t)));
|
|
}
|
|
}
|
|
};
|
|
|
|
struct ssize
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T&& t) const
|
|
{
|
|
using U = etl::remove_cvref_t<T>;
|
|
|
|
if constexpr (has_size_member<U>::value)
|
|
{
|
|
return static_cast<ptrdiff_t>(t.size());
|
|
}
|
|
else
|
|
{
|
|
using iter_type = decltype(ETL_OR_STD::begin(t));
|
|
static_assert(etl::is_forward_iterator_concept<iter_type>::value, "ranges::ssize requires a sized range or at least a forward range; "
|
|
"single-pass input ranges are not supported");
|
|
return static_cast<ptrdiff_t>(distance{}(ETL_OR_STD::begin(t), ETL_OR_STD::end(t)));
|
|
}
|
|
}
|
|
};
|
|
|
|
struct empty
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T&& t) const
|
|
{
|
|
using U = etl::remove_cvref_t<T>;
|
|
|
|
if constexpr (has_empty_member<U>::value)
|
|
{
|
|
return t.empty();
|
|
}
|
|
else
|
|
{
|
|
return ETL_OR_STD::cbegin(t) == ETL_OR_STD::cend(t);
|
|
}
|
|
}
|
|
};
|
|
|
|
struct data
|
|
{
|
|
template <class T>
|
|
constexpr auto operator()(T& t) const
|
|
{
|
|
return ETL_OR_STD::data(t);
|
|
}
|
|
};
|
|
|
|
struct cdata
|
|
{
|
|
template <class T>
|
|
constexpr etl::add_pointer_t< etl::add_const_t<etl::remove_pointer_t< decltype(ETL_OR_STD::data(etl::declval<T&>()))>>> operator()(T& t) const
|
|
{
|
|
return ETL_OR_STD::data(t);
|
|
}
|
|
};
|
|
} // namespace private_ranges
|
|
|
|
inline constexpr private_ranges::begin begin;
|
|
inline constexpr private_ranges::end end;
|
|
inline constexpr private_ranges::cbegin cbegin;
|
|
inline constexpr private_ranges::cend cend;
|
|
inline constexpr private_ranges::rbegin rbegin;
|
|
inline constexpr private_ranges::rend rend;
|
|
inline constexpr private_ranges::crbegin crbegin;
|
|
inline constexpr private_ranges::crend crend;
|
|
inline constexpr private_ranges::size size;
|
|
inline constexpr private_ranges::ssize ssize;
|
|
inline constexpr private_ranges::empty empty;
|
|
inline constexpr private_ranges::data data;
|
|
inline constexpr private_ranges::cdata cdata;
|
|
inline constexpr private_ranges::distance distance;
|
|
|
|
//*************************************************************************
|
|
/// Range primitives.
|
|
//*************************************************************************
|
|
|
|
template <class T>
|
|
using iterator_t = decltype(etl::ranges::begin(etl::declval<T&>()));
|
|
|
|
template <class T>
|
|
using const_iterator_t = decltype(etl::ranges::cbegin(etl::declval<T&>()));
|
|
|
|
template <class T>
|
|
using sentinel_t = decltype(etl::ranges::end(etl::declval<T&>()));
|
|
|
|
template <class T>
|
|
using const_sentinel_t = decltype(etl::ranges::cend(etl::declval<T&>()));
|
|
|
|
template <class T>
|
|
using range_size_t = decltype(etl::ranges::size(etl::declval<T&>()));
|
|
|
|
template <class T>
|
|
using range_difference_t = etl::iter_difference_t<etl::ranges::iterator_t<T>>;
|
|
|
|
template <class T>
|
|
using range_value_t = etl::iter_value_t<etl::ranges::iterator_t<T>>;
|
|
|
|
template <class T>
|
|
using range_reference_t = etl::iter_reference_t<ranges::iterator_t<T>>;
|
|
|
|
struct advance_fn
|
|
{
|
|
template <typename I, typename = etl::enable_if_t< (etl::is_input_iterator_concept<I>::value || etl::is_output_iterator_concept<I>::value)
|
|
&& etl::is_integral<etl::iter_difference_t<I>>::value>>
|
|
constexpr void operator()(I& i, etl::iter_difference_t<I> n) const
|
|
{
|
|
if constexpr (etl::is_random_access_iterator_concept<I>::value)
|
|
{
|
|
i += n;
|
|
}
|
|
else
|
|
{
|
|
while (n > 0)
|
|
{
|
|
--n;
|
|
++i;
|
|
}
|
|
|
|
if constexpr (etl::is_bidirectional_iterator_concept<I>::value)
|
|
{
|
|
while (n < 0)
|
|
{
|
|
++n;
|
|
--i;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
template <typename I, typename S,
|
|
typename = etl::enable_if_t< (etl::is_input_iterator_concept<I>::value || etl::is_output_iterator_concept<I>::value)
|
|
&& !etl::is_integral<S>::value>>
|
|
constexpr void operator()(I& i, S bound) const
|
|
{
|
|
if constexpr (etl::is_assignable_v<I&, S>)
|
|
{
|
|
i = etl::move(bound);
|
|
}
|
|
else if constexpr (etl::is_same_v<S, I> && etl::is_random_access_iterator_concept<I>::value)
|
|
{
|
|
(*this)(i, bound - i);
|
|
}
|
|
else
|
|
{
|
|
while (!(i == bound))
|
|
{
|
|
++i;
|
|
}
|
|
}
|
|
}
|
|
|
|
template <typename I, typename S,
|
|
typename = etl::enable_if_t< etl::is_input_iterator_concept<I>::value || etl::is_output_iterator_concept<I>::value>>
|
|
constexpr etl::iter_difference_t<I> operator()(I& i, etl::iter_difference_t<I> n, S bound) const
|
|
{
|
|
if constexpr (etl::is_same_v<S, I> && etl::is_random_access_iterator_concept<I>::value)
|
|
{
|
|
const auto dist = bound - i;
|
|
|
|
if ((n >= 0 && dist >= 0 && n >= dist) || (n <= 0 && dist <= 0 && n <= dist))
|
|
{
|
|
(*this)(i, bound);
|
|
return n - dist;
|
|
}
|
|
|
|
(*this)(i, n);
|
|
return 0;
|
|
}
|
|
else
|
|
{
|
|
while (n > 0 && !(i == bound))
|
|
{
|
|
--n;
|
|
++i;
|
|
}
|
|
|
|
if constexpr (etl::is_bidirectional_iterator_concept<I>::value)
|
|
{
|
|
while (n < 0 && !(i == bound))
|
|
{
|
|
++n;
|
|
--i;
|
|
}
|
|
}
|
|
|
|
return n;
|
|
}
|
|
}
|
|
};
|
|
|
|
inline constexpr auto advance = advance_fn();
|
|
|
|
struct prev_fn
|
|
{
|
|
template <typename I, typename = etl::enable_if_t< etl::is_bidirectional_iterator_concept<I>::value>>
|
|
constexpr I operator()(I i) const
|
|
{
|
|
--i;
|
|
return i;
|
|
}
|
|
|
|
template <typename I, typename = etl::enable_if_t< etl::is_bidirectional_iterator_concept<I>::value>>
|
|
constexpr I operator()(I i, etl::iter_difference_t<I> n) const
|
|
{
|
|
ranges::advance(i, -n);
|
|
return i;
|
|
}
|
|
|
|
template <typename I, typename = etl::enable_if_t< etl::is_bidirectional_iterator_concept<I>::value>>
|
|
constexpr I operator()(I i, etl::iter_difference_t<I> n, I bound) const
|
|
{
|
|
ranges::advance(i, -n, bound);
|
|
return i;
|
|
}
|
|
};
|
|
|
|
inline constexpr auto prev = prev_fn();
|
|
|
|
struct next_fn
|
|
{
|
|
template <typename I, typename = etl::enable_if_t< etl::is_input_iterator_concept<I>::value || etl::is_output_iterator_concept<I>::value>>
|
|
constexpr I operator()(I i) const
|
|
{
|
|
++i;
|
|
return i;
|
|
}
|
|
|
|
template <typename I, typename = etl::enable_if_t< (etl::is_input_iterator_concept<I>::value || etl::is_output_iterator_concept<I>::value)
|
|
&& etl::is_integral<etl::iter_difference_t<I>>::value>>
|
|
constexpr I operator()(I i, etl::iter_difference_t<I> n) const
|
|
{
|
|
ranges::advance(i, n);
|
|
return i;
|
|
}
|
|
|
|
template <typename I, typename S,
|
|
typename = etl::enable_if_t< (etl::is_input_iterator_concept<I>::value || etl::is_output_iterator_concept<I>::value)
|
|
&& !etl::is_integral<S>::value>>
|
|
constexpr I operator()(I i, S bound) const
|
|
{
|
|
ranges::advance(i, bound);
|
|
return i;
|
|
}
|
|
|
|
template <typename I, typename S,
|
|
typename = etl::enable_if_t< (etl::is_input_iterator_concept<I>::value || etl::is_output_iterator_concept<I>::value)
|
|
&& !etl::is_integral<S>::value>>
|
|
constexpr I operator()(I i, etl::iter_difference_t<I> n, S bound) const
|
|
{
|
|
ranges::advance(i, n, bound);
|
|
return i;
|
|
}
|
|
};
|
|
|
|
inline constexpr auto next = next_fn();
|
|
} // namespace ranges
|
|
|
|
struct unreachable_sentinel_t
|
|
{
|
|
};
|
|
|
|
inline constexpr unreachable_sentinel_t unreachable_sentinel{};
|
|
|
|
template <typename I>
|
|
constexpr bool operator==(unreachable_sentinel_t, const I&) noexcept
|
|
{
|
|
return false;
|
|
}
|
|
|
|
template <typename I>
|
|
constexpr bool operator==(const I&, unreachable_sentinel_t) noexcept
|
|
{
|
|
return false;
|
|
}
|
|
|
|
template <typename I>
|
|
constexpr bool operator!=(unreachable_sentinel_t, const I& i) noexcept
|
|
{
|
|
return !(unreachable_sentinel_t{} == i);
|
|
}
|
|
|
|
template <typename I>
|
|
constexpr bool operator!=(const I& i, unreachable_sentinel_t) noexcept
|
|
{
|
|
return !(i == unreachable_sentinel_t{});
|
|
}
|
|
|
|
struct default_sentinel_t
|
|
{
|
|
};
|
|
|
|
inline constexpr default_sentinel_t default_sentinel{};
|
|
|
|
namespace private_iterator
|
|
{
|
|
template <typename T, typename = void>
|
|
struct has_arrow_operator : etl::false_type
|
|
{
|
|
};
|
|
|
|
template <typename T>
|
|
struct has_arrow_operator< T, etl::void_t<decltype(etl::declval<const T&>().operator->())>> : etl::true_type
|
|
{
|
|
};
|
|
|
|
//***********************************
|
|
/// Proxy that owns a copy of the dereferenced value so that operator->
|
|
/// can safely return a pointer to it. Used when the wrapped iterator
|
|
/// has no member operator-> and is not a raw pointer (i.e. *it may
|
|
/// yield a prvalue / proxy whose address would otherwise dangle).
|
|
//***********************************
|
|
template <typename TValue>
|
|
struct arrow_proxy
|
|
{
|
|
TValue stored;
|
|
|
|
constexpr arrow_proxy(TValue value)
|
|
: stored(etl::move(value))
|
|
{
|
|
}
|
|
constexpr const TValue* operator->() const noexcept
|
|
{
|
|
return etl::addressof(stored);
|
|
}
|
|
};
|
|
} // namespace private_iterator
|
|
|
|
template <class I>
|
|
class counted_iterator
|
|
{
|
|
template <class>
|
|
friend class counted_iterator;
|
|
|
|
public:
|
|
|
|
using iterator_type = I;
|
|
using value_type = etl::iter_value_t<I>;
|
|
using difference_type = etl::iter_difference_t<I>;
|
|
using iterator_category = typename etl::iterator_traits<iterator_type>::iterator_category;
|
|
using pointer = typename etl::iterator_traits<iterator_type>::pointer;
|
|
using reference = typename etl::iterator_traits<iterator_type>::reference;
|
|
|
|
constexpr counted_iterator() = default;
|
|
|
|
constexpr counted_iterator(I x, etl::iter_difference_t<I> n)
|
|
: current(etl::move(x))
|
|
, length(n)
|
|
{
|
|
}
|
|
|
|
template <class I2>
|
|
constexpr counted_iterator(const counted_iterator<I2>& other)
|
|
: current(other.current)
|
|
, length(other.length)
|
|
{
|
|
}
|
|
|
|
template <class I2>
|
|
constexpr counted_iterator& operator=(const counted_iterator<I2>& other)
|
|
{
|
|
current = other.current;
|
|
length = other.length;
|
|
return *this;
|
|
}
|
|
|
|
constexpr const I& base() const& noexcept
|
|
{
|
|
return current;
|
|
}
|
|
|
|
constexpr I base() &&
|
|
{
|
|
return etl::move(current);
|
|
}
|
|
|
|
constexpr etl::iter_difference_t<I> count() const noexcept
|
|
{
|
|
return length;
|
|
}
|
|
|
|
constexpr decltype(auto) operator*() const
|
|
{
|
|
return *current;
|
|
}
|
|
|
|
// operator-> for iterator types that provide a member operator->
|
|
template < typename J = I, etl::enable_if_t<(etl::is_input_iterator_concept<J>::value || etl::is_output_iterator_concept<J>::value)
|
|
&& private_iterator::has_arrow_operator<J>::value,
|
|
int> = 0>
|
|
constexpr auto operator->() const noexcept
|
|
{
|
|
return current.operator->();
|
|
}
|
|
|
|
// operator-> fallback for raw-pointer iterators (addressof is always safe)
|
|
template < typename J = I, etl::enable_if_t<(etl::is_input_iterator_concept<J>::value || etl::is_output_iterator_concept<J>::value)
|
|
&& !private_iterator::has_arrow_operator<J>::value && etl::is_pointer<J>::value,
|
|
int> = 0>
|
|
constexpr auto operator->() const noexcept
|
|
{
|
|
return current;
|
|
}
|
|
|
|
// operator-> fallback for class-type iterators without member operator->
|
|
// When *current yields an lvalue reference, just take its address.
|
|
template < typename J = I, etl::enable_if_t< (etl::is_input_iterator_concept<J>::value || etl::is_output_iterator_concept<J>::value)
|
|
&& !private_iterator::has_arrow_operator<J>::value && !etl::is_pointer<J>::value
|
|
&& etl::is_lvalue_reference< decltype(*etl::declval<const J&>())>::value,
|
|
int> = 0>
|
|
constexpr auto operator->() const noexcept
|
|
{
|
|
return etl::addressof(*current);
|
|
}
|
|
|
|
// operator-> fallback for class-type iterators without member operator->
|
|
// When *current yields a prvalue / proxy, use an owning proxy so the
|
|
// address remains valid.
|
|
template < typename J = I, etl::enable_if_t< (etl::is_input_iterator_concept<J>::value || etl::is_output_iterator_concept<J>::value)
|
|
&& !private_iterator::has_arrow_operator<J>::value && !etl::is_pointer<J>::value
|
|
&& !etl::is_lvalue_reference< decltype(*etl::declval<const J&>())>::value,
|
|
int> = 0>
|
|
constexpr auto operator->() const
|
|
{
|
|
return private_iterator::arrow_proxy<value_type>{*current};
|
|
}
|
|
|
|
template < typename J = I, etl::enable_if_t<etl::is_random_access_iterator<J>::value, int> = 0>
|
|
constexpr decltype(auto) operator[](etl::iter_difference_t<I> n) const
|
|
{
|
|
return current[n];
|
|
}
|
|
|
|
constexpr counted_iterator& operator++()
|
|
{
|
|
++current;
|
|
--length;
|
|
return *this;
|
|
}
|
|
|
|
constexpr counted_iterator operator++(int)
|
|
{
|
|
counted_iterator tmp = *this;
|
|
current++;
|
|
length--;
|
|
return tmp;
|
|
}
|
|
|
|
template < typename J = I, etl::enable_if_t<etl::is_random_access_iterator<J>::value, int> = 0>
|
|
constexpr counted_iterator& operator+=(etl::iter_difference_t<I> n)
|
|
{
|
|
current += n;
|
|
length -= n;
|
|
return *this;
|
|
}
|
|
|
|
template < typename J = I, etl::enable_if_t<etl::is_random_access_iterator<J>::value, int> = 0>
|
|
constexpr counted_iterator operator+(etl::iter_difference_t<I> n) const
|
|
{
|
|
counted_iterator result{*this};
|
|
result += n;
|
|
return result;
|
|
}
|
|
|
|
constexpr counted_iterator& operator--()
|
|
{
|
|
--current;
|
|
++length;
|
|
return *this;
|
|
}
|
|
|
|
constexpr counted_iterator operator--(int)
|
|
{
|
|
counted_iterator tmp = *this;
|
|
current--;
|
|
length++;
|
|
return tmp;
|
|
}
|
|
|
|
template < typename J = I, etl::enable_if_t<etl::is_random_access_iterator<J>::value, int> = 0>
|
|
constexpr counted_iterator& operator-=(etl::iter_difference_t<I> n)
|
|
{
|
|
current -= n;
|
|
length += n;
|
|
return *this;
|
|
}
|
|
|
|
template < typename J = I, etl::enable_if_t<etl::is_random_access_iterator<J>::value, int> = 0>
|
|
constexpr counted_iterator operator-(etl::iter_difference_t<I> n) const
|
|
{
|
|
counted_iterator result{*this};
|
|
result -= n;
|
|
return result;
|
|
}
|
|
|
|
friend constexpr bool operator==(const counted_iterator& x, const counted_iterator& y)
|
|
{
|
|
return x.length == y.length;
|
|
}
|
|
|
|
friend constexpr bool operator==(const counted_iterator& x, etl::default_sentinel_t)
|
|
{
|
|
return x.count() == 0;
|
|
}
|
|
|
|
friend constexpr bool operator==(etl::default_sentinel_t, const counted_iterator& x)
|
|
{
|
|
return x.count() == 0;
|
|
}
|
|
|
|
friend constexpr bool operator!=(const counted_iterator& x, etl::default_sentinel_t)
|
|
{
|
|
return x.count() != 0;
|
|
}
|
|
|
|
friend constexpr bool operator!=(etl::default_sentinel_t, const counted_iterator& y)
|
|
{
|
|
return y.count() != 0;
|
|
}
|
|
|
|
template < typename J = I, etl::enable_if_t<etl::is_random_access_iterator<J>::value, int> = 0>
|
|
friend constexpr counted_iterator operator+(etl::iter_difference_t<I> n, const counted_iterator& x)
|
|
{
|
|
return counted_iterator(x.current + n, x.length - n);
|
|
}
|
|
|
|
friend constexpr etl::iter_difference_t<I> operator-(const counted_iterator& x, const counted_iterator& y)
|
|
{
|
|
return y.length - x.length;
|
|
}
|
|
|
|
friend constexpr etl::iter_difference_t<I> operator-(const counted_iterator& x, etl::default_sentinel_t)
|
|
{
|
|
return -x.length;
|
|
}
|
|
|
|
friend constexpr etl::iter_difference_t<I> operator-(etl::default_sentinel_t, const counted_iterator& y)
|
|
{
|
|
return y.length;
|
|
}
|
|
|
|
private:
|
|
|
|
I current{};
|
|
difference_type length{};
|
|
};
|
|
|
|
template <typename TIterator,
|
|
typename = etl::enable_if_t<etl::is_base_of< etl::counted_iterator<typename TIterator::iterator_type>, TIterator>::value>>
|
|
constexpr typename etl::iterator_traits<TIterator>::difference_type distance(TIterator first, etl::default_sentinel_t)
|
|
{
|
|
return first.count();
|
|
}
|
|
#endif
|
|
|
|
#if ETL_USING_CPP14
|
|
template <class T, typename = void>
|
|
struct is_range : etl::false_type
|
|
{
|
|
};
|
|
|
|
template <class T>
|
|
struct is_range< T, etl::void_t<decltype(ETL_OR_STD::begin(etl::declval<T&>())), decltype(ETL_OR_STD::end(etl::declval<T&>()))>> : etl::true_type
|
|
{
|
|
};
|
|
|
|
#if ETL_USING_CPP17
|
|
template <typename T>
|
|
inline constexpr bool is_range_v = is_range<T>::value;
|
|
#endif
|
|
#endif
|
|
} // namespace etl
|
|
|
|
#endif
|