15a83710eSEric Fiselier //===----------------------------------------------------------------------===// 25a83710eSEric Fiselier // 35a83710eSEric Fiselier // The LLVM Compiler Infrastructure 45a83710eSEric Fiselier // 55a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open 65a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details. 75a83710eSEric Fiselier // 85a83710eSEric Fiselier //===----------------------------------------------------------------------===// 95a83710eSEric Fiselier 105a83710eSEric Fiselier // <string> 115a83710eSEric Fiselier 125a83710eSEric Fiselier // basic_string(const charT* s, const Allocator& a = Allocator()); 135a83710eSEric Fiselier 145a83710eSEric Fiselier #include <string> 155a83710eSEric Fiselier #include <stdexcept> 165a83710eSEric Fiselier #include <algorithm> 175a83710eSEric Fiselier #include <cassert> 18*d4b83e6dSStephan T. Lavavej #include <cstddef> 195a83710eSEric Fiselier 201f4231f8SEric Fiselier #include "test_macros.h" 215a83710eSEric Fiselier #include "test_allocator.h" 225a83710eSEric Fiselier #include "min_allocator.h" 235a83710eSEric Fiselier 245a83710eSEric Fiselier template <class charT> 255a83710eSEric Fiselier void 265a83710eSEric Fiselier test(const charT* s) 275a83710eSEric Fiselier { 285a83710eSEric Fiselier typedef std::basic_string<charT, std::char_traits<charT>, test_allocator<charT> > S; 295a83710eSEric Fiselier typedef typename S::traits_type T; 305a83710eSEric Fiselier typedef typename S::allocator_type A; 31*d4b83e6dSStephan T. Lavavej std::size_t n = T::length(s); 325a83710eSEric Fiselier S s2(s); 331f4231f8SEric Fiselier LIBCPP_ASSERT(s2.__invariants()); 345a83710eSEric Fiselier assert(s2.size() == n); 355a83710eSEric Fiselier assert(T::compare(s2.data(), s, n) == 0); 365a83710eSEric Fiselier assert(s2.get_allocator() == A()); 375a83710eSEric Fiselier assert(s2.capacity() >= s2.size()); 385a83710eSEric Fiselier } 395a83710eSEric Fiselier 405a83710eSEric Fiselier template <class charT, class A> 415a83710eSEric Fiselier void 425a83710eSEric Fiselier test(const charT* s, const A& a) 435a83710eSEric Fiselier { 445a83710eSEric Fiselier typedef std::basic_string<charT, std::char_traits<charT>, A> S; 455a83710eSEric Fiselier typedef typename S::traits_type T; 46*d4b83e6dSStephan T. Lavavej std::size_t n = T::length(s); 475a83710eSEric Fiselier S s2(s, a); 481f4231f8SEric Fiselier LIBCPP_ASSERT(s2.__invariants()); 495a83710eSEric Fiselier assert(s2.size() == n); 505a83710eSEric Fiselier assert(T::compare(s2.data(), s, n) == 0); 515a83710eSEric Fiselier assert(s2.get_allocator() == a); 525a83710eSEric Fiselier assert(s2.capacity() >= s2.size()); 535a83710eSEric Fiselier } 545a83710eSEric Fiselier 555a83710eSEric Fiselier int main() 565a83710eSEric Fiselier { 575a83710eSEric Fiselier { 585a83710eSEric Fiselier typedef test_allocator<char> A; 595a83710eSEric Fiselier typedef std::basic_string<char, std::char_traits<char>, A> S; 605a83710eSEric Fiselier 615a83710eSEric Fiselier test(""); 625a83710eSEric Fiselier test("", A(2)); 635a83710eSEric Fiselier 645a83710eSEric Fiselier test("1"); 655a83710eSEric Fiselier test("1", A(2)); 665a83710eSEric Fiselier 675a83710eSEric Fiselier test("1234567980"); 685a83710eSEric Fiselier test("1234567980", A(2)); 695a83710eSEric Fiselier 705a83710eSEric Fiselier test("123456798012345679801234567980123456798012345679801234567980"); 715a83710eSEric Fiselier test("123456798012345679801234567980123456798012345679801234567980", A(2)); 725a83710eSEric Fiselier } 731f4231f8SEric Fiselier #if TEST_STD_VER >= 11 745a83710eSEric Fiselier { 755a83710eSEric Fiselier typedef min_allocator<char> A; 765a83710eSEric Fiselier typedef std::basic_string<char, std::char_traits<char>, A> S; 775a83710eSEric Fiselier 785a83710eSEric Fiselier test(""); 795a83710eSEric Fiselier test("", A()); 805a83710eSEric Fiselier 815a83710eSEric Fiselier test("1"); 825a83710eSEric Fiselier test("1", A()); 835a83710eSEric Fiselier 845a83710eSEric Fiselier test("1234567980"); 855a83710eSEric Fiselier test("1234567980", A()); 865a83710eSEric Fiselier 875a83710eSEric Fiselier test("123456798012345679801234567980123456798012345679801234567980"); 885a83710eSEric Fiselier test("123456798012345679801234567980123456798012345679801234567980", A()); 895a83710eSEric Fiselier } 905a83710eSEric Fiselier #endif 915a83710eSEric Fiselier } 92