| 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 | // size_type find_first_of(const basic_string& str, size_type pos = 0) const; // constexpr since C++20 |
| 12 | |
| 13 | #include <string> |
| 14 | #include <cassert> |
| 15 | |
| 16 | #include "test_macros.h" |
| 17 | #include "min_allocator.h" |
| 18 | |
| 19 | template <class S> |
| 20 | TEST_CONSTEXPR_CXX20 void test(const S& s, const S& str, typename S::size_type pos, typename S::size_type x) { |
| 21 | LIBCPP_ASSERT_NOEXCEPT(s.find_first_of(str, pos)); |
| 22 | assert(s.find_first_of(str, pos) == x); |
| 23 | if (x != S::npos) |
| 24 | assert(pos <= x && x < s.size()); |
| 25 | } |
| 26 | |
| 27 | template <class S> |
| 28 | TEST_CONSTEXPR_CXX20 void test(const S& s, const S& str, typename S::size_type x) { |
| 29 | LIBCPP_ASSERT_NOEXCEPT(s.find_first_of(str)); |
| 30 | assert(s.find_first_of(str) == x); |
| 31 | if (x != S::npos) |
| 32 | assert(x < s.size()); |
| 33 | } |
| 34 | |
| 35 | template <class S> |
| 36 | TEST_CONSTEXPR_CXX20 void test0() { |
| 37 | test(S("" ), S("" ), 0, S::npos); |
| 38 | test(S("" ), S("laenf" ), 0, S::npos); |
| 39 | test(S("" ), S("pqlnkmbdjo" ), 0, S::npos); |
| 40 | test(S("" ), S("qkamfogpnljdcshbreti" ), 0, S::npos); |
| 41 | test(S("" ), S("" ), 1, S::npos); |
| 42 | test(S("" ), S("bjaht" ), 1, S::npos); |
| 43 | test(S("" ), S("hjlcmgpket" ), 1, S::npos); |
| 44 | test(S("" ), S("htaobedqikfplcgjsmrn" ), 1, S::npos); |
| 45 | test(S("fodgq" ), S("" ), 0, S::npos); |
| 46 | test(S("qanej" ), S("dfkap" ), 0, 1); |
| 47 | test(S("clbao" ), S("ihqrfebgad" ), 0, 2); |
| 48 | test(S("mekdn" ), S("ngtjfcalbseiqrphmkdo" ), 0, 0); |
| 49 | test(S("srdfq" ), S("" ), 1, S::npos); |
| 50 | test(S("oemth" ), S("ikcrq" ), 1, S::npos); |
| 51 | test(S("cdaih" ), S("dmajblfhsg" ), 1, 1); |
| 52 | test(S("qohtk" ), S("oqftjhdmkgsblacenirp" ), 1, 1); |
| 53 | test(S("cshmd" ), S("" ), 2, S::npos); |
| 54 | test(S("lhcdo" ), S("oebqi" ), 2, 4); |
| 55 | test(S("qnsoh" ), S("kojhpmbsfe" ), 2, 2); |
| 56 | test(S("pkrof" ), S("acbsjqogpltdkhinfrem" ), 2, 2); |
| 57 | test(S("fmtsp" ), S("" ), 4, S::npos); |
| 58 | test(S("khbpm" ), S("aobjd" ), 4, S::npos); |
| 59 | test(S("pbsji" ), S("pcbahntsje" ), 4, S::npos); |
| 60 | test(S("mprdj" ), S("fhepcrntkoagbmldqijs" ), 4, 4); |
| 61 | test(S("eqmpa" ), S("" ), 5, S::npos); |
| 62 | test(S("omigs" ), S("kocgb" ), 5, S::npos); |
| 63 | test(S("onmje" ), S("fbslrjiqkm" ), 5, S::npos); |
| 64 | test(S("oqmrj" ), S("jeidpcmalhfnqbgtrsko" ), 5, S::npos); |
| 65 | test(S("schfa" ), S("" ), 6, S::npos); |
| 66 | test(S("igdsc" ), S("qngpd" ), 6, S::npos); |
| 67 | test(S("brqgo" ), S("rodhqklgmb" ), 6, S::npos); |
| 68 | test(S("tnrph" ), S("thdjgafrlbkoiqcspmne" ), 6, S::npos); |
| 69 | test(S("hcjitbfapl" ), S("" ), 0, S::npos); |
| 70 | test(S("daiprenocl" ), S("ashjd" ), 0, 0); |
| 71 | test(S("litpcfdghe" ), S("mgojkldsqh" ), 0, 0); |
| 72 | test(S("aidjksrolc" ), S("imqnaghkfrdtlopbjesc" ), 0, 0); |
| 73 | test(S("qpghtfbaji" ), S("" ), 1, S::npos); |
| 74 | test(S("gfshlcmdjr" ), S("nadkh" ), 1, 3); |
| 75 | test(S("nkodajteqp" ), S("ofdrqmkebl" ), 1, 1); |
| 76 | test(S("gbmetiprqd" ), S("bdfjqgatlksriohemnpc" ), 1, 1); |
| 77 | test(S("crnklpmegd" ), S("" ), 5, S::npos); |
| 78 | test(S("jsbtafedoc" ), S("prqgn" ), 5, S::npos); |
| 79 | test(S("qnmodrtkeb" ), S("pejafmnokr" ), 5, 5); |
| 80 | test(S("cpebqsfmnj" ), S("odnqkgijrhabfmcestlp" ), 5, 5); |
| 81 | test(S("lmofqdhpki" ), S("" ), 9, S::npos); |
| 82 | test(S("hnefkqimca" ), S("rtjpa" ), 9, 9); |
| 83 | test(S("drtasbgmfp" ), S("ktsrmnqagd" ), 9, S::npos); |
| 84 | test(S("lsaijeqhtr" ), S("rtdhgcisbnmoaqkfpjle" ), 9, 9); |
| 85 | test(S("elgofjmbrq" ), S("" ), 10, S::npos); |
| 86 | test(S("mjqdgalkpc" ), S("dplqa" ), 10, S::npos); |
| 87 | test(S("kthqnfcerm" ), S("dkacjoptns" ), 10, S::npos); |
| 88 | test(S("dfsjhanorc" ), S("hqfimtrgnbekpdcsjalo" ), 10, S::npos); |
| 89 | test(S("eqsgalomhb" ), S("" ), 11, S::npos); |
| 90 | test(S("akiteljmoh" ), S("lofbc" ), 11, S::npos); |
| 91 | test(S("hlbdfreqjo" ), S("astoegbfpn" ), 11, S::npos); |
| 92 | test(S("taqobhlerg" ), S("pdgreqomsncafklhtibj" ), 11, S::npos); |
| 93 | test(S("snafbdlghrjkpqtoceim" ), S("" ), 0, S::npos); |
| 94 | test(S("aemtbrgcklhndjisfpoq" ), S("lbtqd" ), 0, 3); |
| 95 | test(S("pnracgfkjdiholtbqsem" ), S("tboimldpjh" ), 0, 0); |
| 96 | test(S("dicfltehbsgrmojnpkaq" ), S("slcerthdaiqjfnobgkpm" ), 0, 0); |
| 97 | test(S("jlnkraeodhcspfgbqitm" ), S("" ), 1, S::npos); |
| 98 | test(S("lhosrngtmfjikbqpcade" ), S("aqibs" ), 1, 3); |
| 99 | test(S("rbtaqjhgkneisldpmfoc" ), S("gtfblmqinc" ), 1, 1); |
| 100 | test(S("gpifsqlrdkbonjtmheca" ), S("mkqpbtdalgniorhfescj" ), 1, 1); |
| 101 | test(S("hdpkobnsalmcfijregtq" ), S("" ), 10, S::npos); |
| 102 | test(S("jtlshdgqaiprkbcoenfm" ), S("pblas" ), 10, 10); |
| 103 | test(S("fkdrbqltsgmcoiphneaj" ), S("arosdhcfme" ), 10, 10); |
| 104 | test(S("crsplifgtqedjohnabmk" ), S("blkhjeogicatqfnpdmsr" ), 10, 10); |
| 105 | test(S("niptglfbosehkamrdqcj" ), S("" ), 19, S::npos); |
| 106 | test(S("copqdhstbingamjfkler" ), S("djkqc" ), 19, S::npos); |
| 107 | test(S("mrtaefilpdsgocnhqbjk" ), S("lgokshjtpb" ), 19, 19); |
| 108 | test(S("kojatdhlcmigpbfrqnes" ), S("bqjhtkfepimcnsgrlado" ), 19, 19); |
| 109 | test(S("eaintpchlqsbdgrkjofm" ), S("" ), 20, S::npos); |
| 110 | test(S("gjnhidfsepkrtaqbmclo" ), S("nocfa" ), 20, S::npos); |
| 111 | test(S("spocfaktqdbiejlhngmr" ), S("bgtajmiedc" ), 20, S::npos); |
| 112 | test(S("rphmlekgfscndtaobiqj" ), S("lsckfnqgdahejiopbtmr" ), 20, S::npos); |
| 113 | test(S("liatsqdoegkmfcnbhrpj" ), S("" ), 21, S::npos); |
| 114 | test(S("binjagtfldkrspcomqeh" ), S("gfsrt" ), 21, S::npos); |
| 115 | test(S("latkmisecnorjbfhqpdg" ), S("pfsocbhjtm" ), 21, S::npos); |
| 116 | test(S("lecfratdjkhnsmqpoigb" ), S("tpflmdnoicjgkberhqsa" ), 21, S::npos); |
| 117 | } |
| 118 | |
| 119 | template <class S> |
| 120 | TEST_CONSTEXPR_CXX20 void test1() { |
| 121 | test(S("" ), S("" ), S::npos); |
| 122 | test(S("" ), S("laenf" ), S::npos); |
| 123 | test(S("" ), S("pqlnkmbdjo" ), S::npos); |
| 124 | test(S("" ), S("qkamfogpnljdcshbreti" ), S::npos); |
| 125 | test(S("nhmko" ), S("" ), S::npos); |
| 126 | test(S("lahfb" ), S("irkhs" ), 2); |
| 127 | test(S("gmfhd" ), S("kantesmpgj" ), 0); |
| 128 | test(S("odaft" ), S("oknlrstdpiqmjbaghcfe" ), 0); |
| 129 | test(S("eolhfgpjqk" ), S("" ), S::npos); |
| 130 | test(S("nbatdlmekr" ), S("bnrpe" ), 0); |
| 131 | test(S("jdmciepkaq" ), S("jtdaefblso" ), 0); |
| 132 | test(S("hkbgspoflt" ), S("oselktgbcapndfjihrmq" ), 0); |
| 133 | test(S("gprdcokbnjhlsfmtieqa" ), S("" ), S::npos); |
| 134 | test(S("qjghlnftcaismkropdeb" ), S("bjaht" ), 1); |
| 135 | test(S("pnalfrdtkqcmojiesbhg" ), S("hjlcmgpket" ), 0); |
| 136 | test(S("pniotcfrhqsmgdkjbael" ), S("htaobedqikfplcgjsmrn" ), 0); |
| 137 | } |
| 138 | |
| 139 | template <class S> |
| 140 | TEST_CONSTEXPR_CXX20 void test_string() { |
| 141 | test0<S>(); |
| 142 | test1<S>(); |
| 143 | } |
| 144 | |
| 145 | TEST_CONSTEXPR_CXX20 bool test() { |
| 146 | test_string<std::string>(); |
| 147 | #if TEST_STD_VER >= 11 |
| 148 | test_string<std::basic_string<char, std::char_traits<char>, min_allocator<char> > >(); |
| 149 | { // LWG 2946 |
| 150 | std::string s = " !" ; |
| 151 | assert(s.find_first_of({"abc" , 1}) == std::string::npos); |
| 152 | } |
| 153 | #endif |
| 154 | |
| 155 | return true; |
| 156 | } |
| 157 | |
| 158 | int main(int, char**) { |
| 159 | test(); |
| 160 | #if TEST_STD_VER > 17 |
| 161 | static_assert(test()); |
| 162 | #endif |
| 163 | |
| 164 | return 0; |
| 165 | } |
| 166 | |