libcxx/test/std/iterators/iterator.primitives/iterator.basic/iterator.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 // <iterator>
  10
  11 // template<class Category, class T, class Distance = ptrdiff_t,
  12 //          class Pointer = T*, class Reference = T&>
  13 // struct iterator
  14 // {
  15 //   typedef T         value_type;
  16 //   typedef Distance  difference_type;
  17 //   typedef Pointer   pointer;
  18 //   typedef Reference reference;
  19 //   typedef Category  iterator_category;
  20 // };
  21
  22 // ADDITIONAL_COMPILE_FLAGS: -D_LIBCPP_DISABLE_DEPRECATION_WARNINGS
  23
  24 #include <iterator>
  25 #include <type_traits>
  26
  27 #include "test_macros.h"
  28
  29 struct A {};
  30
  31 template <class T>
  32 void
  33 test2()
  34 {
  35     typedef std::iterator<std::forward_iterator_tag, T> It;
  36     static_assert((std::is_same<typename It::value_type, T>::value), "");
  37     static_assert((std::is_same<typename It::difference_type, std::ptrdiff_t>::value), "");
  38     static_assert((std::is_same<typename It::pointer, T*>::value), "");
  39     static_assert((std::is_same<typename It::reference, T&>::value), "");
  40     static_assert((std::is_same<typename It::iterator_category, std::forward_iterator_tag>::value), "");
  41 }
  42
  43 template <class T>
  44 void
  45 test3()
  46 {
  47     typedef std::iterator<std::bidirectional_iterator_tag, T, short> It;
  48     static_assert((std::is_same<typename It::value_type, T>::value), "");
  49     static_assert((std::is_same<typename It::difference_type, short>::value), "");
  50     static_assert((std::is_same<typename It::pointer, T*>::value), "");
  51     static_assert((std::is_same<typename It::reference, T&>::value), "");
  52     static_assert((std::is_same<typename It::iterator_category, std::bidirectional_iterator_tag>::value), "");
  53 }
  54
  55 template <class T>
  56 void
  57 test4()
  58 {
  59     typedef std::iterator<std::random_access_iterator_tag, T, int, const T*> It;
  60     static_assert((std::is_same<typename It::value_type, T>::value), "");
  61     static_assert((std::is_same<typename It::difference_type, int>::value), "");
  62     static_assert((std::is_same<typename It::pointer, const T*>::value), "");
  63     static_assert((std::is_same<typename It::reference, T&>::value), "");
  64     static_assert((std::is_same<typename It::iterator_category, std::random_access_iterator_tag>::value), "");
  65 }
  66
  67 template <class T>
  68 void
  69 test5()
  70 {
  71     typedef std::iterator<std::input_iterator_tag, T, long, const T*, const T&> It;
  72     static_assert((std::is_same<typename It::value_type, T>::value), "");
  73     static_assert((std::is_same<typename It::difference_type, long>::value), "");
  74     static_assert((std::is_same<typename It::pointer, const T*>::value), "");
  75     static_assert((std::is_same<typename It::reference, const T&>::value), "");
  76     static_assert((std::is_same<typename It::iterator_category, std::input_iterator_tag>::value), "");
  77 }
  78
  79 int main(int, char**)
  80 {
  81     test2<A>();
  82     test3<A>();
  83     test4<A>();
  84     test5<A>();
  85
  86   return 0;
  87 }