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_view>
10 
11 // [string.view.capacity], capacity
12 // constexpr size_type size()     const noexcept;
13 // constexpr size_type length()   const noexcept;
14 // constexpr size_type max_size() const noexcept;
15 // constexpr bool empty()         const noexcept;
16 
17 #include <string_view>
18 #include <cassert>
19 
20 #include "test_macros.h"
21 
22 template<typename SV>
23 void test1 () {
24 #if TEST_STD_VER > 11
25     {
26     constexpr SV sv1;
27     static_assert ( sv1.size() == 0, "" );
28     static_assert ( sv1.empty(), "");
29     static_assert ( sv1.size() == sv1.length(), "" );
30     static_assert ( sv1.max_size() > sv1.size(), "");
31     }
32 #endif
33 
34     {
35     SV sv1;
36     ASSERT_NOEXCEPT(sv1.size());
37     ASSERT_NOEXCEPT(sv1.empty());
38     ASSERT_NOEXCEPT(sv1.max_size());
39     ASSERT_NOEXCEPT(sv1.length());
40     assert ( sv1.size() == 0 );
41     assert ( sv1.empty());
42     assert ( sv1.size() == sv1.length());
43     assert ( sv1.max_size() > sv1.size());
44     }
45 }
46 
47 template<typename CharT>
48 void test2 ( const CharT *s, size_t len ) {
49     {
50     std::basic_string_view<CharT> sv1 ( s );
51     assert ( sv1.size() == len );
52     assert ( sv1.data() == s );
53     assert ( sv1.empty() == (len == 0));
54     assert ( sv1.size() == sv1.length());
55     assert ( sv1.max_size() > sv1.size());
56 #if TEST_STD_VER > 14
57 //  make sure we pick up std::size, too!
58     assert ( sv1.size() == std::size(sv1));
59     assert ( sv1.empty() == std::empty(sv1));
60 #endif
61     }
62 }
63 
64 int main(int, char**) {
65     test1<std::string_view> ();
66 #if defined(__cpp_lib_char8_t) && __cpp_lib_char8_t >= 201811L
67     test1<std::u8string_view> ();
68 #endif
69     test1<std::u16string_view> ();
70     test1<std::u32string_view> ();
71 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
72     test1<std::wstring_view> ();
73 #endif
74 
75     test2 ( "ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
76     test2 ( "ABCDE", 5 );
77     test2 ( "a", 1 );
78     test2 ( "", 0 );
79 
80 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
81     test2 ( L"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
82     test2 ( L"ABCDE", 5 );
83     test2 ( L"a", 1 );
84     test2 ( L"", 0 );
85 #endif
86 
87 #if defined(__cpp_lib_char8_t) && __cpp_lib_char8_t >= 201811L
88     test2 ( u8"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
89     test2 ( u8"ABCDE", 5 );
90     test2 ( u8"a", 1 );
91     test2 ( u8"", 0 );
92 #endif
93 
94 #if TEST_STD_VER >= 11
95     test2 ( u"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
96     test2 ( u"ABCDE", 5 );
97     test2 ( u"a", 1 );
98     test2 ( u"", 0 );
99 
100     test2 ( U"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
101     test2 ( U"ABCDE", 5 );
102     test2 ( U"a", 1 );
103     test2 ( U"", 0 );
104 #endif
105 
106   return 0;
107 }
108