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 // basic_string(const charT* s, const Allocator& a = Allocator()); 12 13 #include <string> 14 #include <stdexcept> 15 #include <algorithm> 16 #include <cassert> 17 #include <cstddef> 18 19 #include "test_macros.h" 20 #include "test_allocator.h" 21 #include "min_allocator.h" 22 23 template <class charT> 24 void 25 test(const charT* s) 26 { 27 typedef std::basic_string<charT, std::char_traits<charT>, test_allocator<charT> > S; 28 typedef typename S::traits_type T; 29 typedef typename S::allocator_type A; 30 std::size_t n = T::length(s); 31 S s2(s); 32 LIBCPP_ASSERT(s2.__invariants()); 33 assert(s2.size() == n); 34 assert(T::compare(s2.data(), s, n) == 0); 35 assert(s2.get_allocator() == A()); 36 assert(s2.capacity() >= s2.size()); 37 } 38 39 template <class charT, class A> 40 void 41 test(const charT* s, const A& a) 42 { 43 typedef std::basic_string<charT, std::char_traits<charT>, A> S; 44 typedef typename S::traits_type T; 45 std::size_t n = T::length(s); 46 S s2(s, a); 47 LIBCPP_ASSERT(s2.__invariants()); 48 assert(s2.size() == n); 49 assert(T::compare(s2.data(), s, n) == 0); 50 assert(s2.get_allocator() == a); 51 assert(s2.capacity() >= s2.size()); 52 } 53 54 int main() 55 { 56 { 57 typedef test_allocator<char> A; 58 59 test(""); 60 test("", A(2)); 61 62 test("1"); 63 test("1", A(2)); 64 65 test("1234567980"); 66 test("1234567980", A(2)); 67 68 test("123456798012345679801234567980123456798012345679801234567980"); 69 test("123456798012345679801234567980123456798012345679801234567980", A(2)); 70 } 71 #if TEST_STD_VER >= 11 72 { 73 typedef min_allocator<char> A; 74 75 test(""); 76 test("", A()); 77 78 test("1"); 79 test("1", A()); 80 81 test("1234567980"); 82 test("1234567980", A()); 83 84 test("123456798012345679801234567980123456798012345679801234567980"); 85 test("123456798012345679801234567980123456798012345679801234567980", A()); 86 } 87 #endif 88 } 89