vstring.h

Go to the documentation of this file.

// Versatile string -*- C++ -*-

// Copyright (C) 2005, 2006 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library.  This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.

// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING.  If not, write to the Free
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
// USA.

// As a special exception, you may use this file as part of a free software
// library without restriction.  Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the GNU General Public License.  This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.

#ifndef _VSTRING_H
#define _VSTRING_H 1

#pragma GCC system_header

#include <ext/vstring_util.h>
#include <ext/rc_string_base.h>
#include <ext/sso_string_base.h>

namespace __gnu_cxx
{
  // Template class __versa_string
  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    class __versa_string
    : private _Base<_CharT, _Traits, _Alloc>
    {
      typedef _Base<_CharT, _Traits, _Alloc>                __vstring_base;      
      typedef typename __vstring_base::_CharT_alloc_type    _CharT_alloc_type;

      // Types:
    public:
      typedef _Traits                       traits_type;
      typedef typename _Traits::char_type           value_type;
      typedef _Alloc                        allocator_type;
      typedef typename _CharT_alloc_type::size_type     size_type;
      typedef typename _CharT_alloc_type::difference_type   difference_type;
      typedef typename _CharT_alloc_type::reference     reference;
      typedef typename _CharT_alloc_type::const_reference   const_reference;
      typedef typename _CharT_alloc_type::pointer       pointer;
      typedef typename _CharT_alloc_type::const_pointer     const_pointer;
      typedef __gnu_cxx::__normal_iterator<pointer, __versa_string>  iterator;
      typedef __gnu_cxx::__normal_iterator<const_pointer, __versa_string>
                                                            const_iterator;
      typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
      typedef std::reverse_iterator<iterator>           reverse_iterator;

      // Data Member (public):
      // NB: This is an unsigned type, and thus represents the maximum
      // size that the allocator can hold.
      static const size_type    npos = static_cast<size_type>(-1);

    private:
      size_type
      _M_check(size_type __pos, const char* __s) const
      {
    if (__pos > this->size())
      std::__throw_out_of_range(__N(__s));
    return __pos;
      }

      void
      _M_check_length(size_type __n1, size_type __n2, const char* __s) const
      {
    if (this->max_size() - (this->size() - __n1) < __n2)
      std::__throw_length_error(__N(__s));
      }

      // NB: _M_limit doesn't check for a bad __pos value.
      size_type
      _M_limit(size_type __pos, size_type __off) const
      {
    const bool __testoff =  __off < this->size() - __pos;
    return __testoff ? __off : this->size() - __pos;
      }

      // True if _Rep and source do not overlap.
      bool
      _M_disjunct(const _CharT* __s) const
      {
    return (std::less<const _CharT*>()(__s, this->_M_data())
        || std::less<const _CharT*>()(this->_M_data()
                          + this->size(), __s));
      }

      // For the internal use we have functions similar to `begin'/`end'
      // but they do not call _M_leak.
      iterator
      _M_ibegin() const
      { return iterator(this->_M_data()); }

      iterator
      _M_iend() const
      { return iterator(this->_M_data() + this->_M_length()); }

    public:
      // Construct/copy/destroy:
      // NB: We overload ctors in some cases instead of using default
      // arguments, per 17.4.4.4 para. 2 item 2.

      __versa_string()
      : __vstring_base() { }
      
      explicit
      __versa_string(const _Alloc& __a)
      : __vstring_base(__a) { }

      // NB: per LWG issue 42, semantics different from IS:
      __versa_string(const __versa_string& __str)
      : __vstring_base(__str) { }

      __versa_string(const __versa_string& __str, size_type __pos,
             size_type __n = npos)
      : __vstring_base(__str._M_data()
               + __str._M_check(__pos,
                    "__versa_string::__versa_string"),
               __str._M_data() + __str._M_limit(__pos, __n)
               + __pos, _Alloc()) { }

      __versa_string(const __versa_string& __str, size_type __pos,
             size_type __n, const _Alloc& __a)
      : __vstring_base(__str._M_data()
               + __str._M_check(__pos,
                    "__versa_string::__versa_string"),
               __str._M_data() + __str._M_limit(__pos, __n)
               + __pos, __a) { }

      __versa_string(const _CharT* __s, size_type __n,
             const _Alloc& __a = _Alloc())
      : __vstring_base(__s, __s + __n, __a) { }

      __versa_string(const _CharT* __s, const _Alloc& __a = _Alloc())
      : __vstring_base(__s, __s ? __s + traits_type::length(__s) :
               __s + npos, __a) { }

      __versa_string(size_type __n, _CharT __c, const _Alloc& __a = _Alloc())
      : __vstring_base(__n, __c, __a) { }

      template<class _InputIterator>
        __versa_string(_InputIterator __beg, _InputIterator __end,
               const _Alloc& __a = _Alloc())
    : __vstring_base(__beg, __end, __a) { }

      ~__versa_string() { } 

      __versa_string&
      operator=(const __versa_string& __str) 
      { return this->assign(__str); }

      __versa_string&
      operator=(const _CharT* __s) 
      { return this->assign(__s); }

      __versa_string&
      operator=(_CharT __c) 
      { 
    this->assign(1, __c); 
    return *this;
      }

      // Iterators:
      iterator
      begin()
      {
    this->_M_leak();
    return iterator(this->_M_data());
      }

      const_iterator
      begin() const
      { return const_iterator(this->_M_data()); }

      iterator
      end()
      {
    this->_M_leak();
    return iterator(this->_M_data() + this->size());
      }

      const_iterator
      end() const
      { return const_iterator(this->_M_data() + this->size()); }

      reverse_iterator
      rbegin()
      { return reverse_iterator(this->end()); }

      const_reverse_iterator
      rbegin() const
      { return const_reverse_iterator(this->end()); }

      reverse_iterator
      rend()
      { return reverse_iterator(this->begin()); }

      const_reverse_iterator
      rend() const
      { return const_reverse_iterator(this->begin()); }

    public:
      // Capacity:
      size_type
      size() const
      { return this->_M_length(); }

      size_type
      length() const
      { return this->_M_length(); }

      size_type
      max_size() const
      { return this->_M_max_size(); }

      void
      resize(size_type __n, _CharT __c);

      void
      resize(size_type __n)
      { this->resize(__n, _CharT()); }

      size_type
      capacity() const
      { return this->_M_capacity(); }

      void
      reserve(size_type __res_arg = 0)
      { this->_M_reserve(__res_arg); }

      void
      clear()
      { this->_M_clear(); }

      bool
      empty() const
      { return this->size() == 0; }

      // Element access:
      const_reference
      operator[] (size_type __pos) const
      {
    _GLIBCXX_DEBUG_ASSERT(__pos <= this->size());
    return this->_M_data()[__pos];
      }

      reference
      operator[](size_type __pos)
      {
        // allow pos == size() as v3 extension:
    _GLIBCXX_DEBUG_ASSERT(__pos <= this->size());
        // but be strict in pedantic mode:
    _GLIBCXX_DEBUG_PEDASSERT(__pos < this->size());
    this->_M_leak();
    return this->_M_data()[__pos];
      }

      const_reference
      at(size_type __n) const
      {
    if (__n >= this->size())
      std::__throw_out_of_range(__N("__versa_string::at"));
    return this->_M_data()[__n];
      }

      reference
      at(size_type __n)
      {
    if (__n >= this->size())
      std::__throw_out_of_range(__N("__versa_string::at"));
    this->_M_leak();
    return this->_M_data()[__n];
      }

      // Modifiers:
      __versa_string&
      operator+=(const __versa_string& __str)
      { return this->append(__str); }

      __versa_string&
      operator+=(const _CharT* __s)
      { return this->append(__s); }

      __versa_string&
      operator+=(_CharT __c)
      { 
    this->push_back(__c);
    return *this;
      }

      __versa_string&
      append(const __versa_string& __str)
      { return _M_append(__str._M_data(), __str.size()); }

      __versa_string&
      append(const __versa_string& __str, size_type __pos, size_type __n)
      { return _M_append(__str._M_data()
             + __str._M_check(__pos, "__versa_string::append"),
             __str._M_limit(__pos, __n)); }

      __versa_string&
      append(const _CharT* __s, size_type __n)
      {
    __glibcxx_requires_string_len(__s, __n);
    _M_check_length(size_type(0), __n, "__versa_string::append");
    return _M_append(__s, __n);
      }

      __versa_string&
      append(const _CharT* __s)
      {
    __glibcxx_requires_string(__s);
    const size_type __n = traits_type::length(__s);
    _M_check_length(size_type(0), __n, "__versa_string::append");
    return _M_append(__s, __n);
      }

      __versa_string&
      append(size_type __n, _CharT __c)
      { return _M_replace_aux(this->size(), size_type(0), __n, __c); }

      template<class _InputIterator>
        __versa_string&
        append(_InputIterator __first, _InputIterator __last)
        { return this->replace(_M_iend(), _M_iend(), __first, __last); }

      void
      push_back(_CharT __c)
      { 
    const size_type __size = this->size();
    if (__size + 1 > this->capacity() || this->_M_is_shared())
      this->_M_mutate(__size, size_type(0), 0, size_type(1));
    traits_type::assign(this->_M_data()[__size], __c);
    this->_M_set_length(__size + 1);
      }

      __versa_string&
      assign(const __versa_string& __str)
      {
    this->_M_assign(__str);
    return *this;
      }

      __versa_string&
      assign(const __versa_string& __str, size_type __pos, size_type __n)
      { return _M_replace(size_type(0), this->size(), __str._M_data()
              + __str._M_check(__pos, "__versa_string::assign"),
              __str._M_limit(__pos, __n)); }

      __versa_string&
      assign(const _CharT* __s, size_type __n)
      {
    __glibcxx_requires_string_len(__s, __n);
    return _M_replace(size_type(0), this->size(), __s, __n);
      }

      __versa_string&
      assign(const _CharT* __s)
      {
    __glibcxx_requires_string(__s);
    return _M_replace(size_type(0), this->size(), __s,
              traits_type::length(__s));
      }

      __versa_string&
      assign(size_type __n, _CharT __c)
      { return _M_replace_aux(size_type(0), this->size(), __n, __c); }

      template<class _InputIterator>
        __versa_string&
        assign(_InputIterator __first, _InputIterator __last)
        { return this->replace(_M_ibegin(), _M_iend(), __first, __last); }

      void
      insert(iterator __p, size_type __n, _CharT __c)
      { this->replace(__p, __p, __n, __c);  }

      template<class _InputIterator>
        void
        insert(iterator __p, _InputIterator __beg, _InputIterator __end)
        { this->replace(__p, __p, __beg, __end); }

      __versa_string&
      insert(size_type __pos1, const __versa_string& __str)
      { return this->replace(__pos1, size_type(0),
                 __str._M_data(), __str.size()); }

      __versa_string&
      insert(size_type __pos1, const __versa_string& __str,
         size_type __pos2, size_type __n)
      { return this->replace(__pos1, size_type(0), __str._M_data()
                 + __str._M_check(__pos2, "__versa_string::insert"),
                 __str._M_limit(__pos2, __n)); }

      __versa_string&
      insert(size_type __pos, const _CharT* __s, size_type __n)
      { return this->replace(__pos, size_type(0), __s, __n); }

      __versa_string&
      insert(size_type __pos, const _CharT* __s)
      {
    __glibcxx_requires_string(__s);
    return this->replace(__pos, size_type(0), __s,
                 traits_type::length(__s));
      }

      __versa_string&
      insert(size_type __pos, size_type __n, _CharT __c)
      { return _M_replace_aux(_M_check(__pos, "__versa_string::insert"),
                  size_type(0), __n, __c); }

      iterator
      insert(iterator __p, _CharT __c)
      {
    _GLIBCXX_DEBUG_PEDASSERT(__p >= _M_ibegin() && __p <= _M_iend());
    const size_type __pos = __p - _M_ibegin();
    _M_replace_aux(__pos, size_type(0), size_type(1), __c);
    this->_M_set_leaked();
    return iterator(this->_M_data() + __pos);
      }

      __versa_string&
      erase(size_type __pos = 0, size_type __n = npos)
      { 
    this->_M_erase(_M_check(__pos, "__versa_string::erase"),
               _M_limit(__pos, __n));
    return *this;
      }

      iterator
      erase(iterator __position)
      {
    _GLIBCXX_DEBUG_PEDASSERT(__position >= _M_ibegin()
                 && __position < _M_iend());
    const size_type __pos = __position - _M_ibegin();
    this->_M_erase(__pos, size_type(1));
    this->_M_set_leaked();
    return iterator(this->_M_data() + __pos);
      }

      iterator
      erase(iterator __first, iterator __last)
      {
    _GLIBCXX_DEBUG_PEDASSERT(__first >= _M_ibegin() && __first <= __last
                 && __last <= _M_iend());
        const size_type __pos = __first - _M_ibegin();
    this->_M_erase(__pos, __last - __first);
    this->_M_set_leaked();
    return iterator(this->_M_data() + __pos);
      }

      __versa_string&
      replace(size_type __pos, size_type __n, const __versa_string& __str)
      { return this->replace(__pos, __n, __str._M_data(), __str.size()); }

      __versa_string&
      replace(size_type __pos1, size_type __n1, const __versa_string& __str,
          size_type __pos2, size_type __n2)
      {
    return this->replace(__pos1, __n1, __str._M_data()
                 + __str._M_check(__pos2,
                          "__versa_string::replace"),
                 __str._M_limit(__pos2, __n2));
      }

      __versa_string&
      replace(size_type __pos, size_type __n1, const _CharT* __s,
          size_type __n2)
      {
    __glibcxx_requires_string_len(__s, __n2);
    return _M_replace(_M_check(__pos, "__versa_string::replace"),
              _M_limit(__pos, __n1), __s, __n2);
      }

      __versa_string&
      replace(size_type __pos, size_type __n1, const _CharT* __s)
      {
    __glibcxx_requires_string(__s);
    return this->replace(__pos, __n1, __s, traits_type::length(__s));
      }

      __versa_string&
      replace(size_type __pos, size_type __n1, size_type __n2, _CharT __c)
      { return _M_replace_aux(_M_check(__pos, "__versa_string::replace"),
                  _M_limit(__pos, __n1), __n2, __c); }

      __versa_string&
      replace(iterator __i1, iterator __i2, const __versa_string& __str)
      { return this->replace(__i1, __i2, __str._M_data(), __str.size()); }

      __versa_string&
      replace(iterator __i1, iterator __i2, const _CharT* __s, size_type __n)
      {
    _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
                 && __i2 <= _M_iend());
    return this->replace(__i1 - _M_ibegin(), __i2 - __i1, __s, __n);
      }

