1// { dg-options "-std=gnu++14" } 2 3// Copyright (C) 2013-2015 Free Software Foundation, Inc. 4// 5// This file is part of the GNU ISO C++ Library. This library is free 6// software; you can redistribute it and/or modify it under the 7// terms of the GNU General Public License as published by the 8// Free Software Foundation; either version 3, or (at your option) 9// any later version. 10 11// This library is distributed in the hope that it will be useful, 12// but WITHOUT ANY WARRANTY; without even the implied warranty of 13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14// GNU General Public License for more details. 15 16// You should have received a copy of the GNU General Public License along 17// with this library; see the file COPYING3. If not see 18// <http://www.gnu.org/licenses/>. 19 20// string_view size, length 21 22#include <experimental/string_view> 23#include <cstring> 24#include <testsuite_hooks.h> 25 26template<typename T> 27 struct A { }; 28 29template<typename T> 30 bool 31 operator==(const A<T>&, const A<T>&) { return true; } 32 33template<typename T> 34 bool 35 operator<(const A<T>&, const A<T>&) { return true; } 36 37struct B { }; 38 39// char_traits specialization 40namespace std 41{ 42 template<> 43 struct char_traits<A<B> > 44 { 45 typedef A<B> char_type; 46 // Unsigned as wint_t in unsigned. 47 typedef unsigned long int_type; 48 typedef streampos pos_type; 49 typedef streamoff off_type; 50 typedef mbstate_t state_type; 51 52 static void 53 assign(char_type& __c1, const char_type& __c2) 54 { __c1 = __c2; } 55 56 static bool 57 eq(const char_type& __c1, const char_type& __c2) 58 { return __c1 == __c2; } 59 60 static bool 61 lt(const char_type& __c1, const char_type& __c2) 62 { return __c1 < __c2; } 63 64 static int 65 compare(const char_type* __s1, const char_type* __s2, size_t __n) 66 { 67 for (size_t __i = 0; __i < __n; ++__i) 68 if (!eq(__s1[__i], __s2[__i])) 69 return lt(__s1[__i], __s2[__i]) ? -1 : 1; 70 return 0; 71 } 72 73 static size_t 74 length(const char_type* __s) 75 { 76 const char_type* __p = __s; 77 while (__p) 78 ++__p; 79 return (__p - __s); 80 } 81 82 static const char_type* 83 find(const char_type* __s, size_t __n, const char_type& __a) 84 { 85 for (const char_type* __p = __s; size_t(__p - __s) < __n; ++__p) 86 if (*__p == __a) return __p; 87 return 0; 88 } 89 90 static char_type* 91 move(char_type* __s1, const char_type* __s2, size_t __n) 92 { return (char_type*) memmove(__s1, __s2, __n * sizeof(char_type)); } 93 94 static char_type* 95 copy(char_type* __s1, const char_type* __s2, size_t __n) 96 { return (char_type*) memcpy(__s1, __s2, __n * sizeof(char_type)); } 97 98 static char_type* 99 assign(char_type* __s, size_t __n, char_type __a) 100 { 101 for (char_type* __p = __s; __p < __s + __n; ++__p) 102 assign(*__p, __a); 103 return __s; 104 } 105 106 static char_type 107 to_char_type(const int_type&) 108 { return char_type(); } 109 110 static int_type 111 to_int_type(const char_type&) { return int_type(); } 112 113 static bool 114 eq_int_type(const int_type& __c1, const int_type& __c2) 115 { return __c1 == __c2; } 116 117 static int_type 118 eof() { return static_cast<int_type>(-1); } 119 120 static int_type 121 not_eof(const int_type& __c) 122 { return eq_int_type(__c, eof()) ? int_type(0) : __c; } 123 }; 124} // namespace std 125 126void 127test01() 128{ 129 bool test [[gnu::unused]] = true; 130 131 std::experimental::basic_string_view<A<B>> str02; 132 typedef std::experimental::basic_string_view< A<B> >::size_type size_type_o; 133 size_type_o sz03; 134 size_type_o sz04; 135 136 // non-POD types: size, length, max_size, empty() 137 bool b01 = str02.empty(); 138 VERIFY( b01 == true ); 139 sz03 = str02.size(); 140 sz04 = str02.length(); 141 VERIFY( sz03 == sz04 ); 142 str02.data(); 143 sz03 = str02.size(); 144 sz04 = str02.length(); 145 VERIFY( sz03 == sz04 ); 146 147 sz03 = str02.max_size(); 148 VERIFY( sz03 >= sz04 ); 149 150 sz03 = str02.size(); 151 str02 = {}; 152 b01 = str02.empty(); 153 VERIFY( b01 == true ); 154 sz04 = str02.size(); 155 VERIFY( sz03 >= sz04 ); 156} 157 158int 159main() 160{ 161 test01(); 162 163 return 0; 164} 165