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>
185a83710eSEric Fiselier 
19*1f4231f8SEric Fiselier #include "test_macros.h"
205a83710eSEric Fiselier #include "test_allocator.h"
215a83710eSEric Fiselier #include "min_allocator.h"
225a83710eSEric Fiselier 
235a83710eSEric Fiselier template <class charT>
245a83710eSEric Fiselier void
255a83710eSEric Fiselier test(const charT* s)
265a83710eSEric Fiselier {
275a83710eSEric Fiselier     typedef std::basic_string<charT, std::char_traits<charT>, test_allocator<charT> > S;
285a83710eSEric Fiselier     typedef typename S::traits_type T;
295a83710eSEric Fiselier     typedef typename S::allocator_type A;
305a83710eSEric Fiselier     unsigned n = T::length(s);
315a83710eSEric Fiselier     S s2(s);
32*1f4231f8SEric Fiselier     LIBCPP_ASSERT(s2.__invariants());
335a83710eSEric Fiselier     assert(s2.size() == n);
345a83710eSEric Fiselier     assert(T::compare(s2.data(), s, n) == 0);
355a83710eSEric Fiselier     assert(s2.get_allocator() == A());
365a83710eSEric Fiselier     assert(s2.capacity() >= s2.size());
375a83710eSEric Fiselier }
385a83710eSEric Fiselier 
395a83710eSEric Fiselier template <class charT, class A>
405a83710eSEric Fiselier void
415a83710eSEric Fiselier test(const charT* s, const A& a)
425a83710eSEric Fiselier {
435a83710eSEric Fiselier     typedef std::basic_string<charT, std::char_traits<charT>, A> S;
445a83710eSEric Fiselier     typedef typename S::traits_type T;
455a83710eSEric Fiselier     unsigned n = T::length(s);
465a83710eSEric Fiselier     S s2(s, a);
47*1f4231f8SEric Fiselier     LIBCPP_ASSERT(s2.__invariants());
485a83710eSEric Fiselier     assert(s2.size() == n);
495a83710eSEric Fiselier     assert(T::compare(s2.data(), s, n) == 0);
505a83710eSEric Fiselier     assert(s2.get_allocator() == a);
515a83710eSEric Fiselier     assert(s2.capacity() >= s2.size());
525a83710eSEric Fiselier }
535a83710eSEric Fiselier 
545a83710eSEric Fiselier int main()
555a83710eSEric Fiselier {
565a83710eSEric Fiselier     {
575a83710eSEric Fiselier     typedef test_allocator<char> A;
585a83710eSEric Fiselier     typedef std::basic_string<char, std::char_traits<char>, A> S;
595a83710eSEric Fiselier 
605a83710eSEric Fiselier     test("");
615a83710eSEric Fiselier     test("", A(2));
625a83710eSEric Fiselier 
635a83710eSEric Fiselier     test("1");
645a83710eSEric Fiselier     test("1", A(2));
655a83710eSEric Fiselier 
665a83710eSEric Fiselier     test("1234567980");
675a83710eSEric Fiselier     test("1234567980", A(2));
685a83710eSEric Fiselier 
695a83710eSEric Fiselier     test("123456798012345679801234567980123456798012345679801234567980");
705a83710eSEric Fiselier     test("123456798012345679801234567980123456798012345679801234567980", A(2));
715a83710eSEric Fiselier     }
72*1f4231f8SEric Fiselier #if TEST_STD_VER >= 11
735a83710eSEric Fiselier     {
745a83710eSEric Fiselier     typedef min_allocator<char> A;
755a83710eSEric Fiselier     typedef std::basic_string<char, std::char_traits<char>, A> S;
765a83710eSEric Fiselier 
775a83710eSEric Fiselier     test("");
785a83710eSEric Fiselier     test("", A());
795a83710eSEric Fiselier 
805a83710eSEric Fiselier     test("1");
815a83710eSEric Fiselier     test("1", A());
825a83710eSEric Fiselier 
835a83710eSEric Fiselier     test("1234567980");
845a83710eSEric Fiselier     test("1234567980", A());
855a83710eSEric Fiselier 
865a83710eSEric Fiselier     test("123456798012345679801234567980123456798012345679801234567980");
875a83710eSEric Fiselier     test("123456798012345679801234567980123456798012345679801234567980", A());
885a83710eSEric Fiselier     }
895a83710eSEric Fiselier #endif
905a83710eSEric Fiselier }
91