src/third_party/libc++/trunk/test/experimental/string.view/string.view.find/find_string_view_size.pass.cpp

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