OSDN Git Service

d1dd1cb5d995da44d0cce041e8de4f6fcfa877b8
[pf3gnuchains/gcc-fork.git] / libstdc++-v3 / include / bits / basic_string.tcc
1 // Components for manipulating sequences of characters -*- C++ -*-
2
3 // Copyright (C) 1997, 1998, 1999, 2000, 2001 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, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
19 // USA.
20
21 // As a special exception, you may use this file as part of a free software
22 // library without restriction.  Specifically, if other files instantiate
23 // templates or use macros or inline functions from this file, or you compile
24 // this file and link it with other files to produce an executable, this
25 // file does not by itself cause the resulting executable to be covered by
26 // the GNU General Public License.  This exception does not however
27 // invalidate any other reasons why the executable file might be covered by
28 // the GNU General Public License.
29
30 //
31 // ISO C++ 14882: 21  Strings library
32 //
33
34 // This file is included by <string>.  It is not meant to be included
35 // separately.
36
37 // Written by Jason Merrill based upon the specification by Takanori Adachi
38 // in ANSI X3J16/94-0013R2.  Rewritten by Nathan Myers to ISO-14882.
39
40 #ifndef _CPP_BITS_STRING_TCC
41 #define _CPP_BITS_STRING_TCC 1
42
43 namespace std
44 {
45   template<typename _CharT, typename _Traits, typename _Alloc>
46     const _CharT 
47     basic_string<_CharT, _Traits, _Alloc>::
48     _Rep::_S_terminal = _CharT();
49
50   template<typename _CharT, typename _Traits, typename _Alloc>
51     const typename basic_string<_CharT, _Traits, _Alloc>::size_type 
52     basic_string<_CharT, _Traits, _Alloc>::
53     _Rep::_S_max_size = (((npos - sizeof(_Rep))/sizeof(_CharT)) - 1) / 4;
54
55   template<typename _CharT, typename _Traits, typename _Alloc>
56     const typename basic_string<_CharT, _Traits, _Alloc>::size_type
57     basic_string<_CharT, _Traits, _Alloc>::npos;
58
59   // Linker sets _S_empty_rep_storage to all 0s (one reference, empty string)
60   // at static init time (before static ctors are run).
61   template<typename _CharT, typename _Traits, typename _Alloc>
62     typename basic_string<_CharT, _Traits, _Alloc>::size_type
63     basic_string<_CharT, _Traits, _Alloc>::_S_empty_rep_storage[
64     (sizeof(_Rep) + sizeof(_CharT) + sizeof(size_type) - 1)/sizeof(size_type)];
65
66   // NB: This is the special case for Input Iterators, used in
67   // istreambuf_iterators, etc.
68   // Input Iterators have a cost structure very different from
69   // pointers, calling for a different coding style.
70   template<typename _CharT, typename _Traits, typename _Alloc>
71     template<typename _InIter>
72       _CharT*
73       basic_string<_CharT, _Traits, _Alloc>::
74       _S_construct(_InIter __beg, _InIter __end, const _Alloc& __a,
75                    input_iterator_tag)
76       {
77         if (__beg == __end && __a == _Alloc())
78           return _S_empty_rep()._M_refcopy();
79         // Avoid reallocation for common case.
80         _CharT __buf[100];
81         size_type __i = 0;
82         while (__beg != __end && __i < sizeof(__buf) / sizeof(_CharT))
83           { 
84             __buf[__i++] = *__beg; 
85             ++__beg; 
86           }
87         _Rep* __r = _Rep::_S_create(__i, __a);
88         traits_type::copy(__r->_M_refdata(), __buf, __i);
89         __r->_M_length = __i;
90         try 
91           {
92             // NB: this loop looks precisely this way because
93             // it avoids comparing __beg != __end any more
94             // than strictly necessary; != might be expensive!
95             for (;;)
96               {
97                 _CharT* __p = __r->_M_refdata() + __r->_M_length;
98                 _CharT* __last = __r->_M_refdata() + __r->_M_capacity;
99                 for (;;)
100                   {
101                     if (__beg == __end)
102                       {
103                         __r->_M_length = __p - __r->_M_refdata();
104                         *__p = _Rep::_S_terminal;       // grrr.
105                         return __r->_M_refdata();
106                       }
107                     if (__p == __last)
108                       break;
109                     *__p++ = *__beg; 
110                     ++__beg;
111                   }
112                 // Allocate more space.
113                 size_type __len = __p - __r->_M_refdata();
114                 _Rep* __another = _Rep::_S_create(__len + 1, __a);
115                 traits_type::copy(__another->_M_refdata(), 
116                                   __r->_M_refdata(), __len);
117                 __r->_M_destroy(__a);
118                 __r = __another;
119                 __r->_M_length = __len;
120               }
121           }
122         catch(...) 
123           {
124             __r->_M_destroy(__a); 
125             __throw_exception_again;
126           }
127         return 0;
128       }
129   
130   template<typename _CharT, typename _Traits, typename _Alloc>
131     template <class _InIter>
132       _CharT*
133       basic_string<_CharT, _Traits, _Alloc>::
134       _S_construct(_InIter __beg, _InIter __end, const _Alloc& __a, 
135                    forward_iterator_tag)
136       {
137         size_type __dnew = static_cast<size_type>(distance(__beg, __end));
138
139         if (__beg == __end && __a == _Alloc())
140           return _S_empty_rep()._M_refcopy();
141
142         // Check for out_of_range and length_error exceptions.
143         _Rep* __r = _Rep::_S_create(__dnew, __a);
144         try 
145           { _S_copy_chars(__r->_M_refdata(), __beg, __end); }
146         catch(...) 
147           { 
148             __r->_M_destroy(__a); 
149             __throw_exception_again;
150           }
151         __r->_M_length = __dnew;
152
153         __r->_M_refdata()[__dnew] = _Rep::_S_terminal;  // grrr.
154         return __r->_M_refdata();
155       }
156
157   template<typename _CharT, typename _Traits, typename _Alloc>
158     _CharT*
159     basic_string<_CharT, _Traits, _Alloc>::
160     _S_construct(size_type __n, _CharT __c, const _Alloc& __a)
161     {
162       if (__n == 0 && __a == _Alloc())
163         return _S_empty_rep()._M_refcopy();
164
165       // Check for out_of_range and length_error exceptions.
166       _Rep* __r = _Rep::_S_create(__n, __a);
167       try 
168         { 
169           if (__n) 
170             traits_type::assign(__r->_M_refdata(), __n, __c); 
171         }
172       catch(...) 
173         { 
174           __r->_M_destroy(__a); 
175           __throw_exception_again;
176         }
177       __r->_M_length = __n;
178       __r->_M_refdata()[__n] = _Rep::_S_terminal;  // grrr
179       return __r->_M_refdata();
180     }
181
182   template<typename _CharT, typename _Traits, typename _Alloc>
183     basic_string<_CharT, _Traits, _Alloc>::
184     basic_string(const basic_string& __str)
185     : _M_dataplus(__str._M_rep()->_M_grab(_Alloc(), __str.get_allocator()),
186                  __str.get_allocator())
187     { }
188
189   template<typename _CharT, typename _Traits, typename _Alloc>
190     basic_string<_CharT, _Traits, _Alloc>::
191     basic_string(const _Alloc& __a)
192     : _M_dataplus(_S_construct(size_type(), _CharT(), __a), __a)
193     { }
194  
195   template<typename _CharT, typename _Traits, typename _Alloc>
196     basic_string<_CharT, _Traits, _Alloc>::
197     basic_string(const basic_string& __str, size_type __pos, size_type __n)
198     : _M_dataplus(_S_construct(__str._M_check(__pos), 
199                                __str._M_fold(__pos, __n), _Alloc()), _Alloc())
200     { }
201
202   template<typename _CharT, typename _Traits, typename _Alloc>
203     basic_string<_CharT, _Traits, _Alloc>::
204     basic_string(const basic_string& __str, size_type __pos,
205                  size_type __n, const _Alloc& __a)
206     : _M_dataplus(_S_construct(__str._M_check(__pos), 
207                                __str._M_fold(__pos, __n), __a), __a)
208     { }
209
210   template<typename _CharT, typename _Traits, typename _Alloc>
211     basic_string<_CharT, _Traits, _Alloc>::
212     basic_string(const _CharT* __s, size_type __n, const _Alloc& __a)
213     : _M_dataplus(_S_construct(__s, __s + __n, __a), __a)
214     { }
215
216   template<typename _CharT, typename _Traits, typename _Alloc>
217     basic_string<_CharT, _Traits, _Alloc>::
218     basic_string(const _CharT* __s, const _Alloc& __a)
219     : _M_dataplus(_S_construct(__s, __s + traits_type::length(__s), __a), __a)
220     { }
221
222   template<typename _CharT, typename _Traits, typename _Alloc>
223     basic_string<_CharT, _Traits, _Alloc>::
224     basic_string(size_type __n, _CharT __c, const _Alloc& __a)
225     : _M_dataplus(_S_construct(__n, __c, __a), __a)
226     { }
227  
228   template<typename _CharT, typename _Traits, typename _Alloc>
229     template<typename _InputIter>
230     basic_string<_CharT, _Traits, _Alloc>::
231     basic_string(_InputIter __beg, _InputIter __end, const _Alloc& __a)
232     : _M_dataplus(_S_construct(__beg, __end, __a), __a)
233     { }
234
235   template<typename _CharT, typename _Traits, typename _Alloc>
236     basic_string<_CharT, _Traits, _Alloc>&
237     basic_string<_CharT, _Traits, _Alloc>::assign(const basic_string& __str)
238     {
239       if (_M_rep() != __str._M_rep())
240         {
241           // XXX MT
242           allocator_type __a = this->get_allocator();
243           _CharT* __tmp = __str._M_rep()->_M_grab(__a, __str.get_allocator());
244           _M_rep()->_M_dispose(__a);
245           _M_data(__tmp);
246         }
247       return *this;
248     }
249   
250   template<typename _CharT, typename _Traits, typename _Alloc>
251     void
252     basic_string<_CharT, _Traits, _Alloc>::_Rep::
253     _M_destroy(const _Alloc& __a) throw ()
254     {
255       size_type __size = sizeof(_Rep) + (_M_capacity + 1) * sizeof(_CharT);
256       _Raw_bytes_alloc(__a).deallocate(reinterpret_cast<char*>(this), __size);
257     }
258
259   template<typename _CharT, typename _Traits, typename _Alloc>
260     void
261     basic_string<_CharT, _Traits, _Alloc>::_M_leak_hard()
262     {
263       if (_M_rep()->_M_is_shared()) 
264         _M_mutate(0, 0, 0);
265       _M_rep()->_M_set_leaked();
266     }
267
268   template<typename _CharT, typename _Traits, typename _Alloc>
269     void
270     basic_string<_CharT, _Traits, _Alloc>::
271     _M_mutate(size_type __pos, size_type __len1, size_type __len2)
272     {
273       size_type       __old_size = this->size();
274       const size_type __new_size = __old_size + __len2 - __len1;
275       const _CharT*        __src = _M_data()  + __pos + __len1;
276       const size_type __how_much = __old_size - __pos - __len1;
277       
278       if (_M_rep()->_M_is_shared() || __new_size > capacity())
279         {
280           // Must reallocate.
281           allocator_type __a = get_allocator();
282           _Rep* __r = _Rep::_S_create(__new_size, __a);
283           try 
284             {
285               if (__pos)
286                 traits_type::copy(__r->_M_refdata(), _M_data(), __pos);
287               if (__how_much)
288                 traits_type::copy(__r->_M_refdata() + __pos + __len2, 
289                                   __src, __how_much);
290             }
291           catch(...) 
292             { 
293               __r->_M_dispose(get_allocator()); 
294               __throw_exception_again;
295             }
296           _M_rep()->_M_dispose(__a);
297           _M_data(__r->_M_refdata());
298       }
299       else if (__how_much && __len1 != __len2)
300         {
301           // Work in-place
302           traits_type::move(_M_data() + __pos + __len2, __src, __how_much);
303         }
304       _M_rep()->_M_set_sharable();
305       _M_rep()->_M_length = __new_size;
306       _M_data()[__new_size] = _Rep::_S_terminal; // grrr. (per 21.3.4)
307     // You cannot leave those LWG people alone for a second.
308     }
309   
310   template<typename _CharT, typename _Traits, typename _Alloc>
311     void
312     basic_string<_CharT, _Traits, _Alloc>::reserve(size_type __res)
313     {
314       if (__res > this->capacity() || _M_rep()->_M_is_shared())
315         {
316           if (__res > this->max_size())
317             __throw_length_error("basic_string::reserve");
318           // Make sure we don't shrink below the current size
319           if (__res < this->size())
320             __res = this->size();
321           allocator_type __a = get_allocator();
322           _CharT* __tmp = _M_rep()->_M_clone(__a, __res - this->size());
323           _M_rep()->_M_dispose(__a);
324           _M_data(__tmp);
325         }
326     }
327   
328   template<typename _CharT, typename _Traits, typename _Alloc>
329     void basic_string<_CharT, _Traits, _Alloc>::swap(basic_string& __s)
330     {
331       if (_M_rep()->_M_is_leaked()) 
332         _M_rep()->_M_set_sharable();
333       if (__s._M_rep()->_M_is_leaked()) 
334         __s._M_rep()->_M_set_sharable();
335       if (this->get_allocator() == __s.get_allocator())
336         {
337           _CharT* __tmp = _M_data();
338           _M_data(__s._M_data());
339           __s._M_data(__tmp);
340         }
341       // The code below can usually be optimized away.
342       else 
343         {
344           basic_string __tmp1(_M_ibegin(), _M_iend(), __s.get_allocator());
345           basic_string __tmp2(__s._M_ibegin(), __s._M_iend(), 
346                               this->get_allocator());
347           *this = __tmp2;
348           __s = __tmp1;
349         }
350     }
351
352 #ifdef _GLIBCPP_ALLOC_CONTROL
353   template<typename _CharT, typename _Traits, typename _Alloc>
354     bool (*basic_string<_CharT, _Traits, _Alloc>::_Rep::_S_excess_slop) 
355     (size_t, size_t) = 
356     basic_string<_CharT, _Traits, _Alloc>::_Rep::_S_default_excess;
357 #endif
358
359   template<typename _CharT, typename _Traits, typename _Alloc>
360     typename basic_string<_CharT, _Traits, _Alloc>::_Rep*
361     basic_string<_CharT, _Traits, _Alloc>::_Rep::
362     _S_create(size_t __capacity, const _Alloc& __alloc)
363     {
364       typedef basic_string<_CharT, _Traits, _Alloc> __string_type;
365 #ifdef _GLIBCPP_RESOLVE_LIB_DEFECTS
366       // 83.  String::npos vs. string::max_size()
367       if (__capacity > _S_max_size)
368 #else
369       if (__capacity == npos)
370 #endif
371         __throw_length_error("basic_string::_S_create");
372
373       // NB: Need an array of char_type[__capacity], plus a
374       // terminating null char_type() element, plus enough for the
375       // _Rep data structure. Whew. Seemingly so needy, yet so elemental.
376       size_t __size = (__capacity + 1) * sizeof(_CharT) + sizeof(_Rep);
377       // NB: Might throw, but no worries about a leak, mate: _Rep()
378       // does not throw.
379       void* __place = _Raw_bytes_alloc(__alloc).allocate(__size);
380       _Rep *__p = new (__place) _Rep;
381       __p->_M_capacity = __capacity;
382       __p->_M_set_sharable();  // one reference
383       __p->_M_length = 0;
384       return __p;
385     }
386
387   template<typename _CharT, typename _Traits, typename _Alloc>
388     _CharT*
389     basic_string<_CharT, _Traits, _Alloc>::_Rep::
390     _M_clone(const _Alloc& __alloc, size_type __res)
391     {
392       _Rep* __r = _Rep::_S_create(_M_length + __res, __alloc);
393       if (_M_length)
394         {
395           try 
396             { traits_type::copy(__r->_M_refdata(), _M_refdata(), _M_length); }
397           catch(...)  
398             { 
399               __r->_M_destroy(__alloc); 
400               __throw_exception_again;
401             }
402         }
403       __r->_M_length = _M_length;
404       return __r->_M_refdata();
405     }
406   
407   template<typename _CharT, typename _Traits, typename _Alloc>
408   inline bool
409 #ifdef _GLIBCPP_ALLOC_CONTROL
410     basic_string<_CharT, _Traits, _Alloc>::_Rep::
411     _S_default_excess(size_t __s, size_t __r)
412 #else
413     basic_string<_CharT, _Traits, _Alloc>::_Rep::
414     _S_excess_slop(size_t __s, size_t __r)
415 #endif
416     {
417       return 2 * (__s <= 16 ? 16 : __s) < __r;
418     }
419   
420   template<typename _CharT, typename _Traits, typename _Alloc>
421     void
422     basic_string<_CharT, _Traits, _Alloc>::resize(size_type __n, _CharT __c)
423     {
424       if (__n > max_size())
425         __throw_length_error("basic_string::resize");
426       size_type __size = this->size();
427       if (__size < __n)
428         this->append(__n - __size, __c);
429       else if (__n < __size)
430         this->erase(__n);
431       // else nothing (in particular, avoid calling _M_mutate() unnecessarily.)
432     }
433   
434   template<typename _CharT, typename _Traits, typename _Alloc>
435     template<typename _InputIter>
436       basic_string<_CharT, _Traits, _Alloc>&
437       basic_string<_CharT, _Traits, _Alloc>::
438       _M_replace(iterator __i1, iterator __i2, _InputIter __k1, 
439                  _InputIter __k2, input_iterator_tag)
440       {
441         basic_string __s(__k1, __k2);
442         return this->replace(__i1, __i2, __s._M_ibegin(), __s._M_iend());
443       }
444
445   template<typename _CharT, typename _Traits, typename _Alloc>
446     template<typename _ForwardIter>
447       basic_string<_CharT, _Traits, _Alloc>&
448       basic_string<_CharT, _Traits, _Alloc>::
449       _M_replace(iterator __i1, iterator __i2, _ForwardIter __k1, 
450                  _ForwardIter __k2, forward_iterator_tag)
451       {
452         size_type __dnew = static_cast<size_type>(distance(__k1, __k2));
453         size_type __dold = __i2 - __i1;
454         size_type __dmax = this->max_size();
455
456         if (__dmax <= __dnew)
457           __throw_length_error("basic_string::_M_replace");
458         size_type __off = __i1 - _M_ibegin();
459
460         // Save concerned source string data in a temporary.
461         basic_string __temp(__k1, __k2);
462         _M_mutate(__off, __dold, __dnew);
463         
464         // Invalidated __i1, __i2 (and clobbered original source string
465         // data when destination string == source string and the string
466         // is unshared).
467         if (__dnew)
468           _S_copy_chars(_M_data() + __off, __temp.begin(), __temp.end());
469
470         return *this;
471       }
472
473   template<typename _CharT, typename _Traits, typename _Alloc>
474     basic_string<_CharT, _Traits, _Alloc>&
475     basic_string<_CharT, _Traits, _Alloc>::
476     replace(size_type __pos1, size_type __n1, const basic_string& __str,
477             size_type __pos2, size_type __n2)
478     {
479       return this->replace(_M_check(__pos1), _M_fold(__pos1, __n1),
480                            __str._M_check(__pos2), 
481                            __str._M_fold(__pos2, __n2));
482     }
483
484   template<typename _CharT, typename _Traits, typename _Alloc>
485     basic_string<_CharT, _Traits, _Alloc>&
486     basic_string<_CharT, _Traits, _Alloc>::
487     append(const basic_string& __str)
488     {
489       // Iff appending itself, string needs to pre-reserve the
490       // correct size so that _M_mutate does not clobber the
491       // iterators formed here.
492       size_type __size = __str.size();
493       size_type __len = __size + this->size();
494       if (__len > this->capacity())
495         this->reserve(__len);
496       return this->replace(_M_iend(), _M_iend(), __str._M_ibegin(),
497                            __str._M_iend());
498     }
499
500   template<typename _CharT, typename _Traits, typename _Alloc>
501     basic_string<_CharT, _Traits, _Alloc>&
502     basic_string<_CharT, _Traits, _Alloc>::
503     append(const basic_string& __str, size_type __pos, size_type __n)
504     {
505       // Iff appending itself, string needs to pre-reserve the
506       // correct size so that _M_mutate does not clobber the
507       // iterators formed here.
508       size_type __len = min(__str.size() - __pos, __n) + this->size();
509       if (__len > this->capacity())
510         this->reserve(__len);
511       return this->replace(_M_iend(), _M_iend(), __str._M_check(__pos),
512                            __str._M_fold(__pos, __n));
513     }
514
515   template<typename _CharT, typename _Traits, typename _Alloc>
516     basic_string<_CharT, _Traits, _Alloc>&
517     basic_string<_CharT, _Traits, _Alloc>::
518     append(const _CharT* __s, size_type __n)
519     {
520       size_type __len = __n + this->size();
521       if (__len > this->capacity())
522         this->reserve(__len);
523       return this->replace(_M_iend(), _M_iend(), __s, __s + __n);
524     }
525
526   template<typename _CharT, typename _Traits, typename _Alloc>
527     basic_string<_CharT, _Traits, _Alloc>&
528     basic_string<_CharT, _Traits, _Alloc>::
529     append(size_type __n, _CharT __c)
530     {
531       size_type __len = __n + this->size();
532       if (__len > this->capacity())
533         this->reserve(__len);
534        return this->replace(_M_iend(), _M_iend(), __n, __c);
535     }
536
537   template<typename _CharT, typename _Traits, typename _Alloc>
538     basic_string<_CharT, _Traits, _Alloc>
539     operator+(const _CharT* __lhs,
540               const basic_string<_CharT, _Traits, _Alloc>& __rhs)
541     {
542       typedef basic_string<_CharT, _Traits, _Alloc> __string_type;
543       typedef typename __string_type::size_type   __size_type;
544       __size_type __len = _Traits::length(__lhs);
545       __string_type __str;
546       __str.reserve(__len + __rhs.size());
547       __str.append(__lhs, __lhs + __len);
548       __str.append(__rhs);
549       return __str;
550     }
551
552   template<typename _CharT, typename _Traits, typename _Alloc>
553     basic_string<_CharT, _Traits, _Alloc>
554     operator+(_CharT __lhs, const basic_string<_CharT, _Traits, _Alloc>& __rhs)
555     {
556       typedef basic_string<_CharT, _Traits, _Alloc> __string_type;
557       typedef typename __string_type::size_type   __size_type;
558       __string_type __str;
559       __size_type __len = __rhs.size();
560       __str.reserve(__len + 1);
561       __str.append(__size_type(1), __lhs);
562       __str.append(__rhs);
563       return __str;
564     }
565
566   template<typename _CharT, typename _Traits, typename _Alloc>
567     basic_string<_CharT, _Traits, _Alloc>&
568     basic_string<_CharT, _Traits, _Alloc>::
569     replace(iterator __i1, iterator __i2, size_type __n2, _CharT __c)
570     {
571       size_type __n1 = __i2 - __i1;
572       size_type __off1 = __i1 - _M_ibegin();
573       if (max_size() - (this->size() - __n1) <= __n2)
574         __throw_length_error("basic_string::replace");
575       _M_mutate (__off1, __n1, __n2);
576       // Invalidated __i1, __i2
577       if (__n2)
578         traits_type::assign(_M_data() + __off1, __n2, __c);
579       return *this;
580     }
581   
582   template<typename _CharT, typename _Traits, typename _Alloc>
583     typename basic_string<_CharT, _Traits, _Alloc>::size_type
584     basic_string<_CharT, _Traits, _Alloc>::
585     copy(_CharT* __s, size_type __n, size_type __pos) const
586     {
587       if (__pos > this->size())
588         __throw_out_of_range("basic_string::copy");
589       
590       if (__n > this->size() - __pos)
591         __n = this->size() - __pos;
592       
593       traits_type::copy(__s, _M_data() + __pos, __n);
594       // 21.3.5.7 par 3: do not append null.  (good.)
595       return __n;
596     }
597
598   template<typename _CharT, typename _Traits, typename _Alloc>
599     typename basic_string<_CharT, _Traits, _Alloc>::size_type
600     basic_string<_CharT, _Traits, _Alloc>::
601     find(const _CharT* __s, size_type __pos, size_type __n) const
602     {
603       size_type __size = this->size();
604       size_t __xpos = __pos;
605       const _CharT* __data = _M_data();
606       for (; __xpos + __n <= __size; ++__xpos)
607         if (traits_type::compare(__data + __xpos, __s, __n) == 0)
608           return __xpos;
609       return npos;
610     }
611
612   template<typename _CharT, typename _Traits, typename _Alloc>
613     typename basic_string<_CharT, _Traits, _Alloc>::size_type
614     basic_string<_CharT, _Traits, _Alloc>::
615     find(_CharT __c, size_type __pos) const
616     {
617       size_type __size = this->size();
618       size_type __ret = npos;
619       if (__pos < __size)
620         {
621           const _CharT* __data = _M_data();
622           size_type __n = __size - __pos;
623           const _CharT* __p = traits_type::find(__data + __pos, __n, __c);
624           if (__p)
625             __ret = __p - __data;
626         }
627       return __ret;
628     }
629
630
631   template<typename _CharT, typename _Traits, typename _Alloc>
632     typename basic_string<_CharT, _Traits, _Alloc>::size_type
633     basic_string<_CharT, _Traits, _Alloc>::
634     rfind(const _CharT* __s, size_type __pos, size_type __n) const
635     {
636       size_type __size = this->size();
637       if (__n <= __size)
638         {
639           __pos = std::min(__size - __n, __pos);
640           const _CharT* __data = _M_data();
641           do 
642             {
643               if (traits_type::compare(__data + __pos, __s, __n) == 0)
644                 return __pos;
645             } 
646           while (__pos-- > 0);
647         }
648       return npos;
649     }
650   
651   template<typename _CharT, typename _Traits, typename _Alloc>
652     typename basic_string<_CharT, _Traits, _Alloc>::size_type
653     basic_string<_CharT, _Traits, _Alloc>::
654     rfind(_CharT __c, size_type __pos) const
655     {
656       size_type __size = this->size();
657       if (__size)
658         {
659           size_t __xpos = __size - 1;
660           if (__xpos > __pos)
661             __xpos = __pos;
662       
663           for (++__xpos; __xpos-- > 0; )
664             if (traits_type::eq(_M_data()[__xpos], __c))
665               return __xpos;
666         }
667       return npos;
668     }
669   
670   template<typename _CharT, typename _Traits, typename _Alloc>
671     typename basic_string<_CharT, _Traits, _Alloc>::size_type
672     basic_string<_CharT, _Traits, _Alloc>::
673     find_first_of(const _CharT* __s, size_type __pos, size_type __n) const
674     {
675       for (; __n && __pos < this->size(); ++__pos)
676         {
677           const _CharT* __p = traits_type::find(__s, __n, _M_data()[__pos]);
678           if (__p)
679             return __pos;
680         }
681       return npos;
682     }
683  
684   template<typename _CharT, typename _Traits, typename _Alloc>
685     typename basic_string<_CharT, _Traits, _Alloc>::size_type
686     basic_string<_CharT, _Traits, _Alloc>::
687     find_last_of(const _CharT* __s, size_type __pos, size_type __n) const
688     {
689       size_type __size = this->size();
690       if (__size && __n)
691         { 
692           if (--__size > __pos) 
693             __size = __pos;
694           do
695             {
696               if (traits_type::find(__s, __n, _M_data()[__size]))
697                 return __size;
698             } 
699           while (__size-- != 0);
700         }
701       return npos;
702     }
703   
704   template<typename _CharT, typename _Traits, typename _Alloc>
705     typename basic_string<_CharT, _Traits, _Alloc>::size_type
706     basic_string<_CharT, _Traits, _Alloc>::
707     find_first_not_of(const _CharT* __s, size_type __pos, size_type __n) const
708     {
709       size_t __xpos = __pos;
710       for (; __xpos < this->size(); ++__xpos)
711         if (!traits_type::find(__s, __n, _M_data()[__xpos]))
712           return __xpos;
713       return npos;
714     }
715
716   template<typename _CharT, typename _Traits, typename _Alloc>
717     typename basic_string<_CharT, _Traits, _Alloc>::size_type
718     basic_string<_CharT, _Traits, _Alloc>::
719     find_first_not_of(_CharT __c, size_type __pos) const
720     {
721       size_t __xpos = __pos;
722       for (; __xpos < this->size(); ++__xpos)
723         if (!traits_type::eq(_M_data()[__xpos], __c))
724           return __xpos;
725       return npos;
726     }
727
728   template<typename _CharT, typename _Traits, typename _Alloc>
729     typename basic_string<_CharT, _Traits, _Alloc>::size_type
730     basic_string<_CharT, _Traits, _Alloc>::
731     find_last_not_of(const _CharT* __s, size_type __pos, size_type __n) const
732     {
733       size_type __size = this->size();
734       if (__size)
735         { 
736           if (--__size > __pos) 
737             __size = __pos;
738           do
739             {
740               if (!traits_type::find(__s, __n, _M_data()[__size]))
741                 return __size;
742             } 
743           while (__size--);
744         }
745       return npos;
746     }
747
748   template<typename _CharT, typename _Traits, typename _Alloc>
749     typename basic_string<_CharT, _Traits, _Alloc>::size_type
750     basic_string<_CharT, _Traits, _Alloc>::
751     find_last_not_of(_CharT __c, size_type __pos) const
752     {
753       size_type __size = this->size();
754       if (__size)
755         { 
756           if (--__size > __pos) 
757             __size = __pos;
758           do
759             {
760               if (!traits_type::eq(_M_data()[__size], __c))
761                 return __size;
762             } 
763           while (__size--);
764         }
765       return npos;
766     }
767   
768   template<typename _CharT, typename _Traits, typename _Alloc>
769     int
770     basic_string<_CharT, _Traits, _Alloc>::
771     compare(size_type __pos, size_type __n, const basic_string& __str) const
772     {
773       size_type __size = this->size();
774       size_type __osize = __str.size();
775       if (__pos > __size)
776         __throw_out_of_range("basic_string::compare");
777       
778       size_type __rsize= min(__size - __pos, __n);
779       size_type __len = min(__rsize, __osize);
780       int __r = traits_type::compare(_M_data() + __pos, __str.data(), __len);
781       if (!__r)
782         __r = __rsize - __osize;
783       return __r;
784     }
785
786   template<typename _CharT, typename _Traits, typename _Alloc>
787     int
788     basic_string<_CharT, _Traits, _Alloc>::
789     compare(size_type __pos1, size_type __n1, const basic_string& __str,
790             size_type __pos2, size_type __n2) const
791     {
792       size_type __size = this->size();
793       size_type __osize = __str.size();
794       if (__pos1 > __size || __pos2 > __osize)
795         __throw_out_of_range("basic_string::compare");
796       
797       size_type __rsize = min(__size - __pos1, __n1);
798       size_type __rosize = min(__osize - __pos2, __n2);
799       size_type __len = min(__rsize, __rosize);
800       int __r = traits_type::compare(_M_data() + __pos1, 
801                                      __str.data() + __pos2, __len);
802       if (!__r)
803         __r = __rsize - __rosize;
804       return __r;
805     }
806
807
808   template<typename _CharT, typename _Traits, typename _Alloc>
809     int
810     basic_string<_CharT, _Traits, _Alloc>::
811     compare(const _CharT* __s) const
812     {
813       size_type __size = this->size();
814       int __r = traits_type::compare(_M_data(), __s, __size);
815       if (!__r)
816         __r = __size - traits_type::length(__s);
817       return __r;
818     }
819
820
821   template<typename _CharT, typename _Traits, typename _Alloc>
822     int
823     basic_string <_CharT, _Traits, _Alloc>::
824     compare(size_type __pos, size_type __n1, const _CharT* __s) const
825     {
826       size_type __size = this->size();
827       if (__pos > __size)
828         __throw_out_of_range("basic_string::compare");
829       
830       size_type __osize = traits_type::length(__s);
831       size_type __rsize = min(__size - __pos, __n1);
832       size_type __len = min(__rsize, __osize);
833       int __r = traits_type::compare(_M_data() + __pos, __s, __len);
834       if (!__r)
835         __r = __rsize - __osize;
836       return __r;
837     }
838
839   template<typename _CharT, typename _Traits, typename _Alloc>
840     int
841     basic_string <_CharT, _Traits, _Alloc>::
842     compare(size_type __pos, size_type __n1, const _CharT* __s, 
843             size_type __n2) const
844     {
845       size_type __size = this->size();
846       if (__pos > __size)
847         __throw_out_of_range("basic_string::compare");
848       
849       size_type __osize = min(traits_type::length(__s), __n2);
850       size_type __rsize = min(__size - __pos, __n1);
851       size_type __len = min(__rsize, __osize);
852       int __r = traits_type::compare(_M_data() + __pos, __s, __len);
853       if (!__r)
854         __r = __rsize - __osize;
855       return __r;
856     }
857
858   template <class _CharT, class _Traits, class _Alloc>
859     void
860     _S_string_copy(const basic_string<_CharT, _Traits, _Alloc>& __str,
861                    _CharT* __buf, typename _Alloc::size_type __bufsiz)
862     {
863       typedef typename _Alloc::size_type size_type;
864       size_type __strsize = __str.size();
865       size_type __bytes = min(__strsize, __bufsiz - 1);
866       _Traits::copy(__buf, __str.data(), __bytes);
867       __buf[__bytes] = _CharT();
868     }
869 } // namespace std
870
871 #endif