1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <iterator> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// template<class Category, class T, class Distance = ptrdiff_t, 13712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// class Pointer = T*, class Reference = T&> 14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// struct iterator 15712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// { 16712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// typedef T value_type; 17712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// typedef Distance difference_type; 18712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// typedef Pointer pointer; 19712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// typedef Reference reference; 20712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// typedef Category iterator_category; 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// }; 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <iterator> 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <type_traits> 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantstruct A {}; 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest2() 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::iterator<std::forward_iterator_tag, T> It; 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::value_type, T>::value), ""); 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::difference_type, std::ptrdiff_t>::value), ""); 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::pointer, T*>::value), ""); 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::reference, T&>::value), ""); 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::iterator_category, std::forward_iterator_tag>::value), ""); 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest3() 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::iterator<std::bidirectional_iterator_tag, T, short> It; 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::value_type, T>::value), ""); 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::difference_type, short>::value), ""); 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::pointer, T*>::value), ""); 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::reference, T&>::value), ""); 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::iterator_category, std::bidirectional_iterator_tag>::value), ""); 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest4() 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::iterator<std::random_access_iterator_tag, T, int, const T*> It; 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::value_type, T>::value), ""); 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::difference_type, int>::value), ""); 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::pointer, const T*>::value), ""); 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::reference, T&>::value), ""); 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::iterator_category, std::random_access_iterator_tag>::value), ""); 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest5() 67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::iterator<std::input_iterator_tag, T, long, const T*, const T&> It; 69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::value_type, T>::value), ""); 70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::difference_type, long>::value), ""); 71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::pointer, const T*>::value), ""); 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::reference, const T&>::value), ""); 73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename It::iterator_category, std::input_iterator_tag>::value), ""); 74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test2<A>(); 79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test3<A>(); 80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test4<A>(); 81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test5<A>(); 82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 83