177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner/*
277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * Copyright (c) 2003
377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * Francois Dumont
477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner *
577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * This material is provided "as is", with absolutely no warranty expressed
677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * or implied. Any use is at your own risk.
777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner *
877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * Permission to use or copy this software for any purpose is hereby granted
977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * without fee, provided the above notices are retained on all copies.
1077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * Permission to modify the code and to distribute modified code is granted,
1177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * provided the above notices are retained, and a notice that the code was
1277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * modified is included with the above copyright notice.
1377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner *
1477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner */
1577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner
1677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner/*
1777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * All the necessary methods used for template expressions with basic_string
1877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * This file do not have to be macro guarded as it is only used in the _string.h
1977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner * file and it is a part of the basic_string definition.
2077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner */
2177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner
2277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turnerpublic:
2377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  template <class _Left, class _Right, class _StorageDir>
2477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  basic_string(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s)
2577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    : _STLP_STRING_SUM_BASE(_Reserve_t(), __s.size(), __s.get_allocator())
2677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { _M_append_sum(__s); }
2777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner
2877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  template <class _Left, class _Right, class _StorageDir>
2977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  basic_string(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s,
3077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner               size_type __pos, size_type __n = npos,
3177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner               const allocator_type& __a = allocator_type())
3277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    : _STLP_STRING_SUM_BASE(_Reserve_t(), (__pos <= __s.size()) ? ((min) (__n, __s.size() - __pos)) : 0, __a) {
3377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    size_type __size = __s.size();
3477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    if (__pos > __size)
3577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      this->_M_throw_out_of_range();
3677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    else
3777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      _M_append_sum_pos(__s, __pos, (min) (__n, __size - __pos));
3877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  }
3977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner
4077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turnerprivate:
4177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast(_STLP_PRIV __char_wrapper<_CharT> __c, _CharT *__buf) {
4277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    _STLP_STD::_Copy_Construct(__buf, __c.getValue());
4377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    return __buf + 1;
4477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  }
4577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast(_CharT const* __s, size_type __s_size, _CharT *__buf)
4677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return uninitialized_copy(__s, __s + __s_size, __buf); }
4777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast(_STLP_PRIV __cstr_wrapper<_CharT> const& __s, _CharT *__buf)
4877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return _M_append_fast(__s.c_str(), __s.size(), __buf); }
4977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast(_STLP_PRIV __bstr_wrapper<_CharT, _Traits, _Alloc> __s, _CharT *__buf)
5077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return _M_append_fast(__s.b_str(), __buf); }
5177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast(_Self const& __s, _CharT *__buf)
5277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return _M_append_fast(__s.data(), __s.size(), __buf); }
5377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast(_STLP_PRIV __sum_storage_elem<_CharT, _Traits, _Alloc> const&, _CharT *__buf)
5477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return __buf; }
5577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  template <class _Left, class _Right, class _StorageDir>
5677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s, _CharT *__buf)
5777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return _M_append_fast(__s.getRhs(), _M_append_fast(__s.getLhs(), __buf)); }
5877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner
5977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast_pos(_STLP_PRIV __char_wrapper<_CharT> __c, _CharT *__buf, size_type /*__pos*/, size_type __n) {
6077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    if (__n == 0)
6177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      return __buf;
6277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    _STLP_STD::_Copy_Construct(__buf, __c.getValue());
6377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    return __buf + 1;
6477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  }
6577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast_pos(_CharT const* __s, size_type __s_size, _CharT *__buf,
6677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner                             size_type __pos, size_type __n)
6777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return uninitialized_copy(__s + __pos, __s + __pos + (min)(__n, __s_size - __pos), __buf); }
6877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast_pos(_STLP_PRIV __cstr_wrapper<_CharT> const& __s, _CharT *__buf,
6977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner                             size_type __pos, size_type __n)
7077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return _M_append_fast_pos(__s.c_str(), __s.size(), __buf, __pos, __n); }
7177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast_pos(_STLP_PRIV __bstr_wrapper<_CharT, _Traits, _Alloc> __s, _CharT *__buf,
7277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner                             size_type __pos, size_type __n)
7377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return _M_append_fast_pos(__s.b_str(), __buf, __pos, __n); }
7477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast_pos(_Self const& __s, _CharT *__buf,
7577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner                             size_type __pos, size_type __n)
7677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return _M_append_fast_pos(__s.data(), __s.size(), __buf, __pos, __n); }
7777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast_pos(_STLP_PRIV __sum_storage_elem<_CharT, _Traits, _Alloc> const&, _CharT *__buf,
7877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner                             size_type, size_type)
7977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  { return __buf; }
8077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner
8177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  template <class _Left, class _Right, class _StorageDir>
8277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _CharT* _M_append_fast_pos(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s,
8377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner                             _CharT *__buf, size_type __pos, size_type __n) {
8477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    if (__n == 0) {
8577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      return __buf;
8677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    }
8777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    size_type __lhs_size = __s.getLhs().size();
8877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    if (__pos < __lhs_size) {
8977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      if (__n < (__lhs_size - __pos)) {
9077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner        return _M_append_fast_pos(__s.getLhs(), __buf, __pos, __n);
9177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      } else {
9277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner        return _M_append_fast_pos(__s.getRhs(), _M_append_fast_pos(__s.getLhs(), __buf, __pos, __n),
9377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner                                  0, __n - (__lhs_size - __pos));
9477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      }
9577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    } else {
9677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      return _M_append_fast_pos(__s.getRhs(), __buf, __pos - __lhs_size, __n);
9777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    }
9877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  }
9977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner
10077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  template <class _Left, class _Right, class _StorageDir>
10177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _Self& _M_append_sum (_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s) {
10277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    size_type __s_size = __s.size();
10377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    if (__s_size == 0)
10477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      return *this;
10577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    const size_type __old_size = this->size();
10677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    if (__s_size > this->max_size() || __old_size > (this->max_size() - __s_size))
10777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      this->_M_throw_length_error();
10877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    if (__old_size + __s_size > this->capacity()) {
10977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      const size_type __len = __old_size + (max)(__old_size, __s_size) + 1;
11077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      pointer __new_start = this->_M_start_of_storage.allocate(__len);
11177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      pointer __new_finish = uninitialized_copy(this->_M_Start(), this->_M_Finish(), __new_start);
11277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      __new_finish = this->_M_append_fast(__s, __new_finish);
11377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      this->_M_construct_null(__new_finish);
11477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      this->_M_deallocate_block();
11577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      this->_M_reset(__new_start, __new_finish, __new_start + __len);
11677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    }
11777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    else {
11877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      _M_append_sum_no_overflow(__s, 0, __s_size);
11977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    }
12077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    return *this;
12177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  }
12277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner
12377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  template <class _Left, class _Right, class _StorageDir>
12477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  _Self& _M_append_sum_pos(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s,
12577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner                           size_type __pos, size_type __n) {
12677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    size_type __s_size = (min)(__s.size() - __pos, __n);
12777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    if (__s_size == 0)
12877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      return *this;
12977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    const size_type __old_size = this->size();
13077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    if (__s_size > this->max_size() || __old_size > (this->max_size() - __s_size))
13177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      this->_M_throw_length_error();
13277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    if (__old_size + __s_size > this->capacity()) {
13377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      const size_type __len = __old_size + (max)(__old_size, __s_size) + 1;
13477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      pointer __new_start = this->_M_start_of_storage.allocate(__len);
13577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      pointer __new_finish = uninitialized_copy(this->_M_Start(), this->_M_Finish(), __new_start);
13677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      __new_finish = _M_append_fast_pos(__s, __new_finish, __pos, __s_size);
13777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      this->_M_construct_null(__new_finish);
13877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      this->_M_deallocate_block();
13977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      this->_M_reset(__new_start, __new_finish, __new_start + __len);
14077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    }
14177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    else {
14277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner      _M_append_sum_no_overflow(__s, __pos, __s_size);
14377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    }
14477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    return *this;
14577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  }
14677dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner
14777dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  template <class _Left, class _Right, class _StorageDir>
14877dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  void _M_append_sum_no_overflow(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s,
14977dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner                                 size_type __pos, size_type __n) {
15077dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    pointer __finish = this->_M_Finish();
15177dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    _M_append_fast_pos(__s, __finish + 1, __pos + 1, __n - 1);
15277dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    this->_M_construct_null(__finish + __n);
15377dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    _Traits::assign(*this->_M_finish, __s[__pos]);
15477dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner    this->_M_finish += __n;
15577dc872c5c4ae67e051d1bf7edf96ce36c7b9be2David 'Digit' Turner  }
156