test/std/strings/basic.string/string.modifiers/string_replace/size_size_size_char.pass.cpp

   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<charT,traits,Allocator>&
  13 //   replace(size_type pos, size_type n1, size_type n2, charT c);
  14
  15 #include <string>
  16 #include <stdexcept>
  17 #include <algorithm>
  18 #include <cassert>
  19
  20 #include "test_macros.h"
  21 #include "min_allocator.h"
  22
  23 template <class S>
  24 void
  25 test(S s, typename S::size_type pos, typename S::size_type n1,
  26      typename S::size_type n2, typename S::value_type c,
  27      S expected)
  28 {
  29     const typename S::size_type old_size = s.size();
  30     S s0 = s;
  31     if (pos <= old_size)
  32     {
  33         s.replace(pos, n1, n2, c);
  34         LIBCPP_ASSERT(s.__invariants());
  35         assert(s == expected);
  36         typename S::size_type xlen = std::min(n1, old_size - pos);
  37         typename S::size_type rlen = n2;
  38         assert(s.size() == old_size - xlen + rlen);
  39     }
  40 #ifndef TEST_HAS_NO_EXCEPTIONS
  41     else
  42     {
  43         try
  44         {
  45             s.replace(pos, n1, n2, c);
  46             assert(false);
  47         }
  48         catch (std::out_of_range&)
  49         {
  50             assert(pos > old_size);
  51             assert(s == s0);
  52         }
  53     }
  54 #endif
  55 }
  56
  57 template <class S>
  58 void test0()
  59 {
  60     test(S(""), 0, 0, 0, '2', S(""));
  61     test(S(""), 0, 0, 5, '2', S("22222"));
  62     test(S(""), 0, 0, 10, '2', S("2222222222"));
  63     test(S(""), 0, 0, 20, '2', S("22222222222222222222"));
  64     test(S(""), 0, 1, 0, '2', S(""));
  65     test(S(""), 0, 1, 5, '2', S("22222"));
  66     test(S(""), 0, 1, 10, '2', S("2222222222"));
  67     test(S(""), 0, 1, 20, '2', S("22222222222222222222"));
  68     test(S(""), 1, 0, 0, '2', S("can't happen"));
  69     test(S(""), 1, 0, 5, '2', S("can't happen"));
  70     test(S(""), 1, 0, 10, '2', S("can't happen"));
  71     test(S(""), 1, 0, 20, '2', S("can't happen"));
  72     test(S("abcde"), 0, 0, 0, '2', S("abcde"));
  73     test(S("abcde"), 0, 0, 5, '2', S("22222abcde"));
  74     test(S("abcde"), 0, 0, 10, '2', S("2222222222abcde"));
  75     test(S("abcde"), 0, 0, 20, '2', S("22222222222222222222abcde"));
  76     test(S("abcde"), 0, 1, 0, '2', S("bcde"));
  77     test(S("abcde"), 0, 1, 5, '2', S("22222bcde"));
  78     test(S("abcde"), 0, 1, 10, '2', S("2222222222bcde"));
  79     test(S("abcde"), 0, 1, 20, '2', S("22222222222222222222bcde"));
  80     test(S("abcde"), 0, 2, 0, '2', S("cde"));
  81     test(S("abcde"), 0, 2, 5, '2', S("22222cde"));
  82     test(S("abcde"), 0, 2, 10, '2', S("2222222222cde"));
  83     test(S("abcde"), 0, 2, 20, '2', S("22222222222222222222cde"));
  84     test(S("abcde"), 0, 4, 0, '2', S("e"));
  85     test(S("abcde"), 0, 4, 5, '2', S("22222e"));
  86     test(S("abcde"), 0, 4, 10, '2', S("2222222222e"));
  87     test(S("abcde"), 0, 4, 20, '2', S("22222222222222222222e"));
  88     test(S("abcde"), 0, 5, 0, '2', S(""));
  89     test(S("abcde"), 0, 5, 5, '2', S("22222"));
  90     test(S("abcde"), 0, 5, 10, '2', S("2222222222"));
  91     test(S("abcde"), 0, 5, 20, '2', S("22222222222222222222"));
  92     test(S("abcde"), 0, 6, 0, '2', S(""));
  93     test(S("abcde"), 0, 6, 5, '2', S("22222"));
  94     test(S("abcde"), 0, 6, 10, '2', S("2222222222"));
  95     test(S("abcde"), 0, 6, 20, '2', S("22222222222222222222"));
  96     test(S("abcde"), 1, 0, 0, '2', S("abcde"));
  97     test(S("abcde"), 1, 0, 5, '2', S("a22222bcde"));
  98     test(S("abcde"), 1, 0, 10, '2', S("a2222222222bcde"));
  99     test(S("abcde"), 1, 0, 20, '2', S("a22222222222222222222bcde"));
 100     test(S("abcde"), 1, 1, 0, '2', S("acde"));
 101     test(S("abcde"), 1, 1, 5, '2', S("a22222cde"));
 102     test(S("abcde"), 1, 1, 10, '2', S("a2222222222cde"));
 103     test(S("abcde"), 1, 1, 20, '2', S("a22222222222222222222cde"));
 104     test(S("abcde"), 1, 2, 0, '2', S("ade"));
 105     test(S("abcde"), 1, 2, 5, '2', S("a22222de"));
 106     test(S("abcde"), 1, 2, 10, '2', S("a2222222222de"));
 107     test(S("abcde"), 1, 2, 20, '2', S("a22222222222222222222de"));
 108     test(S("abcde"), 1, 3, 0, '2', S("ae"));
 109     test(S("abcde"), 1, 3, 5, '2', S("a22222e"));
 110     test(S("abcde"), 1, 3, 10, '2', S("a2222222222e"));
 111     test(S("abcde"), 1, 3, 20, '2', S("a22222222222222222222e"));
 112     test(S("abcde"), 1, 4, 0, '2', S("a"));
 113     test(S("abcde"), 1, 4, 5, '2', S("a22222"));
 114     test(S("abcde"), 1, 4, 10, '2', S("a2222222222"));
 115     test(S("abcde"), 1, 4, 20, '2', S("a22222222222222222222"));
 116     test(S("abcde"), 1, 5, 0, '2', S("a"));
 117     test(S("abcde"), 1, 5, 5, '2', S("a22222"));
 118     test(S("abcde"), 1, 5, 10, '2', S("a2222222222"));
 119     test(S("abcde"), 1, 5, 20, '2', S("a22222222222222222222"));
 120     test(S("abcde"), 2, 0, 0, '2', S("abcde"));
 121     test(S("abcde"), 2, 0, 5, '2', S("ab22222cde"));
 122     test(S("abcde"), 2, 0, 10, '2', S("ab2222222222cde"));
 123     test(S("abcde"), 2, 0, 20, '2', S("ab22222222222222222222cde"));
 124     test(S("abcde"), 2, 1, 0, '2', S("abde"));
 125     test(S("abcde"), 2, 1, 5, '2', S("ab22222de"));
 126     test(S("abcde"), 2, 1, 10, '2', S("ab2222222222de"));
 127     test(S("abcde"), 2, 1, 20, '2', S("ab22222222222222222222de"));
 128     test(S("abcde"), 2, 2, 0, '2', S("abe"));
 129     test(S("abcde"), 2, 2, 5, '2', S("ab22222e"));
 130     test(S("abcde"), 2, 2, 10, '2', S("ab2222222222e"));
 131     test(S("abcde"), 2, 2, 20, '2', S("ab22222222222222222222e"));
 132     test(S("abcde"), 2, 3, 0, '2', S("ab"));
 133     test(S("abcde"), 2, 3, 5, '2', S("ab22222"));
 134     test(S("abcde"), 2, 3, 10, '2', S("ab2222222222"));
 135     test(S("abcde"), 2, 3, 20, '2', S("ab22222222222222222222"));
 136     test(S("abcde"), 2, 4, 0, '2', S("ab"));
 137     test(S("abcde"), 2, 4, 5, '2', S("ab22222"));
 138     test(S("abcde"), 2, 4, 10, '2', S("ab2222222222"));
 139     test(S("abcde"), 2, 4, 20, '2', S("ab22222222222222222222"));
 140     test(S("abcde"), 4, 0, 0, '2', S("abcde"));
 141     test(S("abcde"), 4, 0, 5, '2', S("abcd22222e"));
 142     test(S("abcde"), 4, 0, 10, '2', S("abcd2222222222e"));
 143     test(S("abcde"), 4, 0, 20, '2', S("abcd22222222222222222222e"));
 144     test(S("abcde"), 4, 1, 0, '2', S("abcd"));
 145     test(S("abcde"), 4, 1, 5, '2', S("abcd22222"));
 146     test(S("abcde"), 4, 1, 10, '2', S("abcd2222222222"));
 147     test(S("abcde"), 4, 1, 20, '2', S("abcd22222222222222222222"));
 148     test(S("abcde"), 4, 2, 0, '2', S("abcd"));
 149     test(S("abcde"), 4, 2, 5, '2', S("abcd22222"));
 150     test(S("abcde"), 4, 2, 10, '2', S("abcd2222222222"));
 151     test(S("abcde"), 4, 2, 20, '2', S("abcd22222222222222222222"));
 152     test(S("abcde"), 5, 0, 0, '2', S("abcde"));
 153     test(S("abcde"), 5, 0, 5, '2', S("abcde22222"));
 154     test(S("abcde"), 5, 0, 10, '2', S("abcde2222222222"));
 155     test(S("abcde"), 5, 0, 20, '2', S("abcde22222222222222222222"));
 156     test(S("abcde"), 5, 1, 0, '2', S("abcde"));
 157     test(S("abcde"), 5, 1, 5, '2', S("abcde22222"));
 158     test(S("abcde"), 5, 1, 10, '2', S("abcde2222222222"));
 159     test(S("abcde"), 5, 1, 20, '2', S("abcde22222222222222222222"));
 160 }
 161
 162 template <class S>
 163 void test1()
 164 {
 165     test(S("abcde"), 6, 0, 0, '2', S("can't happen"));
 166     test(S("abcde"), 6, 0, 5, '2', S("can't happen"));
 167     test(S("abcde"), 6, 0, 10, '2', S("can't happen"));
 168     test(S("abcde"), 6, 0, 20, '2', S("can't happen"));
 169     test(S("abcdefghij"), 0, 0, 0, '2', S("abcdefghij"));
 170     test(S("abcdefghij"), 0, 0, 5, '2', S("22222abcdefghij"));
 171     test(S("abcdefghij"), 0, 0, 10, '2', S("2222222222abcdefghij"));
 172     test(S("abcdefghij"), 0, 0, 20, '2', S("22222222222222222222abcdefghij"));
 173     test(S("abcdefghij"), 0, 1, 0, '2', S("bcdefghij"));
 174     test(S("abcdefghij"), 0, 1, 5, '2', S("22222bcdefghij"));
 175     test(S("abcdefghij"), 0, 1, 10, '2', S("2222222222bcdefghij"));
 176     test(S("abcdefghij"), 0, 1, 20, '2', S("22222222222222222222bcdefghij"));
 177     test(S("abcdefghij"), 0, 5, 0, '2', S("fghij"));
 178     test(S("abcdefghij"), 0, 5, 5, '2', S("22222fghij"));
 179     test(S("abcdefghij"), 0, 5, 10, '2', S("2222222222fghij"));
 180     test(S("abcdefghij"), 0, 5, 20, '2', S("22222222222222222222fghij"));
 181     test(S("abcdefghij"), 0, 9, 0, '2', S("j"));
 182     test(S("abcdefghij"), 0, 9, 5, '2', S("22222j"));
 183     test(S("abcdefghij"), 0, 9, 10, '2', S("2222222222j"));
 184     test(S("abcdefghij"), 0, 9, 20, '2', S("22222222222222222222j"));
 185     test(S("abcdefghij"), 0, 10, 0, '2', S(""));
 186     test(S("abcdefghij"), 0, 10, 5, '2', S("22222"));
 187     test(S("abcdefghij"), 0, 10, 10, '2', S("2222222222"));
 188     test(S("abcdefghij"), 0, 10, 20, '2', S("22222222222222222222"));
 189     test(S("abcdefghij"), 0, 11, 0, '2', S(""));
 190     test(S("abcdefghij"), 0, 11, 5, '2', S("22222"));
 191     test(S("abcdefghij"), 0, 11, 10, '2', S("2222222222"));
 192     test(S("abcdefghij"), 0, 11, 20, '2', S("22222222222222222222"));
 193     test(S("abcdefghij"), 1, 0, 0, '2', S("abcdefghij"));
 194     test(S("abcdefghij"), 1, 0, 5, '2', S("a22222bcdefghij"));
 195     test(S("abcdefghij"), 1, 0, 10, '2', S("a2222222222bcdefghij"));
 196     test(S("abcdefghij"), 1, 0, 20, '2', S("a22222222222222222222bcdefghij"));
 197     test(S("abcdefghij"), 1, 1, 0, '2', S("acdefghij"));
 198     test(S("abcdefghij"), 1, 1, 5, '2', S("a22222cdefghij"));
 199     test(S("abcdefghij"), 1, 1, 10, '2', S("a2222222222cdefghij"));
 200     test(S("abcdefghij"), 1, 1, 20, '2', S("a22222222222222222222cdefghij"));
 201     test(S("abcdefghij"), 1, 4, 0, '2', S("afghij"));
 202     test(S("abcdefghij"), 1, 4, 5, '2', S("a22222fghij"));
 203     test(S("abcdefghij"), 1, 4, 10, '2', S("a2222222222fghij"));
 204     test(S("abcdefghij"), 1, 4, 20, '2', S("a22222222222222222222fghij"));
 205     test(S("abcdefghij"), 1, 8, 0, '2', S("aj"));
 206     test(S("abcdefghij"), 1, 8, 5, '2', S("a22222j"));
 207     test(S("abcdefghij"), 1, 8, 10, '2', S("a2222222222j"));
 208     test(S("abcdefghij"), 1, 8, 20, '2', S("a22222222222222222222j"));
 209     test(S("abcdefghij"), 1, 9, 0, '2', S("a"));
 210     test(S("abcdefghij"), 1, 9, 5, '2', S("a22222"));
 211     test(S("abcdefghij"), 1, 9, 10, '2', S("a2222222222"));
 212     test(S("abcdefghij"), 1, 9, 20, '2', S("a22222222222222222222"));
 213     test(S("abcdefghij"), 1, 10, 0, '2', S("a"));
 214     test(S("abcdefghij"), 1, 10, 5, '2', S("a22222"));
 215     test(S("abcdefghij"), 1, 10, 10, '2', S("a2222222222"));
 216     test(S("abcdefghij"), 1, 10, 20, '2', S("a22222222222222222222"));
 217     test(S("abcdefghij"), 5, 0, 0, '2', S("abcdefghij"));
 218     test(S("abcdefghij"), 5, 0, 5, '2', S("abcde22222fghij"));
 219     test(S("abcdefghij"), 5, 0, 10, '2', S("abcde2222222222fghij"));
 220     test(S("abcdefghij"), 5, 0, 20, '2', S("abcde22222222222222222222fghij"));
 221     test(S("abcdefghij"), 5, 1, 0, '2', S("abcdeghij"));
 222     test(S("abcdefghij"), 5, 1, 5, '2', S("abcde22222ghij"));
 223     test(S("abcdefghij"), 5, 1, 10, '2', S("abcde2222222222ghij"));
 224     test(S("abcdefghij"), 5, 1, 20, '2', S("abcde22222222222222222222ghij"));
 225     test(S("abcdefghij"), 5, 2, 0, '2', S("abcdehij"));
 226     test(S("abcdefghij"), 5, 2, 5, '2', S("abcde22222hij"));
 227     test(S("abcdefghij"), 5, 2, 10, '2', S("abcde2222222222hij"));
 228     test(S("abcdefghij"), 5, 2, 20, '2', S("abcde22222222222222222222hij"));
 229     test(S("abcdefghij"), 5, 4, 0, '2', S("abcdej"));
 230     test(S("abcdefghij"), 5, 4, 5, '2', S("abcde22222j"));
 231     test(S("abcdefghij"), 5, 4, 10, '2', S("abcde2222222222j"));
 232     test(S("abcdefghij"), 5, 4, 20, '2', S("abcde22222222222222222222j"));
 233     test(S("abcdefghij"), 5, 5, 0, '2', S("abcde"));
 234     test(S("abcdefghij"), 5, 5, 5, '2', S("abcde22222"));
 235     test(S("abcdefghij"), 5, 5, 10, '2', S("abcde2222222222"));
 236     test(S("abcdefghij"), 5, 5, 20, '2', S("abcde22222222222222222222"));
 237     test(S("abcdefghij"), 5, 6, 0, '2', S("abcde"));
 238     test(S("abcdefghij"), 5, 6, 5, '2', S("abcde22222"));
 239     test(S("abcdefghij"), 5, 6, 10, '2', S("abcde2222222222"));
 240     test(S("abcdefghij"), 5, 6, 20, '2', S("abcde22222222222222222222"));
 241     test(S("abcdefghij"), 9, 0, 0, '2', S("abcdefghij"));
 242     test(S("abcdefghij"), 9, 0, 5, '2', S("abcdefghi22222j"));
 243     test(S("abcdefghij"), 9, 0, 10, '2', S("abcdefghi2222222222j"));
 244     test(S("abcdefghij"), 9, 0, 20, '2', S("abcdefghi22222222222222222222j"));
 245     test(S("abcdefghij"), 9, 1, 0, '2', S("abcdefghi"));
 246     test(S("abcdefghij"), 9, 1, 5, '2', S("abcdefghi22222"));
 247     test(S("abcdefghij"), 9, 1, 10, '2', S("abcdefghi2222222222"));
 248     test(S("abcdefghij"), 9, 1, 20, '2', S("abcdefghi22222222222222222222"));
 249     test(S("abcdefghij"), 9, 2, 0, '2', S("abcdefghi"));
 250     test(S("abcdefghij"), 9, 2, 5, '2', S("abcdefghi22222"));
 251     test(S("abcdefghij"), 9, 2, 10, '2', S("abcdefghi2222222222"));
 252     test(S("abcdefghij"), 9, 2, 20, '2', S("abcdefghi22222222222222222222"));
 253     test(S("abcdefghij"), 10, 0, 0, '2', S("abcdefghij"));
 254     test(S("abcdefghij"), 10, 0, 5, '2', S("abcdefghij22222"));
 255     test(S("abcdefghij"), 10, 0, 10, '2', S("abcdefghij2222222222"));
 256     test(S("abcdefghij"), 10, 0, 20, '2', S("abcdefghij22222222222222222222"));
 257     test(S("abcdefghij"), 10, 1, 0, '2', S("abcdefghij"));
 258     test(S("abcdefghij"), 10, 1, 5, '2', S("abcdefghij22222"));
 259     test(S("abcdefghij"), 10, 1, 10, '2', S("abcdefghij2222222222"));
 260     test(S("abcdefghij"), 10, 1, 20, '2', S("abcdefghij22222222222222222222"));
 261     test(S("abcdefghij"), 11, 0, 0, '2', S("can't happen"));
 262     test(S("abcdefghij"), 11, 0, 5, '2', S("can't happen"));
 263     test(S("abcdefghij"), 11, 0, 10, '2', S("can't happen"));
 264     test(S("abcdefghij"), 11, 0, 20, '2', S("can't happen"));
 265 }
 266
 267 template <class S>
 268 void test2()
 269 {
 270     test(S("abcdefghijklmnopqrst"), 0, 0, 0, '2', S("abcdefghijklmnopqrst"));
 271     test(S("abcdefghijklmnopqrst"), 0, 0, 5, '2', S("22222abcdefghijklmnopqrst"));
 272     test(S("abcdefghijklmnopqrst"), 0, 0, 10, '2', S("2222222222abcdefghijklmnopqrst"));
 273     test(S("abcdefghijklmnopqrst"), 0, 0, 20, '2', S("22222222222222222222abcdefghijklmnopqrst"));
 274     test(S("abcdefghijklmnopqrst"), 0, 1, 0, '2', S("bcdefghijklmnopqrst"));
 275     test(S("abcdefghijklmnopqrst"), 0, 1, 5, '2', S("22222bcdefghijklmnopqrst"));
 276     test(S("abcdefghijklmnopqrst"), 0, 1, 10, '2', S("2222222222bcdefghijklmnopqrst"));
 277     test(S("abcdefghijklmnopqrst"), 0, 1, 20, '2', S("22222222222222222222bcdefghijklmnopqrst"));
 278     test(S("abcdefghijklmnopqrst"), 0, 10, 0, '2', S("klmnopqrst"));
 279     test(S("abcdefghijklmnopqrst"), 0, 10, 5, '2', S("22222klmnopqrst"));
 280     test(S("abcdefghijklmnopqrst"), 0, 10, 10, '2', S("2222222222klmnopqrst"));
 281     test(S("abcdefghijklmnopqrst"), 0, 10, 20, '2', S("22222222222222222222klmnopqrst"));
 282     test(S("abcdefghijklmnopqrst"), 0, 19, 0, '2', S("t"));
 283     test(S("abcdefghijklmnopqrst"), 0, 19, 5, '2', S("22222t"));
 284     test(S("abcdefghijklmnopqrst"), 0, 19, 10, '2', S("2222222222t"));
 285     test(S("abcdefghijklmnopqrst"), 0, 19, 20, '2', S("22222222222222222222t"));
 286     test(S("abcdefghijklmnopqrst"), 0, 20, 0, '2', S(""));
 287     test(S("abcdefghijklmnopqrst"), 0, 20, 5, '2', S("22222"));
 288     test(S("abcdefghijklmnopqrst"), 0, 20, 10, '2', S("2222222222"));
 289     test(S("abcdefghijklmnopqrst"), 0, 20, 20, '2', S("22222222222222222222"));
 290     test(S("abcdefghijklmnopqrst"), 0, 21, 0, '2', S(""));
 291     test(S("abcdefghijklmnopqrst"), 0, 21, 5, '2', S("22222"));
 292     test(S("abcdefghijklmnopqrst"), 0, 21, 10, '2', S("2222222222"));
 293     test(S("abcdefghijklmnopqrst"), 0, 21, 20, '2', S("22222222222222222222"));
 294     test(S("abcdefghijklmnopqrst"), 1, 0, 0, '2', S("abcdefghijklmnopqrst"));
 295     test(S("abcdefghijklmnopqrst"), 1, 0, 5, '2', S("a22222bcdefghijklmnopqrst"));
 296     test(S("abcdefghijklmnopqrst"), 1, 0, 10, '2', S("a2222222222bcdefghijklmnopqrst"));
 297     test(S("abcdefghijklmnopqrst"), 1, 0, 20, '2', S("a22222222222222222222bcdefghijklmnopqrst"));
 298     test(S("abcdefghijklmnopqrst"), 1, 1, 0, '2', S("acdefghijklmnopqrst"));
 299     test(S("abcdefghijklmnopqrst"), 1, 1, 5, '2', S("a22222cdefghijklmnopqrst"));
 300     test(S("abcdefghijklmnopqrst"), 1, 1, 10, '2', S("a2222222222cdefghijklmnopqrst"));
 301     test(S("abcdefghijklmnopqrst"), 1, 1, 20, '2', S("a22222222222222222222cdefghijklmnopqrst"));
 302     test(S("abcdefghijklmnopqrst"), 1, 9, 0, '2', S("aklmnopqrst"));
 303     test(S("abcdefghijklmnopqrst"), 1, 9, 5, '2', S("a22222klmnopqrst"));
 304     test(S("abcdefghijklmnopqrst"), 1, 9, 10, '2', S("a2222222222klmnopqrst"));
 305     test(S("abcdefghijklmnopqrst"), 1, 9, 20, '2', S("a22222222222222222222klmnopqrst"));
 306     test(S("abcdefghijklmnopqrst"), 1, 18, 0, '2', S("at"));
 307     test(S("abcdefghijklmnopqrst"), 1, 18, 5, '2', S("a22222t"));
 308     test(S("abcdefghijklmnopqrst"), 1, 18, 10, '2', S("a2222222222t"));
 309     test(S("abcdefghijklmnopqrst"), 1, 18, 20, '2', S("a22222222222222222222t"));
 310     test(S("abcdefghijklmnopqrst"), 1, 19, 0, '2', S("a"));
 311     test(S("abcdefghijklmnopqrst"), 1, 19, 5, '2', S("a22222"));
 312     test(S("abcdefghijklmnopqrst"), 1, 19, 10, '2', S("a2222222222"));
 313     test(S("abcdefghijklmnopqrst"), 1, 19, 20, '2', S("a22222222222222222222"));
 314     test(S("abcdefghijklmnopqrst"), 1, 20, 0, '2', S("a"));
 315     test(S("abcdefghijklmnopqrst"), 1, 20, 5, '2', S("a22222"));
 316     test(S("abcdefghijklmnopqrst"), 1, 20, 10, '2', S("a2222222222"));
 317     test(S("abcdefghijklmnopqrst"), 1, 20, 20, '2', S("a22222222222222222222"));
 318     test(S("abcdefghijklmnopqrst"), 10, 0, 0, '2', S("abcdefghijklmnopqrst"));
 319     test(S("abcdefghijklmnopqrst"), 10, 0, 5, '2', S("abcdefghij22222klmnopqrst"));
 320     test(S("abcdefghijklmnopqrst"), 10, 0, 10, '2', S("abcdefghij2222222222klmnopqrst"));
 321     test(S("abcdefghijklmnopqrst"), 10, 0, 20, '2', S("abcdefghij22222222222222222222klmnopqrst"));
 322     test(S("abcdefghijklmnopqrst"), 10, 1, 0, '2', S("abcdefghijlmnopqrst"));
 323     test(S("abcdefghijklmnopqrst"), 10, 1, 5, '2', S("abcdefghij22222lmnopqrst"));
 324     test(S("abcdefghijklmnopqrst"), 10, 1, 10, '2', S("abcdefghij2222222222lmnopqrst"));
 325     test(S("abcdefghijklmnopqrst"), 10, 1, 20, '2', S("abcdefghij22222222222222222222lmnopqrst"));
 326     test(S("abcdefghijklmnopqrst"), 10, 5, 0, '2', S("abcdefghijpqrst"));
 327     test(S("abcdefghijklmnopqrst"), 10, 5, 5, '2', S("abcdefghij22222pqrst"));
 328     test(S("abcdefghijklmnopqrst"), 10, 5, 10, '2', S("abcdefghij2222222222pqrst"));
 329     test(S("abcdefghijklmnopqrst"), 10, 5, 20, '2', S("abcdefghij22222222222222222222pqrst"));
 330     test(S("abcdefghijklmnopqrst"), 10, 9, 0, '2', S("abcdefghijt"));
 331     test(S("abcdefghijklmnopqrst"), 10, 9, 5, '2', S("abcdefghij22222t"));
 332     test(S("abcdefghijklmnopqrst"), 10, 9, 10, '2', S("abcdefghij2222222222t"));
 333     test(S("abcdefghijklmnopqrst"), 10, 9, 20, '2', S("abcdefghij22222222222222222222t"));
 334     test(S("abcdefghijklmnopqrst"), 10, 10, 0, '2', S("abcdefghij"));
 335     test(S("abcdefghijklmnopqrst"), 10, 10, 5, '2', S("abcdefghij22222"));
 336     test(S("abcdefghijklmnopqrst"), 10, 10, 10, '2', S("abcdefghij2222222222"));
 337     test(S("abcdefghijklmnopqrst"), 10, 10, 20, '2', S("abcdefghij22222222222222222222"));
 338     test(S("abcdefghijklmnopqrst"), 10, 11, 0, '2', S("abcdefghij"));
 339     test(S("abcdefghijklmnopqrst"), 10, 11, 5, '2', S("abcdefghij22222"));
 340     test(S("abcdefghijklmnopqrst"), 10, 11, 10, '2', S("abcdefghij2222222222"));
 341     test(S("abcdefghijklmnopqrst"), 10, 11, 20, '2', S("abcdefghij22222222222222222222"));
 342     test(S("abcdefghijklmnopqrst"), 19, 0, 0, '2', S("abcdefghijklmnopqrst"));
 343     test(S("abcdefghijklmnopqrst"), 19, 0, 5, '2', S("abcdefghijklmnopqrs22222t"));
 344     test(S("abcdefghijklmnopqrst"), 19, 0, 10, '2', S("abcdefghijklmnopqrs2222222222t"));
 345     test(S("abcdefghijklmnopqrst"), 19, 0, 20, '2', S("abcdefghijklmnopqrs22222222222222222222t"));
 346     test(S("abcdefghijklmnopqrst"), 19, 1, 0, '2', S("abcdefghijklmnopqrs"));
 347     test(S("abcdefghijklmnopqrst"), 19, 1, 5, '2', S("abcdefghijklmnopqrs22222"));
 348     test(S("abcdefghijklmnopqrst"), 19, 1, 10, '2', S("abcdefghijklmnopqrs2222222222"));
 349     test(S("abcdefghijklmnopqrst"), 19, 1, 20, '2', S("abcdefghijklmnopqrs22222222222222222222"));
 350     test(S("abcdefghijklmnopqrst"), 19, 2, 0, '2', S("abcdefghijklmnopqrs"));
 351     test(S("abcdefghijklmnopqrst"), 19, 2, 5, '2', S("abcdefghijklmnopqrs22222"));
 352     test(S("abcdefghijklmnopqrst"), 19, 2, 10, '2', S("abcdefghijklmnopqrs2222222222"));
 353     test(S("abcdefghijklmnopqrst"), 19, 2, 20, '2', S("abcdefghijklmnopqrs22222222222222222222"));
 354     test(S("abcdefghijklmnopqrst"), 20, 0, 0, '2', S("abcdefghijklmnopqrst"));
 355     test(S("abcdefghijklmnopqrst"), 20, 0, 5, '2', S("abcdefghijklmnopqrst22222"));
 356     test(S("abcdefghijklmnopqrst"), 20, 0, 10, '2', S("abcdefghijklmnopqrst2222222222"));
 357     test(S("abcdefghijklmnopqrst"), 20, 0, 20, '2', S("abcdefghijklmnopqrst22222222222222222222"));
 358     test(S("abcdefghijklmnopqrst"), 20, 1, 0, '2', S("abcdefghijklmnopqrst"));
 359     test(S("abcdefghijklmnopqrst"), 20, 1, 5, '2', S("abcdefghijklmnopqrst22222"));
 360     test(S("abcdefghijklmnopqrst"), 20, 1, 10, '2', S("abcdefghijklmnopqrst2222222222"));
 361     test(S("abcdefghijklmnopqrst"), 20, 1, 20, '2', S("abcdefghijklmnopqrst22222222222222222222"));
 362     test(S("abcdefghijklmnopqrst"), 21, 0, 0, '2', S("can't happen"));
 363     test(S("abcdefghijklmnopqrst"), 21, 0, 5, '2', S("can't happen"));
 364     test(S("abcdefghijklmnopqrst"), 21, 0, 10, '2', S("can't happen"));
 365     test(S("abcdefghijklmnopqrst"), 21, 0, 20, '2', S("can't happen"));
 366 }
 367
 368 int main()
 369 {
 370     {
 371     typedef std::string S;
 372     test0<S>();
 373     test1<S>();
 374     test2<S>();
 375     }
 376 #if TEST_STD_VER >= 11
 377     {
 378     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
 379     test0<S>();
 380     test1<S>();
 381     test2<S>();
 382     }
 383 #endif
 384 }