iterators.noexcept.pass.cpp (4176B)
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 11 // <iterator> 12 13 // __libcpp_is_trivial_iterator<Tp> 14 15 // __libcpp_string_gets_noexcept_iterator determines if an iterator can be used 16 // w/o worrying about whether or not certain operations can throw. 17 // This gives us a "fast path for string operations". 18 // 19 // When exceptions are disabled, all iterators should get this "fast path" 20 // 21 22 // MODULES_DEFINES: _LIBCPP_NO_EXCEPTIONS 23 #define _LIBCPP_NO_EXCEPTIONS 24 25 #include <iterator> 26 #include <cassert> 27 #include <string> 28 #include <vector> 29 #include <initializer_list> 30 31 #include "test_macros.h" 32 #include "test_iterators.h" 33 34 int main() 35 { 36 // basic tests 37 static_assert(( std::__libcpp_string_gets_noexcept_iterator<char *>::value), ""); 38 static_assert(( std::__libcpp_string_gets_noexcept_iterator<const char *>::value), ""); 39 40 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::move_iterator<char *> > ::value), ""); 41 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::move_iterator<const char *> >::value), ""); 42 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::reverse_iterator<char *> > ::value), ""); 43 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::reverse_iterator<const char *> >::value), ""); 44 45 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::__wrap_iter<char *> > ::value), ""); 46 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::__wrap_iter<const char *> >::value), ""); 47 48 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::reverse_iterator<std::__wrap_iter<char *> > > ::value), ""); 49 50 // iterators in the libc++ test suite 51 static_assert(( std::__libcpp_string_gets_noexcept_iterator<output_iterator <char *> >::value), ""); 52 static_assert(( std::__libcpp_string_gets_noexcept_iterator<input_iterator <char *> >::value), ""); 53 static_assert(( std::__libcpp_string_gets_noexcept_iterator<forward_iterator <char *> >::value), ""); 54 static_assert(( std::__libcpp_string_gets_noexcept_iterator<bidirectional_iterator<char *> >::value), ""); 55 static_assert(( std::__libcpp_string_gets_noexcept_iterator<random_access_iterator<char *> >::value), ""); 56 static_assert(( std::__libcpp_string_gets_noexcept_iterator<ThrowingIterator <char *> >::value), ""); 57 58 static_assert(( std::__libcpp_string_gets_noexcept_iterator<NonThrowingIterator <char *> >::value), ""); 59 60 // 61 // iterators from libc++'s containers 62 // 63 64 // string 65 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::vector<char>::iterator> ::value), ""); 66 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::vector<char>::const_iterator> ::value), ""); 67 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::vector<char>::reverse_iterator> ::value), ""); 68 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::vector<char>::const_reverse_iterator>::value), ""); 69 70 // vector 71 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::basic_string<char>::iterator> ::value), ""); 72 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::basic_string<char>::const_iterator> ::value), ""); 73 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::basic_string<char>::reverse_iterator> ::value), ""); 74 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::basic_string<char>::const_reverse_iterator>::value), ""); 75 76 #if TEST_STD_VER >= 11 77 // Initializer list (which has no reverse iterators) 78 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::initializer_list<char>::iterator> ::value), ""); 79 static_assert(( std::__libcpp_string_gets_noexcept_iterator<std::initializer_list<char>::const_iterator> ::value), ""); 80 #endif 81 }