1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
|
/*
* Copyright (c) 2003
* Francois Dumont
*
* This material is provided "as is", with absolutely no warranty expressed
* or implied. Any use is at your own risk.
*
* Permission to use or copy this software for any purpose is hereby granted
* without fee, provided the above notices are retained on all copies.
* Permission to modify the code and to distribute modified code is granted,
* provided the above notices are retained, and a notice that the code was
* modified is included with the above copyright notice.
*
*/
/*
* All the necessary methods used for template expressions with basic_string
* This file do not have to be macro guarded as it is only used in the _string.h
* file and it is a part of the basic_string definition.
*/
public:
template <class _Left, class _Right, class _StorageDir>
basic_string(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s)
: _STLP_STRING_SUM_BASE(_Reserve_t(), __s.size(), __s.get_allocator())
{ _M_append_sum(__s); }
template <class _Left, class _Right, class _StorageDir>
basic_string(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s,
size_type __pos, size_type __n = npos,
const allocator_type& __a = allocator_type())
: _STLP_STRING_SUM_BASE(_Reserve_t(), (__pos <= __s.size()) ? ((min) (__n, __s.size() - __pos)) : 0, __a) {
size_type __size = __s.size();
if (__pos > __size)
this->_M_throw_out_of_range();
else
_M_append_sum_pos(__s, __pos, (min) (__n, __size - __pos));
}
private:
_CharT* _M_append_fast(_STLP_PRIV __char_wrapper<_CharT> __c, _CharT *__buf) {
_STLP_STD::_Copy_Construct(__buf, __c.getValue());
return __buf + 1;
}
_CharT* _M_append_fast(_CharT const* __s, size_type __s_size, _CharT *__buf)
{ return uninitialized_copy(__s, __s + __s_size, __buf); }
_CharT* _M_append_fast(_STLP_PRIV __cstr_wrapper<_CharT> const& __s, _CharT *__buf)
{ return _M_append_fast(__s.c_str(), __s.size(), __buf); }
_CharT* _M_append_fast(_STLP_PRIV __bstr_wrapper<_CharT, _Traits, _Alloc> __s, _CharT *__buf)
{ return _M_append_fast(__s.b_str(), __buf); }
_CharT* _M_append_fast(_Self const& __s, _CharT *__buf)
{ return _M_append_fast(__s.data(), __s.size(), __buf); }
_CharT* _M_append_fast(_STLP_PRIV __sum_storage_elem<_CharT, _Traits, _Alloc> const&, _CharT *__buf)
{ return __buf; }
template <class _Left, class _Right, class _StorageDir>
_CharT* _M_append_fast(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s, _CharT *__buf)
{ return _M_append_fast(__s.getRhs(), _M_append_fast(__s.getLhs(), __buf)); }
_CharT* _M_append_fast_pos(_STLP_PRIV __char_wrapper<_CharT> __c, _CharT *__buf, size_type /*__pos*/, size_type __n) {
if (__n == 0)
return __buf;
_STLP_STD::_Copy_Construct(__buf, __c.getValue());
return __buf + 1;
}
_CharT* _M_append_fast_pos(_CharT const* __s, size_type __s_size, _CharT *__buf,
size_type __pos, size_type __n)
{ return uninitialized_copy(__s + __pos, __s + __pos + (min)(__n, __s_size - __pos), __buf); }
_CharT* _M_append_fast_pos(_STLP_PRIV __cstr_wrapper<_CharT> const& __s, _CharT *__buf,
size_type __pos, size_type __n)
{ return _M_append_fast_pos(__s.c_str(), __s.size(), __buf, __pos, __n); }
_CharT* _M_append_fast_pos(_STLP_PRIV __bstr_wrapper<_CharT, _Traits, _Alloc> __s, _CharT *__buf,
size_type __pos, size_type __n)
{ return _M_append_fast_pos(__s.b_str(), __buf, __pos, __n); }
_CharT* _M_append_fast_pos(_Self const& __s, _CharT *__buf,
size_type __pos, size_type __n)
{ return _M_append_fast_pos(__s.data(), __s.size(), __buf, __pos, __n); }
_CharT* _M_append_fast_pos(_STLP_PRIV __sum_storage_elem<_CharT, _Traits, _Alloc> const&, _CharT *__buf,
size_type, size_type)
{ return __buf; }
template <class _Left, class _Right, class _StorageDir>
_CharT* _M_append_fast_pos(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s,
_CharT *__buf, size_type __pos, size_type __n) {
if (__n == 0) {
return __buf;
}
size_type __lhs_size = __s.getLhs().size();
if (__pos < __lhs_size) {
if (__n < (__lhs_size - __pos)) {
return _M_append_fast_pos(__s.getLhs(), __buf, __pos, __n);
} else {
return _M_append_fast_pos(__s.getRhs(), _M_append_fast_pos(__s.getLhs(), __buf, __pos, __n),
0, __n - (__lhs_size - __pos));
}
} else {
return _M_append_fast_pos(__s.getRhs(), __buf, __pos - __lhs_size, __n);
}
}
/* Note: We always force use of dynamic buffer if the short string optim option is activated
* to avoid complicated code if the basic_string was instanciated with a non POD type.
* In such a case we should use assignment for objects in the static array something that we
* do not do.
*/
size_type _M_get_additional_size(size_type __new_size, const __false_type& /*_Char_Is_POD*/) const {
#if defined (_STLP_USE_SHORT_STRING_OPTIM)
//To avoid problem with the string assumptions, never allocate a dynamic buffer smaller or equal
//than the static one:
if (__new_size < _Base::_DEFAULT_SIZE + 1)
return (_Base::_DEFAULT_SIZE + 1) - __new_size;
#endif /* _STLP_USE_SHORT_STRING_OPTIM */
return 0;
}
size_type _M_get_additional_size(size_type, const __true_type& /*_Char_Is_POD*/) const
{ return 0; }
template <class _Left, class _Right, class _StorageDir>
_Self& _M_append_sum (_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s) {
size_type __s_size = __s.size();
if (__s_size == 0)
return *this;
const size_type __old_size = this->size();
if (__s_size > this->max_size() || __old_size > (this->max_size() - __s_size))
this->_M_throw_length_error();
size_type __offset_size = _M_get_additional_size(__old_size + __s_size, _Char_Is_POD());
if (__old_size + __s_size + __offset_size > this->capacity()) {
const size_type __len = __old_size + __offset_size + (max)(__old_size, __s_size) + 1;
pointer __new_start = this->_M_end_of_storage.allocate(__len);
pointer __new_finish = __new_start;
_STLP_TRY {
__new_finish = uninitialized_copy(this->_M_Start(), this->_M_Finish(), __new_start);
__new_finish = this->_M_append_fast(__s, __new_finish);
this->_M_construct_null(__new_finish);
}
_STLP_UNWIND((_STLP_STD::_Destroy_Range(__new_start,__new_finish),
this->_M_end_of_storage.deallocate(__new_start,__len)))
this->_M_destroy_range();
this->_M_deallocate_block();
this->_M_reset(__new_start, __new_finish, __new_start + __len);
}
else {
_M_append_sum_no_overflow(__s, 0, __s_size);
}
return *this;
}
template <class _Left, class _Right, class _StorageDir>
_Self& _M_append_sum_pos(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s,
size_type __pos, size_type __n) {
size_type __s_size = (min)(__s.size() - __pos, __n);
if (__s_size == 0)
return *this;
const size_type __old_size = this->size();
if (__s_size > this->max_size() || __old_size > (this->max_size() - __s_size))
this->_M_throw_length_error();
size_type __offset_size = _M_get_additional_size(__old_size + __s_size, _Char_Is_POD());
if (__old_size + __s_size + __offset_size > this->capacity()) {
const size_type __len = __old_size + __offset_size + (max)(__old_size, __s_size) + 1;
pointer __new_start = this->_M_end_of_storage.allocate(__len);
pointer __new_finish = __new_start;
_STLP_TRY {
__new_finish = uninitialized_copy(this->_M_Start(), this->_M_Finish(), __new_start);
__new_finish = _M_append_fast_pos(__s, __new_finish, __pos, __s_size);
this->_M_construct_null(__new_finish);
}
_STLP_UNWIND((_STLP_STD::_Destroy_Range(__new_start,__new_finish),
this->_M_end_of_storage.deallocate(__new_start,__len)))
this->_M_destroy_range();
this->_M_deallocate_block();
this->_M_reset(__new_start, __new_finish, __new_start + __len);
}
else {
_M_append_sum_no_overflow(__s, __pos, __s_size);
}
return *this;
}
template <class _Left, class _Right, class _StorageDir>
void _M_append_sum_no_overflow(_STLP_PRIV __bstr_sum<_CharT, _Traits, _Alloc, _Left, _Right, _StorageDir> const& __s,
size_type __pos, size_type __n) {
pointer __finish = this->_M_Finish();
_M_append_fast_pos(__s, __finish + 1, __pos + 1, __n - 1);
_STLP_TRY {
this->_M_construct_null(__finish + __n);
}
_STLP_UNWIND(this->_M_destroy_ptr_range(__finish + 1, __finish + __n))
/* The call to the traits::assign method is only important for non POD types because the instance
* pointed to by _M_finish has been constructed (default constructor) and should not be constructed
* (copy constructor) once again. For POD it is irrelevant, uninitialized_copy could be fine,
* but we are not going to make two implementations just for that.
*/
_Traits::assign(*this->_M_finish, __s[__pos]);
this->_M_finish += __n;
}
|
