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 // template<class charT, class traits, class Allocator>
13 //   constexpr bool operator==(const basic_string_view<charT,traits> lhs,
14 //                   const basic_string_view<charT,traits> rhs);
15 
16 #include <experimental/string_view>
17 #include <cassert>
18 
19 #include "constexpr_char_traits.hpp"
20 
21 template <class S>
22 void
test(S lhs,S rhs,bool x)23 test(S lhs, S rhs, bool x)
24 {
25     assert((lhs == rhs) == x);
26     assert((rhs == lhs) == x);
27 }
28 
main()29 int main()
30 {
31     {
32     typedef std::experimental::string_view S;
33     test(S(""), S(""), true);
34     test(S(""), S("abcde"), false);
35     test(S(""), S("abcdefghij"), false);
36     test(S(""), S("abcdefghijklmnopqrst"), false);
37     test(S("abcde"), S(""), false);
38     test(S("abcde"), S("abcde"), true);
39     test(S("abcde"), S("abcdefghij"), false);
40     test(S("abcde"), S("abcdefghijklmnopqrst"), false);
41     test(S("abcdefghij"), S(""), false);
42     test(S("abcdefghij"), S("abcde"), false);
43     test(S("abcdefghij"), S("abcdefghij"), true);
44     test(S("abcdefghij"), S("abcdefghijklmnopqrst"), false);
45     test(S("abcdefghijklmnopqrst"), S(""), false);
46     test(S("abcdefghijklmnopqrst"), S("abcde"), false);
47     test(S("abcdefghijklmnopqrst"), S("abcdefghij"), false);
48     test(S("abcdefghijklmnopqrst"), S("abcdefghijklmnopqrst"), true);
49     }
50 
51 #if _LIBCPP_STD_VER > 11
52     {
53     typedef std::experimental::basic_string_view<char, constexpr_char_traits<char>> SV;
54     constexpr SV  sv1;
55     constexpr SV  sv2;
56     constexpr SV  sv3 { "abcde", 5 };
57     static_assert (  sv1 == sv2, "" );
58     static_assert (!(sv1 == sv3), "" );
59     }
60 #endif
61 }
62