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