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