find_pointer_size.pass.cpp (6484B)
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(const charT* s, size_type pos = 0) const; 13 14 #include <string_view> 15 #include <cassert> 16 17 #include "test_macros.h" 18 #include "constexpr_char_traits.hpp" 19 20 template <class S> 21 void 22 test(const S& s, const typename S::value_type* str, typename S::size_type pos, 23 typename S::size_type x) 24 { 25 assert(s.find(str, pos) == x); 26 if (x != S::npos) 27 { 28 typename S::size_type n = S::traits_type::length(str); 29 assert(pos <= x && x + n <= s.size()); 30 } 31 } 32 33 template <class S> 34 void 35 test(const S& s, const typename S::value_type* str, typename S::size_type x) 36 { 37 assert(s.find(str) == x); 38 if (x != S::npos) 39 { 40 typename S::size_type n = S::traits_type::length(str); 41 assert(0 <= x && x + n <= s.size()); 42 } 43 } 44 45 template <class S> 46 void 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, S::npos); 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, S::npos); 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, S::npos); 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, S::npos); 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, S::npos); 74 test(S("abcde"), "abcdeabcde", 5, S::npos); 75 test(S("abcde"), "abcdeabcdeabcdeabcde", 5, S::npos); 76 test(S("abcde"), "", 6, S::npos); 77 test(S("abcde"), "abcde", 6, S::npos); 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, 5); 86 test(S("abcdeabcde"), "abcdeabcde", 1, S::npos); 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, S::npos); 91 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 5, S::npos); 92 test(S("abcdeabcde"), "", 9, 9); 93 test(S("abcdeabcde"), "abcde", 9, S::npos); 94 test(S("abcdeabcde"), "abcdeabcde", 9, S::npos); 95 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 9, S::npos); 96 test(S("abcdeabcde"), "", 10, 10); 97 test(S("abcdeabcde"), "abcde", 10, S::npos); 98 test(S("abcdeabcde"), "abcdeabcde", 10, S::npos); 99 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 10, S::npos); 100 test(S("abcdeabcde"), "", 11, S::npos); 101 test(S("abcdeabcde"), "abcde", 11, S::npos); 102 test(S("abcdeabcde"), "abcdeabcde", 11, S::npos); 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, 5); 110 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 1, 5); 111 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 1, S::npos); 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, S::npos); 116 test(S("abcdeabcdeabcdeabcde"), "", 19, 19); 117 test(S("abcdeabcdeabcdeabcde"), "abcde", 19, S::npos); 118 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 19, S::npos); 119 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 19, S::npos); 120 test(S("abcdeabcdeabcdeabcde"), "", 20, 20); 121 test(S("abcdeabcdeabcdeabcde"), "abcde", 20, S::npos); 122 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 20, S::npos); 123 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 20, S::npos); 124 test(S("abcdeabcdeabcdeabcde"), "", 21, S::npos); 125 test(S("abcdeabcdeabcdeabcde"), "abcde", 21, S::npos); 126 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 21, S::npos); 127 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 21, S::npos); 128 } 129 130 template <class S> 131 void 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"), "", 0); 138 test(S("abcde"), "abcde", 0); 139 test(S("abcde"), "abcdeabcde", S::npos); 140 test(S("abcde"), "abcdeabcdeabcdeabcde", S::npos); 141 test(S("abcdeabcde"), "", 0); 142 test(S("abcdeabcde"), "abcde", 0); 143 test(S("abcdeabcde"), "abcdeabcde", 0); 144 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", S::npos); 145 test(S("abcdeabcdeabcdeabcde"), "", 0); 146 test(S("abcdeabcdeabcdeabcde"), "abcde", 0); 147 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 0); 148 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 0); 149 } 150 151 int main() 152 { 153 { 154 typedef std::string_view S; 155 test0<S>(); 156 test1<S>(); 157 } 158 159 #if TEST_STD_VER > 11 160 { 161 typedef std::basic_string_view<char, constexpr_char_traits<char>> SV; 162 constexpr SV sv1; 163 constexpr SV sv2 { "abcde", 5 }; 164 165 static_assert (sv1.find( "") == 0, "" ); 166 static_assert (sv1.find( "abcde") == SV::npos, "" ); 167 static_assert (sv2.find( "") == 0, "" ); 168 static_assert (sv2.find( "abcde") == 0, "" ); 169 static_assert (sv2.find( "abcde", 1) == SV::npos, "" ); 170 } 171 #endif 172 }