libcxx/test/std/strings/basic.string/string.cons/copy_assignment.pass.cpp

   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<charT,traits,Allocator>&
  12 //   operator=(const basic_string<charT,traits,Allocator>& str); // constexpr since C++20
  13
  14 #include <string>
  15 #include <cassert>
  16
  17 #include "test_macros.h"
  18 #include "min_allocator.h"
  19 #include "asan_testing.h"
  20
  21 template <class S>
  22 TEST_CONSTEXPR_CXX20 void test(S s1, const S& s2) {
  23   s1 = s2;
  24   LIBCPP_ASSERT(s1.__invariants());
  25   assert(s1 == s2);
  26   assert(s1.capacity() >= s1.size());
  27   LIBCPP_ASSERT(is_string_asan_correct(s1));
  28   LIBCPP_ASSERT(is_string_asan_correct(s2));
  29 }
  30
  31 template <class S>
  32 TEST_CONSTEXPR_CXX20 void test_string() {
  33   test(S(), S());
  34   test(S("1"), S());
  35   test(S(), S("1"));
  36   test(S("1"), S("2"));
  37   test(S("1"), S("2"));
  38
  39   test(S(), S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
  40   test(S("123456789"), S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
  41   test(S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"), S("123456789"));
  42   test(S("1234567890123456789012345678901234567890123456789012345678901234567890"),
  43        S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
  44   test(S("1234567890123456789012345678901234567890123456789012345678901234567890"
  45          "1234567890123456789012345678901234567890123456789012345678901234567890"),
  46        S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
  47 }
  48
  49 TEST_CONSTEXPR_CXX20 bool test() {
  50   test_string<std::string>();
  51 #if TEST_STD_VER >= 11
  52   test_string<std::basic_string<char, std::char_traits<char>, min_allocator<char>>>();
  53   test_string<std::basic_string<char, std::char_traits<char>, safe_allocator<char>>>();
  54 #endif
  55
  56 #if TEST_STD_VER >= 11
  57   { // LWG 2946
  58     std::string s;
  59     s = {"abc", 1};
  60     assert(s.size() == 1);
  61     assert(s == "a");
  62   }
  63 #endif
  64
  65   return true;
  66 }
  67
  68 int main(int, char**) {
  69   test();
  70 #if TEST_STD_VER > 17
  71   static_assert(test());
  72 #endif
  73
  74   return 0;
  75 }