string无论是日常使用还是刷题都是经常使用的容器,那么他的底层实现到底是怎样的呢?
本篇文章将实现常用的底层接口
关于更多接口可以去cplusplus.com
这个网站查看。
因为我们是模拟实现,所以函数形式是跟着库
里走的
目录
目标接口:
- 构造函数(附拷贝构造)
- 析构函数
- 赋值运算符重载
c_str
接口- 返回
size
与capacity
的接口 - 迭代器接口
[]
运算符重载reserve
与resize
接口- 各种尾插接口
insert
接口erase
接口substr
接口find
接口swap
接口- 关系运算符接口
- 流(
<<
&&>>
)接口
实现时顺序会有一小点偏差,因为深浅拷贝
的问题(也就是拷贝构造与赋值运算符重载)
实现目标接口:
私有成员变量:
若是我们实现过顺序表即可发现与顺序表的变量是很相似的。
private:
char* _str;
size_t _size;
size_t _capacity;
拷贝构造:
我们只实现两个常用的构造函数,因为string设计的接口实在太多了~
无参构造函数:
string()
:_size(0)
{
_str = new char[1];
_capacity = _size;
_str[0] = 0;
}
注意:_str
不能给nullptr
,这样只要是需要访问字符传的情况下都会崩溃(例如当我们使用c_str
接口打印字符串时)
带参构造:
string(const char* str)
{
_str = new char[strlen(str) + 1];
strcpy(_str, str);
_size = strlen(str);
_capacity = _size;
}
合并后:
string(const char* str = "")
{
_str = new char[strlen(str) + 1];
strcpy(_str, str);
_size = strlen(str);
_capacity = _size;
}
注意:我们传一个空字符串即可很完美的完成全缺省函数。
析构函数:
~string()
{
delete[] _str;
_capacity = _size = 0;
}
c_str:
const char* c_str() const
{
return _str;
}
我们加上右边的const表示:
不管是否是const对象都可以调用
左边的const表示:
不希望返回的值被修改
size与capacity接口:
size_t size() const
{
return _size;
}
size_t capacity() const
{
return _capacity;
}
右边的const理由同上
迭代器:
各种环境下的迭代器是不同的,
linux
下的迭代器是直接使用原生指针
进行实现。
而vs
下是封装进行实现(在我们模拟实现list
时会有更好地理解)。
而我们模拟实现使用原生指针进行模拟,这样对于初学者有更好的理解。
public:
typedef char* iterator;
typedef const char* const_iterator;
我们发现迭代器是有两个实现版本的,
因为有时我们的迭代器需要进行修改string内的元素,
有时const对象也需要调用迭代器进行遍历元素,故而实现两个版本
或许对于左边的const
有些疑惑,认为加或不加都可以,那我们看这样一个例子:
void test_string()
{
const string s1("hello world");
string::iterator it = s1.begin();
(*it)++;
cout << s1 << endl;
}
我们既然const了s1对象,那么就是希望不被修改,可是上图代码可以修改s1的内容,故需要加const修饰
实现代码:
iterator begin()
{
return _str;
}
iterator end()
{
return _str + _size;
}
const_iterator begin() const
{
return _str;
}
const_iterator end() const
{
return _str + _size;
}
[ ]重载:
这个也是同理
char& operator[](size_t pos)
{
assert(pos < _size);
return _str[pos];
}
const char& operator[](size_t pos) const
{
assert(pos < _size);
return _str[pos];
}
reserve && resize:
void reserve(size_t n)
{
if (_capacity < n)
{
char* tmp = new char[n + 1];
strcpy(tmp, _str);
delete[] _str;
_str = tmp;
_capacity = n;
}
}
void resize(size_t n, char ch = '\0')
{
if (n <= _size)
{
_str[n] = '\0';
}
else
{
if (n > _capacity)
{
reserve(n);
}
for (int i = _size; i < n; i++)
{
_str[i] = ch;
}
_str[n] = '\0';
}
_size = n;
}
关于下标的操作我有一个比较舒服的理解方法:
我知道这是一个很普遍的结论,但是我在以往都没有进行很好的利用这个结论,最近发现这个东西对于做关于下标的分析时和开挂一样好用。
不知道你们可不可以get到这个点。
尾插的接口:
void push_back(char ch)
{
if (_capacity == _size)
{
reserve(_capacity == 0 ? 4 : 2 * _capacity);
}
_str[_size++] = ch;
_str[_size] = '\0';
}
void append(const char* str)
{
size_t len = strlen(str);
if (_size + len > _capacity)
{
reserve(_size + len);
}
strcpy(_str + _size, str);
_size += len;
}
void operator+=(const char* str)
{
append(str);
}
void operator+=(char ch)
{
push_back(ch);
}
insert接口:
void insert(size_t pos, char ch)
{
assert(pos <= _size);
if (_capacity == _size)
{
reserve(_capacity == 0 ? 4 : 2 * _capacity);
}
int end = _size, count = _size++ - pos + 1;
while (count--)
{
_str[end + 1] = _str[end];
end--;
}
_str[pos] = ch;
}
void insert(size_t pos, const char* str)
{
size_t len = strlen(str);
if (_size + len > _capacity)
{
reserve(_size + len);
}
int end = _size, count = _size - pos + 1;
while (count--)
{
_str[end + len] = _str[end];
end--;
}
strncpy(_str + pos, str, len);
_size += len;
}
这里的挪数据我是采用count计数器的方法来实现的,我比较喜欢这样,大家选择自己喜欢的方式挪动。
erase接口:
void erase(size_t pos, size_t len = npos)
{
if (len == npos || pos + len >= _size)
{
_str[pos] = '\0';
_size = pos;
}
else
{
strcpy(_str + pos, _str + pos + len);
_size -= len;
}
}
注意:关于npos是size_t 的-1,即为最大值。
定义时在类中声明
public:
static const size_t npos;
类外定义:
const size_t string::npos = -1;
也可以生命时定义。
static const size_t npos = -1;
find接口:
size_t find(char ch)
{
for (int i = 0; i < _size; i++)
{
if (_str[i] == ch)
{
return i;
}
}
return npos;
}
size_t find(const char* str)
{
const char* p = strstr(_str, str);
if (p)
{
return p - _str;
}
return -1;
}
substr接口:
string substr(size_t pos = 0, size_t len = npos)
{
string substr;
if (len == npos || pos + len >= _size)
{
substr = _str + pos;
}
else
{
while (len--)
{
substr += _str[pos++];
}
}
return substr;
}
swap接口:
为什么我们的算法库里有一个swap,但还是要再单独写一个呢。
因为库中的效率太低了,先拷贝构造一个,在深拷贝两次,代价太大,
故我们需要一个更快捷的swap接口,直接交换两个对象_str的指针和capacity与size。
void swap(string& s)
{
std::swap(_str, s._str);
std::swap(_size, s._size);
std::swap(_capacity, s._capacity);
}
关系运算符重载接口:
为全局实现。目的是为了更灵活的比较
bool operator==(const string& s1, const string& s2)
{
int ret = strcmp(s1.c_str(), s2.c_str());
return ret == 0;
}
bool operator<(const string& s1, const string& s2)
{
int ret = strcmp(s1.c_str(), s2.c_str());
return ret < 0;
}
bool operator<=(const string& s1, const string& s2)
{
return s1 < s2 || s1 == s2;
}
bool operator>(const string& s1, const string& s2)
{
return !(s1 <= s2);
}
bool operator>=(const string& s1, const string& s2)
{
return !(s1 < s2);
}
bool operator!=(const string& s1, const string& s2)
{
return !(s1 == s2);
}
流插入与留提取重载:
ostream& operator<<(ostream& out, const string& s)
{
for (auto ch : s)
{
out << ch;
}
return out;
}
istream& operator>>(istream& in, string& s)
{
s.clear();
char buff[128];
char ch = in.get();
int i = 0;
while (ch != ' ' && ch != '\n')
{
buff[i++] = ch;
if (i == 127)
{
buff[127] = '\0';
s += buff;
i = 0;
}
ch = in.get();
}
if (i > 0)
{
buff[i] = '\0';
s += buff;
}
return in;
}
有任何问题都可以私聊博主进行沟通。