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 // <string> 10 11 // template<class InputIterator> 12 // basic_string(InputIterator begin, InputIterator end, 13 // const Allocator& a = Allocator()); 14 15 16 #include <string> 17 #include <iterator> 18 #include <cassert> 19 #include <cstddef> 20 21 #include "test_macros.h" 22 #include "test_allocator.h" 23 #include "../cpp17_input_iterator.h" 24 #include "min_allocator.h" 25 26 template <class It> 27 TEST_CONSTEXPR_CXX20 void 28 test(It first, It last) 29 { 30 typedef typename std::iterator_traits<It>::value_type charT; 31 typedef std::basic_string<charT, std::char_traits<charT>, test_allocator<charT> > S; 32 typedef typename S::allocator_type A; 33 S s2(first, last); 34 LIBCPP_ASSERT(s2.__invariants()); 35 assert(s2.size() == static_cast<std::size_t>(std::distance(first, last))); 36 unsigned i = 0; 37 for (It it = first; it != last; ++it, ++i) 38 assert(s2[i] == *it); 39 assert(s2.get_allocator() == A()); 40 assert(s2.capacity() >= s2.size()); 41 } 42 43 template <class It, class A> 44 TEST_CONSTEXPR_CXX20 void 45 test(It first, It last, const A& a) 46 { 47 typedef typename std::iterator_traits<It>::value_type charT; 48 typedef std::basic_string<charT, std::char_traits<charT>, A> S; 49 S s2(first, last, a); 50 LIBCPP_ASSERT(s2.__invariants()); 51 assert(s2.size() == static_cast<std::size_t>(std::distance(first, last))); 52 unsigned i = 0; 53 for (It it = first; it != last; ++it, ++i) 54 assert(s2[i] == *it); 55 assert(s2.get_allocator() == a); 56 assert(s2.capacity() >= s2.size()); 57 } 58 59 bool test() { 60 { 61 typedef test_allocator<char> A; 62 const char* s = "12345678901234567890123456789012345678901234567890"; 63 64 test(s, s); 65 test(s, s, A(2)); 66 67 test(s, s+1); 68 test(s, s+1, A(2)); 69 70 test(s, s+10); 71 test(s, s+10, A(2)); 72 73 test(s, s+50); 74 test(s, s+50, A(2)); 75 76 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s)); 77 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s), A(2)); 78 79 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+1)); 80 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+1), A(2)); 81 82 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+10)); 83 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+10), A(2)); 84 85 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+50)); 86 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+50), A(2)); 87 } 88 #if TEST_STD_VER >= 11 89 { 90 typedef min_allocator<char> A; 91 const char* s = "12345678901234567890123456789012345678901234567890"; 92 93 test(s, s); 94 test(s, s, A()); 95 96 test(s, s+1); 97 test(s, s+1, A()); 98 99 test(s, s+10); 100 test(s, s+10, A()); 101 102 test(s, s+50); 103 test(s, s+50, A()); 104 105 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s)); 106 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s), A()); 107 108 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+1)); 109 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+1), A()); 110 111 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+10)); 112 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+10), A()); 113 114 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+50)); 115 test(cpp17_input_iterator<const char*>(s), cpp17_input_iterator<const char*>(s+50), A()); 116 } 117 #endif 118 { 119 static_assert((!std::is_constructible<std::string, std::string, 120 std::string>::value), 121 ""); 122 static_assert( 123 (!std::is_constructible<std::string, std::string, std::string, 124 std::allocator<char> >::value), 125 ""); 126 } 127 128 return true; 129 } 130 131 int main(int, char**) 132 { 133 test(); 134 #if TEST_STD_VER > 17 135 // static_assert(test()); 136 #endif 137 138 return 0; 139 } 140