libstdc++-v3/testsuite/21_strings/basic_string/capacity/1.cc

   1 // 1999-05-11 bkoz
   2
   3 // Copyright (C) 1999, 2002, 2003, 2004 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 2, 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 COPYING.  If not, write to the Free
  18 // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
  19 // USA.
  20
  21 // 21.3.3 string capacity
  22
  23 #include <string>
  24 #include <testsuite_hooks.h>
  25
  26 template<typename T>
  27   struct A { };
  28
  29 template<typename T>
  30   bool
  31   operator==(const A<T>&, const A<T>&) { return true; }
  32
  33 template<typename T>
  34   bool
  35   operator<(const A<T>&, const A<T>&) { return true; }
  36
  37 struct B { };
  38
  39 // char_traits specialization
  40 namespace 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
 126 void test01()
 127 {
 128   bool test __attribute__((unused)) = true;
 129
 130   // non POD types : resize, capacity, reserve
 131   std::basic_string< A<B> > str02;
 132   typedef std::basic_string< A<B> >::size_type size_type_o;
 133   size_type_o sz03;
 134   size_type_o sz04;
 135
 136   sz03 = str02.capacity();
 137   str02.reserve(100);
 138   sz04 = str02.capacity();
 139   VERIFY( sz04 >= sz03 );
 140   VERIFY( sz04 >= 100 );
 141   str02.reserve();
 142   sz03 = str02.capacity();
 143   VERIFY( sz03 == 0 );
 144
 145   sz03 = str02.size() + 5;
 146   str02.resize(sz03);
 147   sz04 = str02.size();
 148   VERIFY( sz03 == sz04 );
 149
 150   sz03 = str02.size() - 5;
 151   str02.resize(sz03);
 152   sz04 = str02.size();
 153   VERIFY( sz03 == sz04 );
 154
 155   A<B> inst_obj;
 156   std::basic_string<A<B> > str07(30, inst_obj);
 157   std::basic_string<A<B> > str08 = str07;
 158   str07 = str08 + str07;
 159   VERIFY( str07.capacity() >= str07.size() );
 160   VERIFY( str08.capacity() >= str08.size() );
 161
 162   // non-POD types: size, length, max_size, clear(), empty()
 163   bool b01 = str02.empty();
 164   VERIFY( b01 == true );
 165   sz03 = str02.size();
 166   sz04 = str02.length();
 167   VERIFY( sz03 == sz04 );
 168   str02.c_str();
 169   sz03 = str02.size();
 170   sz04 = str02.length();
 171   VERIFY( sz03 == sz04 );
 172
 173   sz03 = str02.max_size();
 174   VERIFY( sz03 >= sz04 );
 175
 176   sz03 = str02.size();
 177   str02.clear();
 178   b01 = str02.empty();
 179   VERIFY( b01 == true );
 180   sz04 = str02.size();
 181   VERIFY( sz03 >= sz04 );
 182 }
 183
 184 #if !__GXX_WEAK__
 185 // Explicitly instantiate for systems with no COMDAT or weak support.
 186 template
 187   std::basic_string< A<B> >::size_type
 188   std::basic_string< A<B> >::_Rep::_S_max_size;
 189
 190 template
 191   A<B>
 192   std::basic_string< A<B> >::_Rep::_S_terminal;
 193 #endif
 194
 195 int main()
 196 {
 197   test01();
 198   return 0;
 199 }