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 12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// template<class Iter> 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// struct iterator_traits 14712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// { 15712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// typedef typename Iter::difference_type difference_type; 16712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// typedef typename Iter::value_type value_type; 17712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// typedef typename Iter::pointer pointer; 18712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// typedef typename Iter::reference reference; 19712522cfd8f61321b4f197ec0de02b0146afb5a5Howard Hinnant// typedef typename Iter::iterator_category iterator_category; 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// }; 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <iterator> 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <type_traits> 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantstruct A {}; 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantstruct test_iterator 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef int difference_type; 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef A value_type; 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef A* pointer; 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef A& reference; 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::forward_iterator_tag iterator_category; 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}; 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::iterator_traits<test_iterator> It; 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<It::difference_type, int>::value), ""); 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<It::value_type, A>::value), ""); 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<It::pointer, A*>::value), ""); 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<It::iterator_category, std::forward_iterator_tag>::value), ""); 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 44