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 rfind(charT c, size_type pos = npos) 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.rfind(c, pos));
25 assert(s.rfind(c, pos) == x);
26 if (x != S::npos)
27 assert(x <= pos && 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.rfind(c));
35 assert(s.rfind(c) == x);
36 if (x != S::npos)
37 assert(x + 1 <= s.size());
38 }
39
test()40 TEST_CONSTEXPR_CXX20 bool test() {
41 {
42 typedef std::string S;
43 test(S(""), 'b', 0, S::npos);
44 test(S(""), 'b', 1, S::npos);
45 test(S("abcde"), 'b', 0, S::npos);
46 test(S("abcde"), 'b', 1, 1);
47 test(S("abcde"), 'b', 2, 1);
48 test(S("abcde"), 'b', 4, 1);
49 test(S("abcde"), 'b', 5, 1);
50 test(S("abcde"), 'b', 6, 1);
51 test(S("abcdeabcde"), 'b', 0, S::npos);
52 test(S("abcdeabcde"), 'b', 1, 1);
53 test(S("abcdeabcde"), 'b', 5, 1);
54 test(S("abcdeabcde"), 'b', 9, 6);
55 test(S("abcdeabcde"), 'b', 10, 6);
56 test(S("abcdeabcde"), 'b', 11, 6);
57 test(S("abcdeabcdeabcdeabcde"), 'b', 0, S::npos);
58 test(S("abcdeabcdeabcdeabcde"), 'b', 1, 1);
59 test(S("abcdeabcdeabcdeabcde"), 'b', 10, 6);
60 test(S("abcdeabcdeabcdeabcde"), 'b', 19, 16);
61 test(S("abcdeabcdeabcdeabcde"), 'b', 20, 16);
62 test(S("abcdeabcdeabcdeabcde"), 'b', 21, 16);
63
64 test(S(""), 'b', S::npos);
65 test(S("abcde"), 'b', 1);
66 test(S("abcdeabcde"), 'b', 6);
67 test(S("abcdeabcdeabcdeabcde"), 'b', 16);
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(""), 'b', 0, S::npos);
73 test(S(""), 'b', 1, S::npos);
74 test(S("abcde"), 'b', 0, S::npos);
75 test(S("abcde"), 'b', 1, 1);
76 test(S("abcde"), 'b', 2, 1);
77 test(S("abcde"), 'b', 4, 1);
78 test(S("abcde"), 'b', 5, 1);
79 test(S("abcde"), 'b', 6, 1);
80 test(S("abcdeabcde"), 'b', 0, S::npos);
81 test(S("abcdeabcde"), 'b', 1, 1);
82 test(S("abcdeabcde"), 'b', 5, 1);
83 test(S("abcdeabcde"), 'b', 9, 6);
84 test(S("abcdeabcde"), 'b', 10, 6);
85 test(S("abcdeabcde"), 'b', 11, 6);
86 test(S("abcdeabcdeabcdeabcde"), 'b', 0, S::npos);
87 test(S("abcdeabcdeabcdeabcde"), 'b', 1, 1);
88 test(S("abcdeabcdeabcdeabcde"), 'b', 10, 6);
89 test(S("abcdeabcdeabcdeabcde"), 'b', 19, 16);
90 test(S("abcdeabcdeabcdeabcde"), 'b', 20, 16);
91 test(S("abcdeabcdeabcdeabcde"), 'b', 21, 16);
92
93 test(S(""), 'b', S::npos);
94 test(S("abcde"), 'b', 1);
95 test(S("abcdeabcde"), 'b', 6);
96 test(S("abcdeabcdeabcdeabcde"), 'b', 16);
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