1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <iterator> 11 12 // move_iterator 13 14 // requires RandomAccessIterator<Iter> 15 // move_iterator operator-(difference_type n) const; 16 // 17 // constexpr in C++17 18 19 #include <iterator> 20 #include <cassert> 21 22 #include "test_macros.h" 23 #include "test_iterators.h" 24 25 template <class It> 26 void 27 test(It i, typename std::iterator_traits<It>::difference_type n, It x) 28 { 29 const std::move_iterator<It> r(i); 30 std::move_iterator<It> rr = r - n; 31 assert(rr.base() == x); 32 } 33 34 int main() 35 { 36 const char* s = "1234567890"; 37 test(random_access_iterator<const char*>(s+5), 5, random_access_iterator<const char*>(s)); 38 test(s+5, 5, s); 39 40 #if TEST_STD_VER > 14 41 { 42 constexpr const char *p = "123456789"; 43 typedef std::move_iterator<const char *> MI; 44 constexpr MI it1 = std::make_move_iterator(p); 45 constexpr MI it2 = std::make_move_iterator(p + 5); 46 constexpr MI it3 = it2 - 5; 47 static_assert(it1 != it2, ""); 48 static_assert(it1 == it3, ""); 49 static_assert(it2 != it3, ""); 50 } 51 #endif 52 } 53