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 T>
12 // struct iterator_traits<T*>
13 // {
14 // typedef ptrdiff_t difference_type;
15 // typedef T value_type;
16 // typedef T* pointer;
17 // typedef T& reference;
18 // typedef random_access_iterator_tag iterator_category;
19 // typedef contiguous_iterator_tag iterator_category; // C++20
20 // };
21
22 #include <iterator>
23 #include <type_traits>
24
25 #include "test_macros.h"
26
27 struct A {};
28
main(int,char **)29 int main(int, char**)
30 {
31 typedef std::iterator_traits<A*> It;
32 static_assert((std::is_same<It::difference_type, std::ptrdiff_t>::value), "");
33 static_assert((std::is_same<It::value_type, A>::value), "");
34 static_assert((std::is_same<It::pointer, A*>::value), "");
35 static_assert((std::is_same<It::reference, A&>::value), "");
36 static_assert((std::is_same<It::iterator_category, std::random_access_iterator_tag>::value), "");
37 #if TEST_STD_VER > 17
38 ASSERT_SAME_TYPE(It::iterator_concept, std::contiguous_iterator_tag);
39 #endif
40 return 0;
41 }
42