Home | History | Annotate | Download | only in string.cons 
      1 //===----------------------------------------------------------------------===//
      2 //
      3 //                     The LLVM Compiler Infrastructure
      4 //
      5 // This file is dual licensed under the MIT and the University of Illinois Open
      6 // Source Licenses. See LICENSE.TXT for details.
      7 //
      8 //===----------------------------------------------------------------------===//
      9 
     10 // <string>
     11 
     12 // basic_string(basic_string&& str, const Allocator& alloc);
     13 
     14 #include <string>
     15 #include <cassert>
     16 
     17 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
     18 
     19 #include "test_macros.h"
     20 #include "test_allocator.h"
     21 #include "min_allocator.h"
     22 
     23 
     24 template <class S>
     25 void
     26 test(S s0, const typename S::allocator_type& a)
     27 {
     28     S s1 = s0;
     29     S s2(std::move(s0), a);
     30     assert(s2.__invariants());
     31     assert(s0.__invariants());
     32     assert(s2 == s1);
     33     assert(s2.capacity() >= s2.size());
     34     assert(s2.get_allocator() == a);
     35 }
     36 
     37 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
     38 // #if _LIBCPP_STD_VER <= 14
     39 //         _NOEXCEPT_(is_nothrow_move_constructible<allocator_type>::value);
     40 // #else
     41 //         _NOEXCEPT;
     42 // #endif
     43 
     44 int main()
     45 {
     46 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
     47     {
     48     typedef test_allocator<char> A;
     49     typedef std::basic_string<char, std::char_traits<char>, A> S;
     50 #if TEST_STD_VER > 14
     51 	static_assert((noexcept(S{})), "" );
     52 #elif TEST_STD_VER >= 11
     53 	static_assert((noexcept(S()) == std::is_nothrow_move_constructible<A>::value), "" );
     54 #endif
     55     test(S(), A(3));
     56     test(S("1"), A(5));
     57     test(S("1234567890123456789012345678901234567890123456789012345678901234567890"), A(7));
     58     }
     59 
     60     int alloc_count = test_alloc_base::alloc_count;
     61     {
     62     typedef test_allocator<char> A;
     63     typedef std::basic_string<char, std::char_traits<char>, A> S;
     64 #if TEST_STD_VER > 14
     65 	static_assert((noexcept(S{})), "" );
     66 #elif TEST_STD_VER >= 11
     67 	static_assert((noexcept(S()) == std::is_nothrow_move_constructible<A>::value), "" );
     68 #endif
     69     S s1 ( "Twas brillig, and the slivy toves did gyre and gymbal in the wabe" );
     70     S s2 (std::move(s1), A(1));
     71     }
     72     assert ( test_alloc_base::alloc_count == alloc_count );
     73 
     74 #if TEST_STD_VER >= 11
     75     {
     76     typedef min_allocator<char> A;
     77     typedef std::basic_string<char, std::char_traits<char>, A> S;
     78 #if TEST_STD_VER > 14
     79 	static_assert((noexcept(S{})), "" );
     80 #elif TEST_STD_VER >= 11
     81 	static_assert((noexcept(S()) == std::is_nothrow_move_constructible<A>::value), "" );
     82 #endif
     83     test(S(), A());
     84     test(S("1"), A());
     85     test(S("1234567890123456789012345678901234567890123456789012345678901234567890"), A());
     86     }
     87 #endif
     88 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
     89 }
     90