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_view> 11// constexpr size_type rfind(const charT* s, size_type pos = npos) const; 12 13#include <experimental/string_view> 14#include <cassert> 15 16#include "test_macros.h" 17#include "constexpr_char_traits.hpp" 18 19template <class S> 20void 21test(const S& s, const typename S::value_type* str, typename S::size_type pos, 22 typename S::size_type x) 23{ 24 assert(s.rfind(str, pos) == x); 25 if (x != S::npos) 26 { 27 typename S::size_type n = S::traits_type::length(str); 28 assert(x <= pos && x + n <= s.size()); 29 } 30} 31 32template <class S> 33void 34test(const S& s, const typename S::value_type* str, typename S::size_type x) 35{ 36 assert(s.rfind(str) == x); 37 if (x != S::npos) 38 { 39 typename S::size_type pos = s.size(); 40 typename S::size_type n = S::traits_type::length(str); 41 assert(x <= pos && x + n <= s.size()); 42 } 43} 44 45template <class S> 46void test0() 47{ 48 test(S(""), "", 0, 0); 49 test(S(""), "abcde", 0, S::npos); 50 test(S(""), "abcdeabcde", 0, S::npos); 51 test(S(""), "abcdeabcdeabcdeabcde", 0, S::npos); 52 test(S(""), "", 1, 0); 53 test(S(""), "abcde", 1, S::npos); 54 test(S(""), "abcdeabcde", 1, S::npos); 55 test(S(""), "abcdeabcdeabcdeabcde", 1, S::npos); 56 test(S("abcde"), "", 0, 0); 57 test(S("abcde"), "abcde", 0, 0); 58 test(S("abcde"), "abcdeabcde", 0, S::npos); 59 test(S("abcde"), "abcdeabcdeabcdeabcde", 0, S::npos); 60 test(S("abcde"), "", 1, 1); 61 test(S("abcde"), "abcde", 1, 0); 62 test(S("abcde"), "abcdeabcde", 1, S::npos); 63 test(S("abcde"), "abcdeabcdeabcdeabcde", 1, S::npos); 64 test(S("abcde"), "", 2, 2); 65 test(S("abcde"), "abcde", 2, 0); 66 test(S("abcde"), "abcdeabcde", 2, S::npos); 67 test(S("abcde"), "abcdeabcdeabcdeabcde", 2, S::npos); 68 test(S("abcde"), "", 4, 4); 69 test(S("abcde"), "abcde", 4, 0); 70 test(S("abcde"), "abcdeabcde", 4, S::npos); 71 test(S("abcde"), "abcdeabcdeabcdeabcde", 4, S::npos); 72 test(S("abcde"), "", 5, 5); 73 test(S("abcde"), "abcde", 5, 0); 74 test(S("abcde"), "abcdeabcde", 5, S::npos); 75 test(S("abcde"), "abcdeabcdeabcdeabcde", 5, S::npos); 76 test(S("abcde"), "", 6, 5); 77 test(S("abcde"), "abcde", 6, 0); 78 test(S("abcde"), "abcdeabcde", 6, S::npos); 79 test(S("abcde"), "abcdeabcdeabcdeabcde", 6, S::npos); 80 test(S("abcdeabcde"), "", 0, 0); 81 test(S("abcdeabcde"), "abcde", 0, 0); 82 test(S("abcdeabcde"), "abcdeabcde", 0, 0); 83 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 0, S::npos); 84 test(S("abcdeabcde"), "", 1, 1); 85 test(S("abcdeabcde"), "abcde", 1, 0); 86 test(S("abcdeabcde"), "abcdeabcde", 1, 0); 87 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 1, S::npos); 88 test(S("abcdeabcde"), "", 5, 5); 89 test(S("abcdeabcde"), "abcde", 5, 5); 90 test(S("abcdeabcde"), "abcdeabcde", 5, 0); 91 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 5, S::npos); 92 test(S("abcdeabcde"), "", 9, 9); 93 test(S("abcdeabcde"), "abcde", 9, 5); 94 test(S("abcdeabcde"), "abcdeabcde", 9, 0); 95 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 9, S::npos); 96 test(S("abcdeabcde"), "", 10, 10); 97 test(S("abcdeabcde"), "abcde", 10, 5); 98 test(S("abcdeabcde"), "abcdeabcde", 10, 0); 99 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 10, S::npos); 100 test(S("abcdeabcde"), "", 11, 10); 101 test(S("abcdeabcde"), "abcde", 11, 5); 102 test(S("abcdeabcde"), "abcdeabcde", 11, 0); 103 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 11, S::npos); 104 test(S("abcdeabcdeabcdeabcde"), "", 0, 0); 105 test(S("abcdeabcdeabcdeabcde"), "abcde", 0, 0); 106 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 0, 0); 107 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 0, 0); 108 test(S("abcdeabcdeabcdeabcde"), "", 1, 1); 109 test(S("abcdeabcdeabcdeabcde"), "abcde", 1, 0); 110 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 1, 0); 111 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 1, 0); 112 test(S("abcdeabcdeabcdeabcde"), "", 10, 10); 113 test(S("abcdeabcdeabcdeabcde"), "abcde", 10, 10); 114 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 10, 10); 115 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 10, 0); 116 test(S("abcdeabcdeabcdeabcde"), "", 19, 19); 117 test(S("abcdeabcdeabcdeabcde"), "abcde", 19, 15); 118 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 19, 10); 119 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 19, 0); 120 test(S("abcdeabcdeabcdeabcde"), "", 20, 20); 121 test(S("abcdeabcdeabcdeabcde"), "abcde", 20, 15); 122 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 20, 10); 123 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 20, 0); 124 test(S("abcdeabcdeabcdeabcde"), "", 21, 20); 125 test(S("abcdeabcdeabcdeabcde"), "abcde", 21, 15); 126 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 21, 10); 127 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 21, 0); 128} 129 130template <class S> 131void test1() 132{ 133 test(S(""), "", 0); 134 test(S(""), "abcde", S::npos); 135 test(S(""), "abcdeabcde", S::npos); 136 test(S(""), "abcdeabcdeabcdeabcde", S::npos); 137 test(S("abcde"), "", 5); 138 test(S("abcde"), "abcde", 0); 139 test(S("abcde"), "abcdeabcde", S::npos); 140 test(S("abcde"), "abcdeabcdeabcdeabcde", S::npos); 141 test(S("abcdeabcde"), "", 10); 142 test(S("abcdeabcde"), "abcde", 5); 143 test(S("abcdeabcde"), "abcdeabcde", 0); 144 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", S::npos); 145 test(S("abcdeabcdeabcdeabcde"), "", 20); 146 test(S("abcdeabcdeabcdeabcde"), "abcde", 15); 147 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 10); 148 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 0); 149} 150 151int main() 152{ 153 { 154 typedef std::experimental::string_view S; 155 test0<S>(); 156 test1<S>(); 157 } 158 159#if TEST_STD_VER > 11 160 { 161 typedef std::experimental::basic_string_view<char, constexpr_char_traits<char>> SV; 162 constexpr SV sv1; 163 constexpr SV sv2 { "abcde", 5 }; 164 165 static_assert (sv1.rfind( "") == 0, "" ); 166 static_assert (sv1.rfind( "abcde") == SV::npos, "" ); 167 static_assert (sv2.rfind( "") == 5, "" ); 168 static_assert (sv2.rfind( "abcde") == 0, "" ); 169 static_assert (sv2.rfind( "abcde", 1) == 0, "" ); 170 } 171#endif 172} 173