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