1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: !stdlib=libc++ && (c++03 || c++11 || c++14)
// <string_view>
// [string.view.capacity], capacity
// constexpr size_type size() const noexcept;
// constexpr size_type length() const noexcept;
// constexpr size_type max_size() const noexcept;
// constexpr bool empty() const noexcept;
#include <string_view>
#include <cassert>
#include <iterator>
#include <limits>
#include "test_macros.h"
template<typename SV>
void test1 () {
#if TEST_STD_VER > 11
{
constexpr SV sv1;
static_assert ( sv1.size() == 0, "" );
static_assert ( sv1.empty(), "");
static_assert ( sv1.size() == sv1.length(), "" );
static_assert ( sv1.max_size() > sv1.size(), "");
}
#endif
{
SV sv1;
ASSERT_NOEXCEPT(sv1.size());
ASSERT_NOEXCEPT(sv1.empty());
ASSERT_NOEXCEPT(sv1.max_size());
ASSERT_NOEXCEPT(sv1.length());
assert ( sv1.size() == 0 );
assert ( sv1.empty());
assert ( sv1.size() == sv1.length());
assert ( sv1.max_size() > sv1.size());
}
// Sanity check max_size() -- a string_view can't store more bytes than a single object
// can contain. Any implementation that fails this check is certainly lying.
{
typedef typename SV::value_type CharT;
typedef typename SV::size_type Size;
SV sv;
assert(sv.max_size() <= std::numeric_limits<Size>::max() / sizeof(CharT));
LIBCPP_ASSERT(sv.max_size() == std::numeric_limits<Size>::max() / sizeof(CharT));
}
}
template<typename CharT>
void test2 ( const CharT *s, size_t len ) {
{
std::basic_string_view<CharT> sv1 ( s );
assert ( sv1.size() == len );
assert ( sv1.data() == s );
assert ( sv1.empty() == (len == 0));
assert ( sv1.size() == sv1.length());
assert ( sv1.max_size() > sv1.size());
#if TEST_STD_VER > 14
// make sure we pick up std::size, too!
assert ( sv1.size() == std::size(sv1));
assert ( sv1.empty() == std::empty(sv1));
#endif
}
}
int main(int, char**) {
test1<std::string_view> ();
#if defined(__cpp_lib_char8_t) && __cpp_lib_char8_t >= 201811L
test1<std::u8string_view> ();
#endif
test1<std::u16string_view> ();
test1<std::u32string_view> ();
#ifndef TEST_HAS_NO_WIDE_CHARACTERS
test1<std::wstring_view> ();
#endif
test2 ( "ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
test2 ( "ABCDE", 5 );
test2 ( "a", 1 );
test2 ( "", 0 );
#ifndef TEST_HAS_NO_WIDE_CHARACTERS
test2 ( L"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
test2 ( L"ABCDE", 5 );
test2 ( L"a", 1 );
test2 ( L"", 0 );
#endif
#if defined(__cpp_lib_char8_t) && __cpp_lib_char8_t >= 201811L
test2 ( u8"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
test2 ( u8"ABCDE", 5 );
test2 ( u8"a", 1 );
test2 ( u8"", 0 );
#endif
#if TEST_STD_VER >= 11
test2 ( u"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
test2 ( u"ABCDE", 5 );
test2 ( u"a", 1 );
test2 ( u"", 0 );
test2 ( U"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
test2 ( U"ABCDE", 5 );
test2 ( U"a", 1 );
test2 ( U"", 0 );
#endif
return 0;
}
|
