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