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 <experimental/string_view> 20#include <cassert> 21 22template<typename SV> 23void test1 () { 24#if _LIBCPP_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 ( sv1.size() == 0 ); 37 assert ( sv1.empty()); 38 assert ( sv1.size() == sv1.length()); 39 assert ( sv1.max_size() > sv1.size()); 40 } 41} 42 43template<typename CharT> 44void test2 ( const CharT *s, size_t len ) { 45 { 46 std::experimental::basic_string_view<CharT> sv1 ( s ); 47 assert ( sv1.size() == len ); 48 assert ( sv1.data() == s ); 49 assert ( sv1.empty() == (len == 0)); 50 assert ( sv1.size() == sv1.length()); 51 assert ( sv1.max_size() > sv1.size()); 52 } 53} 54 55int main () { 56 typedef std::experimental::string_view string_view; 57 typedef std::experimental::u16string_view u16string_view; 58 typedef std::experimental::u32string_view u32string_view; 59 typedef std::experimental::wstring_view wstring_view; 60 61 test1<string_view> (); 62 test1<u16string_view> (); 63 test1<u32string_view> (); 64 test1<wstring_view> (); 65 66 test2 ( "ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 ); 67 test2 ( "ABCDE", 5 ); 68 test2 ( "a", 1 ); 69 test2 ( "", 0 ); 70 71 test2 ( L"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 ); 72 test2 ( L"ABCDE", 5 ); 73 test2 ( L"a", 1 ); 74 test2 ( L"", 0 ); 75 76#if __cplusplus >= 201103L 77 test2 ( u"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 ); 78 test2 ( u"ABCDE", 5 ); 79 test2 ( u"a", 1 ); 80 test2 ( u"", 0 ); 81 82 test2 ( U"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 ); 83 test2 ( U"ABCDE", 5 ); 84 test2 ( U"a", 1 ); 85 test2 ( U"", 0 ); 86#endif 87} 88