      __versa_string&
      replace(iterator __i1, iterator __i2, const _CharT* __s)
      {
    __glibcxx_requires_string(__s);
    return this->replace(__i1, __i2, __s, traits_type::length(__s));
      }

      __versa_string&
      replace(iterator __i1, iterator __i2, size_type __n, _CharT __c)
      {
    _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
                 && __i2 <= _M_iend());
    return _M_replace_aux(__i1 - _M_ibegin(), __i2 - __i1, __n, __c);
      }

      template<class _InputIterator>
        __versa_string&
        replace(iterator __i1, iterator __i2,
        _InputIterator __k1, _InputIterator __k2)
        {
      _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
                   && __i2 <= _M_iend());
      __glibcxx_requires_valid_range(__k1, __k2);
      typedef typename std::__is_integer<_InputIterator>::__type _Integral;
      return _M_replace_dispatch(__i1, __i2, __k1, __k2, _Integral());
    }

      // Specializations for the common case of pointer and iterator:
      // useful to avoid the overhead of temporary buffering in _M_replace.
      __versa_string&
      replace(iterator __i1, iterator __i2, _CharT* __k1, _CharT* __k2)
      {
    _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
                 && __i2 <= _M_iend());
    __glibcxx_requires_valid_range(__k1, __k2);
    return this->replace(__i1 - _M_ibegin(), __i2 - __i1,
                 __k1, __k2 - __k1);
      }

      __versa_string&
      replace(iterator __i1, iterator __i2,
          const _CharT* __k1, const _CharT* __k2)
      {
    _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
                 && __i2 <= _M_iend());
    __glibcxx_requires_valid_range(__k1, __k2);
    return this->replace(__i1 - _M_ibegin(), __i2 - __i1,
                 __k1, __k2 - __k1);
      }

      __versa_string&
      replace(iterator __i1, iterator __i2, iterator __k1, iterator __k2)
      {
    _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
                 && __i2 <= _M_iend());
    __glibcxx_requires_valid_range(__k1, __k2);
    return this->replace(__i1 - _M_ibegin(), __i2 - __i1,
                 __k1.base(), __k2 - __k1);
      }

      __versa_string&
      replace(iterator __i1, iterator __i2,
          const_iterator __k1, const_iterator __k2)
      {
    _GLIBCXX_DEBUG_PEDASSERT(_M_ibegin() <= __i1 && __i1 <= __i2
                 && __i2 <= _M_iend());
    __glibcxx_requires_valid_range(__k1, __k2);
    return this->replace(__i1 - _M_ibegin(), __i2 - __i1,
                 __k1.base(), __k2 - __k1);
      }
      
    private:
      template<class _Integer>
    __versa_string&
    _M_replace_dispatch(iterator __i1, iterator __i2, _Integer __n,
                _Integer __val, __true_type)
        { return _M_replace_aux(__i1 - _M_ibegin(), __i2 - __i1, __n, __val); }

      template<class _InputIterator>
    __versa_string&
    _M_replace_dispatch(iterator __i1, iterator __i2, _InputIterator __k1,
                _InputIterator __k2, __false_type);

      __versa_string&
      _M_replace_aux(size_type __pos1, size_type __n1, size_type __n2,
             _CharT __c);

      __versa_string&
      _M_replace(size_type __pos, size_type __len1, const _CharT* __s,
         const size_type __len2);

      __versa_string&
      _M_append(const _CharT* __s, size_type __n);

    public:

      size_type
      copy(_CharT* __s, size_type __n, size_type __pos = 0) const;

      void
      swap(__versa_string& __s)
      { this->_M_swap(__s); }

      // String operations:
      const _CharT*
      c_str() const
      { return this->_M_data(); }

      const _CharT*
      data() const
      { return this->_M_data(); }

      allocator_type
      get_allocator() const
      { return this->_M_get_allocator(); }

      size_type
      find(const _CharT* __s, size_type __pos, size_type __n) const;

      size_type
      find(const __versa_string& __str, size_type __pos = 0) const
      { return this->find(__str.data(), __pos, __str.size()); }

      size_type
      find(const _CharT* __s, size_type __pos = 0) const
      {
    __glibcxx_requires_string(__s);
    return this->find(__s, __pos, traits_type::length(__s));
      }

      size_type
      find(_CharT __c, size_type __pos = 0) const;

      size_type
      rfind(const __versa_string& __str, size_type __pos = npos) const
      { return this->rfind(__str.data(), __pos, __str.size()); }

      size_type
      rfind(const _CharT* __s, size_type __pos, size_type __n) const;

      size_type
      rfind(const _CharT* __s, size_type __pos = npos) const
      {
    __glibcxx_requires_string(__s);
    return this->rfind(__s, __pos, traits_type::length(__s));
      }

      size_type
      rfind(_CharT __c, size_type __pos = npos) const;

      size_type
      find_first_of(const __versa_string& __str, size_type __pos = 0) const
      { return this->find_first_of(__str.data(), __pos, __str.size()); }

      size_type
      find_first_of(const _CharT* __s, size_type __pos, size_type __n) const;

      size_type
      find_first_of(const _CharT* __s, size_type __pos = 0) const
      {
    __glibcxx_requires_string(__s);
    return this->find_first_of(__s, __pos, traits_type::length(__s));
      }

      size_type
      find_first_of(_CharT __c, size_type __pos = 0) const
      { return this->find(__c, __pos); }

      size_type
      find_last_of(const __versa_string& __str, size_type __pos = npos) const
      { return this->find_last_of(__str.data(), __pos, __str.size()); }

      size_type
      find_last_of(const _CharT* __s, size_type __pos, size_type __n) const;

      size_type
      find_last_of(const _CharT* __s, size_type __pos = npos) const
      {
    __glibcxx_requires_string(__s);
    return this->find_last_of(__s, __pos, traits_type::length(__s));
      }

      size_type
      find_last_of(_CharT __c, size_type __pos = npos) const
      { return this->rfind(__c, __pos); }

      size_type
      find_first_not_of(const __versa_string& __str, size_type __pos = 0) const
      { return this->find_first_not_of(__str.data(), __pos, __str.size()); }

      size_type
      find_first_not_of(const _CharT* __s, size_type __pos,
            size_type __n) const;

      size_type
      find_first_not_of(const _CharT* __s, size_type __pos = 0) const
      {
    __glibcxx_requires_string(__s);
    return this->find_first_not_of(__s, __pos, traits_type::length(__s));
      }

      size_type
      find_first_not_of(_CharT __c, size_type __pos = 0) const;

      size_type
      find_last_not_of(const __versa_string& __str,
               size_type __pos = npos) const
      { return this->find_last_not_of(__str.data(), __pos, __str.size()); }

      size_type
      find_last_not_of(const _CharT* __s, size_type __pos,
               size_type __n) const;
      size_type
      find_last_not_of(const _CharT* __s, size_type __pos = npos) const
      {
    __glibcxx_requires_string(__s);
    return this->find_last_not_of(__s, __pos, traits_type::length(__s));
      }

      size_type
      find_last_not_of(_CharT __c, size_type __pos = npos) const;

      __versa_string
      substr(size_type __pos = 0, size_type __n = npos) const
      {
    return __versa_string(*this, _M_check(__pos, "__versa_string::substr"),
                  __n);
      }

      int
      compare(const __versa_string& __str) const
      {
    if (this->_M_compare(__str))
      return 0;

    const size_type __size = this->size();
    const size_type __osize = __str.size();
    const size_type __len = std::min(__size, __osize);

    int __r = traits_type::compare(this->_M_data(), __str.data(), __len);
    if (!__r)
      __r =  __size - __osize;
    return __r;
      }

      int
      compare(size_type __pos, size_type __n,
          const __versa_string& __str) const;

      int
      compare(size_type __pos1, size_type __n1, const __versa_string& __str,
          size_type __pos2, size_type __n2) const;

      int
      compare(const _CharT* __s) const;

      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 5 String::compare specification questionable
      int
      compare(size_type __pos, size_type __n1, const _CharT* __s) const;

      int
      compare(size_type __pos, size_type __n1, const _CharT* __s,
          size_type __n2) const;
    };

  // operator+
  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    __versa_string<_CharT, _Traits, _Alloc, _Base>
    operator+(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
          const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs);

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    __versa_string<_CharT, _Traits, _Alloc, _Base>
    operator+(const _CharT* __lhs,
          const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs);

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    __versa_string<_CharT, _Traits, _Alloc, _Base>
    operator+(_CharT __lhs,
          const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs);

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    __versa_string<_CharT, _Traits, _Alloc, _Base>
    operator+(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
          const _CharT* __rhs);

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    __versa_string<_CharT, _Traits, _Alloc, _Base>
    operator+(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
          _CharT __rhs);

  // operator ==
  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator==(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
           const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __lhs.compare(__rhs) == 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator==(const _CharT* __lhs,
           const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __rhs.compare(__lhs) == 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator==(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
           const _CharT* __rhs)
    { return __lhs.compare(__rhs) == 0; }

  // operator !=
  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator!=(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
           const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __rhs.compare(__lhs) != 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator!=(const _CharT* __lhs,
           const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __rhs.compare(__lhs) != 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator!=(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
           const _CharT* __rhs)
    { return __lhs.compare(__rhs) != 0; }

  // operator <
  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator<(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
          const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __lhs.compare(__rhs) < 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator<(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
          const _CharT* __rhs)
    { return __lhs.compare(__rhs) < 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator<(const _CharT* __lhs,
          const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __rhs.compare(__lhs) > 0; }

  // operator >
  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator>(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
          const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __lhs.compare(__rhs) > 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator>(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
          const _CharT* __rhs)
    { return __lhs.compare(__rhs) > 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator>(const _CharT* __lhs,
          const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __rhs.compare(__lhs) < 0; }

  // operator <=
  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator<=(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
           const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __lhs.compare(__rhs) <= 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator<=(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
           const _CharT* __rhs)
    { return __lhs.compare(__rhs) <= 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator<=(const _CharT* __lhs,
           const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __rhs.compare(__lhs) >= 0; }

  // operator >=
  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator>=(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
           const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __lhs.compare(__rhs) >= 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator>=(const __versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
           const _CharT* __rhs)
    { return __lhs.compare(__rhs) >= 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline bool
    operator>=(const _CharT* __lhs,
           const __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { return __rhs.compare(__lhs) <= 0; }

  template<typename _CharT, typename _Traits, typename _Alloc,
       template <typename, typename, typename> class _Base>
    inline void
    swap(__versa_string<_CharT, _Traits, _Alloc, _Base>& __lhs,
     __versa_string<_CharT, _Traits, _Alloc, _Base>& __rhs)
    { __lhs.swap(__rhs); }

} // namespace __gnu_cxx

namespace std
{
  template<typename _CharT, typename _Traits, typename _Alloc,
           template <typename, typename, typename> class _Base>
    basic_istream<_CharT, _Traits>&
    operator>>(basic_istream<_CharT, _Traits>& __is,
           __gnu_cxx::__versa_string<_CharT, _Traits,
                                     _Alloc, _Base>& __str);

  template<typename _CharT, typename _Traits, typename _Alloc,
           template <typename, typename, typename> class _Base>
    basic_ostream<_CharT, _Traits>&
    operator<<(basic_ostream<_CharT, _Traits>& __os,
           const __gnu_cxx::__versa_string<_CharT, _Traits,
                                           _Alloc, _Base>& __str);

  template<typename _CharT, typename _Traits, typename _Alloc,
           template <typename, typename, typename> class _Base>
    basic_istream<_CharT, _Traits>&
    getline(basic_istream<_CharT, _Traits>& __is,
        __gnu_cxx::__versa_string<_CharT, _Traits, _Alloc, _Base>& __str,
        _CharT __delim);

  template<typename _CharT, typename _Traits, typename _Alloc,
           template <typename, typename, typename> class _Base>
    inline basic_istream<_CharT, _Traits>&
    getline(basic_istream<_CharT, _Traits>& __is,
        __gnu_cxx::__versa_string<_CharT, _Traits, _Alloc, _Base>& __str)
    { return getline(__is, __str, __is.widen('\n')); }      

} // namespace std

#ifndef _GLIBCXX_EXPORT_TEMPLATE
# include "vstring.tcc" 
#endif

#endif /* _VSTRING_H */

---