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 // constexpr size_type find_first_of(charT c, size_type pos = 0) const;
13 
14 #include <experimental/string_view>
15 #include <cassert>
16 
17 #include "constexpr_char_traits.hpp"
18 
19 template <class S>
20 void
test(const S & s,typename S::value_type c,typename S::size_type pos,typename S::size_type x)21 test(const S& s, typename S::value_type c, typename S::size_type pos,
22      typename S::size_type x)
23 {
24     assert(s.find_first_of(c, pos) == x);
25     if (x != S::npos)
26         assert(pos <= x && x < s.size());
27 }
28 
29 template <class S>
30 void
test(const S & s,typename S::value_type c,typename S::size_type x)31 test(const S& s, typename S::value_type c, typename S::size_type x)
32 {
33     assert(s.find_first_of(c) == x);
34     if (x != S::npos)
35         assert(x < s.size());
36 }
37 
main()38 int main()
39 {
40     {
41     typedef std::experimental::string_view S;
42     test(S(""), 'e', 0, S::npos);
43     test(S(""), 'e', 1, S::npos);
44     test(S("kitcj"), 'e', 0, S::npos);
45     test(S("qkamf"), 'e', 1, S::npos);
46     test(S("nhmko"), 'e', 2, S::npos);
47     test(S("tpsaf"), 'e', 4, S::npos);
48     test(S("lahfb"), 'e', 5, S::npos);
49     test(S("irkhs"), 'e', 6, S::npos);
50     test(S("gmfhdaipsr"), 'e', 0, S::npos);
51     test(S("kantesmpgj"), 'e', 1, 4);
52     test(S("odaftiegpm"), 'e', 5, 6);
53     test(S("oknlrstdpi"), 'e', 9, S::npos);
54     test(S("eolhfgpjqk"), 'e', 10, S::npos);
55     test(S("pcdrofikas"), 'e', 11, S::npos);
56     test(S("nbatdlmekrgcfqsophij"), 'e', 0, 7);
57     test(S("bnrpehidofmqtcksjgla"), 'e', 1, 4);
58     test(S("jdmciepkaqgotsrfnhlb"), 'e', 10, S::npos);
59     test(S("jtdaefblsokrmhpgcnqi"), 'e', 19, S::npos);
60     test(S("hkbgspofltajcnedqmri"), 'e', 20, S::npos);
61     test(S("oselktgbcapndfjihrmq"), 'e', 21, S::npos);
62 
63     test(S(""), 'e', S::npos);
64     test(S("csope"), 'e', 4);
65     test(S("gfsmthlkon"), 'e', S::npos);
66     test(S("laenfsbridchgotmkqpj"), 'e', 2);
67     }
68 
69 #if _LIBCPP_STD_VER > 11
70     {
71     typedef std::experimental::basic_string_view<char, constexpr_char_traits<char>> SV;
72     constexpr SV  sv1;
73     constexpr SV  sv2 { "abcde", 5 };
74 
75     static_assert (sv1.find_first_of( 'e', 0 ) == SV::npos, "" );
76     static_assert (sv1.find_first_of( 'e', 1 ) == SV::npos, "" );
77     static_assert (sv2.find_first_of( 'q', 0 ) == SV::npos, "" );
78     static_assert (sv2.find_first_of( 'e', 1 ) == 4, "" );
79     static_assert (sv2.find_first_of( 'e', 5 ) == SV::npos, "" );
80     }
81 #endif
82 }
83