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