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 basic_string_view substr(size_type pos = 0, size_type n = npos) const;
13
14 // Throws: out_of_range if pos > size().
15 // Effects: Determines the effective length rlen of the string to reference as the smaller of n and size() - pos.
16 // Returns: basic_string_view(data()+pos, rlen).
17
18 #include <experimental/string_view>
19 #include <cassert>
20
21 #include "test_macros.h"
22
23 template<typename CharT>
test1(std::experimental::basic_string_view<CharT> sv,size_t n,size_t pos)24 void test1 ( std::experimental::basic_string_view<CharT> sv, size_t n, size_t pos ) {
25 if (pos > sv.size()) {
26 #ifndef TEST_HAS_NO_EXCEPTIONS
27 try {
28 std::experimental::basic_string_view<CharT> sv1 = sv.substr(pos, n);
29 assert(false);
30 ((void)sv1);
31 } catch (const std::out_of_range&) {
32 return;
33 } catch (...) {
34 assert(false);
35 }
36 #endif
37 } else {
38 std::experimental::basic_string_view<CharT> sv1 = sv.substr(pos, n);
39 const size_t rlen = std::min ( n, sv.size() - pos );
40 assert ( sv1.size() == rlen );
41 for ( size_t i = 0; i <= rlen; ++i )
42 assert ( sv[pos+i] == sv1[i] );
43 }
44 }
45
46
47 template<typename CharT>
test(const CharT * s)48 void test ( const CharT *s ) {
49 typedef std::experimental::basic_string_view<CharT> string_view_t;
50
51 string_view_t sv1 ( s );
52
53 test1(sv1, 0, 0);
54 test1(sv1, 1, 0);
55 test1(sv1, 20, 0);
56 test1(sv1, sv1.size(), 0);
57
58 test1(sv1, 0, 3);
59 test1(sv1, 2, 3);
60 test1(sv1, 100, 3);
61
62 test1(sv1, 0, string_view_t::npos);
63 test1(sv1, 2, string_view_t::npos);
64 test1(sv1, sv1.size(), string_view_t::npos);
65
66 test1(sv1, sv1.size() + 1, 0);
67 test1(sv1, sv1.size() + 1, 1);
68 test1(sv1, sv1.size() + 1, string_view_t::npos);
69 }
70
main()71 int main () {
72 test ( "ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE" );
73 test ( "ABCDE");
74 test ( "a" );
75 test ( "" );
76
77 test ( L"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE" );
78 test ( L"ABCDE" );
79 test ( L"a" );
80 test ( L"" );
81
82 #if TEST_STD_VER >= 11
83 test ( u"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE" );
84 test ( u"ABCDE" );
85 test ( u"a" );
86 test ( u"" );
87
88 test ( U"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE" );
89 test ( U"ABCDE" );
90 test ( U"a" );
91 test ( U"" );
92 #endif
93
94 #if TEST_STD_VER > 11
95 {
96 constexpr std::experimental::string_view sv1 { "ABCDE", 5 };
97
98 {
99 constexpr std::experimental::string_view sv2 = sv1.substr ( 0, 3 );
100 static_assert ( sv2.size() == 3, "" );
101 static_assert ( sv2[0] == 'A', "" );
102 static_assert ( sv2[1] == 'B', "" );
103 static_assert ( sv2[2] == 'C', "" );
104 }
105
106 {
107 constexpr std::experimental::string_view sv2 = sv1.substr ( 3, 0 );
108 static_assert ( sv2.size() == 0, "" );
109 }
110
111 {
112 constexpr std::experimental::string_view sv2 = sv1.substr ( 3, 3 );
113 static_assert ( sv2.size() == 2, "" );
114 static_assert ( sv2[0] == 'D', "" );
115 static_assert ( sv2[1] == 'E', "" );
116 }
117 }
118 #endif
119 }
120