| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| |
| // <iterator> |
| |
| // __is_cpp17_contiguous_iterator<_Tp> |
| |
| // __is_cpp17_contiguous_iterator determines if an iterator is contiguous, |
| // either because it advertises itself as such (in C++20) or because it |
| // is a pointer type or a known trivial wrapper around a pointer type, |
| // such as __wrap_iter<T*>. |
| // |
| |
| #include <cassert> |
| #include <deque> |
| #include <initializer_list> |
| #include <iterator> |
| #include <string> |
| #include <vector> |
| |
| #include "test_macros.h" |
| #include "test_iterators.h" |
| |
| #if TEST_STD_VER >= 17 |
| #include <string_view> |
| #endif |
| |
| #if TEST_STD_VER >= 20 |
| #include <span> |
| #endif |
| |
| #if TEST_STD_VER >= 11 |
| #define DELETE_FUNCTION = delete |
| #else |
| #define DELETE_FUNCTION |
| #endif |
| |
| class T; // incomplete |
| |
| class my_input_iterator |
| { |
| struct tag : std::input_iterator_tag {}; |
| typedef my_input_iterator Self; |
| int *state_; |
| public: |
| typedef tag iterator_category; |
| typedef int value_type; |
| typedef int difference_type; |
| typedef int* pointer; |
| typedef int& reference; |
| |
| my_input_iterator(); |
| reference operator*() const; |
| pointer operator->() const; |
| |
| Self& operator++(); |
| Self operator++(int); |
| friend bool operator==(const Self&, const Self&); |
| friend bool operator!=(const Self&, const Self&); |
| }; |
| |
| class my_random_access_iterator |
| { |
| struct tag : std::random_access_iterator_tag {}; |
| typedef my_random_access_iterator Self; |
| int *state_; |
| public: |
| typedef tag iterator_category; |
| typedef int value_type; |
| typedef int difference_type; |
| typedef int* pointer; |
| typedef int& reference; |
| |
| my_random_access_iterator(); |
| reference operator*() const; |
| pointer operator->() const; |
| reference operator[](difference_type) const; |
| |
| Self& operator++(); |
| Self operator++(int); |
| Self& operator--(); |
| Self operator--(int); |
| friend Self& operator+=(Self&, difference_type); |
| friend Self& operator-=(Self&, difference_type); |
| friend Self operator+(Self, difference_type); |
| friend Self operator+(difference_type, Self); |
| friend Self operator-(Self, difference_type); |
| friend difference_type operator-(Self, Self); |
| friend bool operator==(const Self&, const Self&); |
| friend bool operator!=(const Self&, const Self&); |
| friend bool operator<(const Self&, const Self&); |
| friend bool operator>(const Self&, const Self&); |
| friend bool operator<=(const Self&, const Self&); |
| friend bool operator>=(const Self&, const Self&); |
| }; |
| |
| #if TEST_STD_VER >= 20 |
| class my_contiguous_iterator |
| { |
| struct tag : std::contiguous_iterator_tag {}; |
| typedef my_contiguous_iterator Self; |
| int *state_; |
| public: |
| typedef tag iterator_category; |
| typedef int value_type; |
| typedef int difference_type; |
| typedef int* pointer; |
| typedef int& reference; |
| typedef int element_type; // enable to_address via pointer_traits |
| |
| my_contiguous_iterator(); |
| reference operator*() const; |
| pointer operator->() const; |
| reference operator[](difference_type) const; |
| |
| Self& operator++(); |
| Self operator++(int); |
| Self& operator--(); |
| Self operator--(int); |
| friend Self& operator+=(Self&, difference_type); |
| friend Self& operator-=(Self&, difference_type); |
| friend Self operator+(Self, difference_type); |
| friend Self operator+(difference_type, Self); |
| friend Self operator-(Self, difference_type); |
| friend difference_type operator-(Self, Self); |
| friend bool operator==(const Self&, const Self&); |
| friend bool operator!=(const Self&, const Self&); |
| friend bool operator<(const Self&, const Self&); |
| friend bool operator>(const Self&, const Self&); |
| friend bool operator<=(const Self&, const Self&); |
| friend bool operator>=(const Self&, const Self&); |
| }; |
| #endif |
| |
| int main(int, char**) |
| { |
| // basic tests |
| static_assert(( std::__is_cpp17_contiguous_iterator<char *>::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<const char *>::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<int *>::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<int **>::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<T *>::value), ""); |
| |
| static_assert((!std::__is_cpp17_contiguous_iterator<my_input_iterator>::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<my_random_access_iterator>::value), ""); |
| #if TEST_STD_VER >= 20 |
| static_assert(( std::__is_cpp17_contiguous_iterator<my_contiguous_iterator>::value), ""); |
| #endif |
| |
| // move_iterator changes value category, which makes it pretty sketchy to use in optimized codepaths |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::move_iterator<char *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::move_iterator<const char *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::move_iterator<int *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::move_iterator<T *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::move_iterator<my_random_access_iterator> >::value), ""); |
| #if TEST_STD_VER >= 20 |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::move_iterator<my_contiguous_iterator> >::value), ""); |
| #endif |
| |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::reverse_iterator<char *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::reverse_iterator<const char *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::reverse_iterator<int *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::reverse_iterator<T *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::reverse_iterator<my_random_access_iterator> >::value), ""); |
| #if TEST_STD_VER >= 20 |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::reverse_iterator<my_contiguous_iterator> >::value), ""); |
| #endif |
| |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::__wrap_iter<char *> >::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::__wrap_iter<const char *> >::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::__wrap_iter<int *> >::value), ""); |
| |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::__wrap_iter<T *> >::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::__wrap_iter<std::__wrap_iter<T *> > >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::__wrap_iter<std::reverse_iterator<T *> > >::value), ""); |
| |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::__wrap_iter<my_random_access_iterator> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::__wrap_iter<std::__wrap_iter<my_random_access_iterator> > >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::__wrap_iter<std::reverse_iterator<my_random_access_iterator> > >::value), ""); |
| |
| #if TEST_STD_VER >= 20 |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::__wrap_iter<my_contiguous_iterator> >::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::__wrap_iter<std::__wrap_iter<my_contiguous_iterator> > >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::__wrap_iter<std::reverse_iterator<my_contiguous_iterator> > >::value), ""); |
| #endif |
| |
| // iterators in the libc++ test suite |
| static_assert((!std::__is_cpp17_contiguous_iterator<output_iterator <char *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<input_iterator <char *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<forward_iterator <char *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<bidirectional_iterator<char *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<random_access_iterator<char *> >::value), ""); |
| #if TEST_STD_VER >= 20 |
| static_assert(( std::__is_cpp17_contiguous_iterator<contiguous_iterator <char *> >::value), ""); |
| #endif |
| static_assert((!std::__is_cpp17_contiguous_iterator<ThrowingIterator <char *> >::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<NonThrowingIterator <char *> >::value), ""); |
| |
| // |
| // iterators from libc++'s containers |
| // |
| |
| // vector |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::vector<int>::iterator> ::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::vector<int>::const_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::vector<int>::reverse_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::vector<int>::const_reverse_iterator> ::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::__wrap_iter<std::vector<int>::iterator> >::value), ""); |
| |
| // string |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::string::iterator> ::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::string::const_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::string::reverse_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::string::const_reverse_iterator>::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::wstring::iterator> ::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::wstring::const_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::wstring::reverse_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::wstring::const_reverse_iterator>::value), ""); |
| |
| // deque is random-access but not contiguous |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::deque<int>::iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::deque<int>::const_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::deque<int>::reverse_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::deque<int>::const_reverse_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::__wrap_iter<std::deque<int>::iterator> >::value), ""); |
| |
| // vector<bool> is random-access but not contiguous |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::vector<bool>::iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::vector<bool>::const_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::vector<bool>::reverse_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::vector<bool>::const_reverse_iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::__wrap_iter<std::vector<bool>::iterator> >::value), ""); |
| |
| #if TEST_STD_VER >= 11 |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::initializer_list<int>::iterator> ::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::initializer_list<int>::const_iterator>::value), ""); |
| #endif |
| |
| #if TEST_STD_VER >= 17 |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::string_view::iterator> ::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::string_view::const_iterator>::value), ""); |
| #endif |
| |
| #if TEST_STD_VER >= 20 |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::span< int>::iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::span< int>::reverse_iterator>::value), ""); |
| static_assert(( std::__is_cpp17_contiguous_iterator<std::span<const int>::iterator> ::value), ""); |
| static_assert((!std::__is_cpp17_contiguous_iterator<std::span<const int>::reverse_iterator>::value), ""); |
| #endif |
| |
| return 0; |
| } |