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(charT c, 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,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 LIBCPP_ASSERT_NOEXCEPT(s.find(c, pos));
25 assert(s.find(c, pos) == x);
26 if (x != S::npos)
27 assert(pos <= x && x + 1 <= s.size());
28 }
29
30 template <class S>
31 TEST_CONSTEXPR_CXX20 void
test(const S & s,typename S::value_type c,typename S::size_type x)32 test(const S& s, typename S::value_type c, typename S::size_type x)
33 {
34 LIBCPP_ASSERT_NOEXCEPT(s.find(c));
35 assert(s.find(c) == x);
36 if (x != S::npos)
37 assert(0 <= x && x + 1 <= s.size());
38 }
39
test()40 TEST_CONSTEXPR_CXX20 bool test() {
41 {
42 typedef std::string S;
43 test(S(""), 'c', 0, S::npos);
44 test(S(""), 'c', 1, S::npos);
45 test(S("abcde"), 'c', 0, 2);
46 test(S("abcde"), 'c', 1, 2);
47 test(S("abcde"), 'c', 2, 2);
48 test(S("abcde"), 'c', 4, S::npos);
49 test(S("abcde"), 'c', 5, S::npos);
50 test(S("abcde"), 'c', 6, S::npos);
51 test(S("abcdeabcde"), 'c', 0, 2);
52 test(S("abcdeabcde"), 'c', 1, 2);
53 test(S("abcdeabcde"), 'c', 5, 7);
54 test(S("abcdeabcde"), 'c', 9, S::npos);
55 test(S("abcdeabcde"), 'c', 10, S::npos);
56 test(S("abcdeabcde"), 'c', 11, S::npos);
57 test(S("abcdeabcdeabcdeabcde"), 'c', 0, 2);
58 test(S("abcdeabcdeabcdeabcde"), 'c', 1, 2);
59 test(S("abcdeabcdeabcdeabcde"), 'c', 10, 12);
60 test(S("abcdeabcdeabcdeabcde"), 'c', 19, S::npos);
61 test(S("abcdeabcdeabcdeabcde"), 'c', 20, S::npos);
62 test(S("abcdeabcdeabcdeabcde"), 'c', 21, S::npos);
63
64 test(S(""), 'c', S::npos);
65 test(S("abcde"), 'c', 2);
66 test(S("abcdeabcde"), 'c', 2);
67 test(S("abcdeabcdeabcdeabcde"), 'c', 2);
68 }
69 #if TEST_STD_VER >= 11
70 {
71 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
72 test(S(""), 'c', 0, S::npos);
73 test(S(""), 'c', 1, S::npos);
74 test(S("abcde"), 'c', 0, 2);
75 test(S("abcde"), 'c', 1, 2);
76 test(S("abcde"), 'c', 2, 2);
77 test(S("abcde"), 'c', 4, S::npos);
78 test(S("abcde"), 'c', 5, S::npos);
79 test(S("abcde"), 'c', 6, S::npos);
80 test(S("abcdeabcde"), 'c', 0, 2);
81 test(S("abcdeabcde"), 'c', 1, 2);
82 test(S("abcdeabcde"), 'c', 5, 7);
83 test(S("abcdeabcde"), 'c', 9, S::npos);
84 test(S("abcdeabcde"), 'c', 10, S::npos);
85 test(S("abcdeabcde"), 'c', 11, S::npos);
86 test(S("abcdeabcdeabcdeabcde"), 'c', 0, 2);
87 test(S("abcdeabcdeabcdeabcde"), 'c', 1, 2);
88 test(S("abcdeabcdeabcdeabcde"), 'c', 10, 12);
89 test(S("abcdeabcdeabcdeabcde"), 'c', 19, S::npos);
90 test(S("abcdeabcdeabcdeabcde"), 'c', 20, S::npos);
91 test(S("abcdeabcdeabcdeabcde"), 'c', 21, S::npos);
92
93 test(S(""), 'c', S::npos);
94 test(S("abcde"), 'c', 2);
95 test(S("abcdeabcde"), 'c', 2);
96 test(S("abcdeabcdeabcdeabcde"), 'c', 2);
97 }
98 #endif
99
100 return true;
101 }
102
main(int,char **)103 int main(int, char**)
104 {
105 test();
106 #if TEST_STD_VER > 17
107 static_assert(test());
108 #endif
109
110 return 0;
111 }
112