【C++练级之路】【Lv.6】【STL】string类的模拟实现

快乐的流畅2024-01-16 11:23

文章目录

  • 引言
  • 一、成员变量
  • 二、默认成员函数
    • [2.1 constructor](#2.1 constructor)
    • [2.2 copy constructor](#2.2 copy constructor)
    • [2.3 destructor](#2.3 destructor)
    • [2.4 operator=](#2.4 operator=)
  • 三、迭代器
    • [3.1 begin](#3.1 begin)
    • [3.2 end](#3.2 end)
  • 四、元素访问
    • [4.1 operator[ ]](#4.1 operator[ ])
  • 五、容量
    • [5.1 size](#5.1 size)
    • [5.2 capacity](#5.2 capacity)
    • [5.3 reserve](#5.3 reserve)
    • [5.4 resize](#5.4 resize)
  • 六、修改
    • [6.1 push_back](#6.1 push_back)
    • [6.2 append](#6.2 append)
    • [6.3 operator+=](#6.3 operator+=)
    • [6.4 insert](#6.4 insert)
    • [6.5 erase](#6.5 erase)
    • [6.6 swap](#6.6 swap)
    • [6.7 clear](#6.7 clear)
  • 七、操作
    • [7.1 c_str](#7.1 c_str)
    • [7.2 find](#7.2 find)
  • 八、非成员函数
    • [8.1 relational operators](#8.1 relational operators)
    • [8.2 operator<<](#8.2 operator<<)
    • [8.3 operator>>](#8.3 operator>>)
  • 总结

欢迎各位小伙伴关注我的专栏，和我一起系统学习C语言，共同探讨和进步哦！

学习专栏：
《进击的C++》

引言

关于STL容器的学习，我会采用模拟实现的方式，以此来更加清楚地了解其底层原理和整体架构。而string类更是有100多个接口函数，所以模拟实现的时候只会调重点和常见的函数进行实现，以此加强对重点函数的掌握。

一、成员变量

string类中包含了

  • str（指向动态开辟的字符数组）
  • _size（当前有效数据个数）
  • _capacity（最大有效容量）

同时，还包含了一个static修饰的静态成员变量npos，赋值为-1，因其类型为无符号整型，则表示最大值。

cpp 复制代码 
class string
{
private:
	char* _str;
	size_t _size;
	size_t _capacity;
	static size_t npos;
};

size_t string::npos = -1;

标准的静态成员变量，是在类内声明，类外定义。但是，这里设计出了一种奇怪的语法，加上const修饰，就可以在类内声明加定义。

cpp 复制代码 
static const size_t npos = -1;

二、默认成员函数

2.1 constructor

细节：

  1. 因为计算_size和_capacity都要调用strlen函数，为了防止频繁调用，在初始化列表中调用一次将_size初始化，后续再把_size赋值给_capacity
  2. _capacity初始化时，防止后续二倍扩容时_capacity为0，则加上判断，如果_size为0，初始_capacity为3
  3. 开辟空间的大小为_capacity + 1，因为要留一个空间给\0
  4. 缺省参数为空串
cpp 复制代码 
string(const char* str = "")
	:_size(strlen(str))
{
	_capacity = _size == 0 ? 3 : _size;
	_str = new char[_capacity + 1];
	strcpy(_str, str);
}

2.2 copy constructor

cpp 复制代码 
string(const string& s)
	:_size(s._size)
	, _capacity(s._capacity)
{
	_str = new char[_capacity + 1];
	strcpy(_str, s._str);
}

2.3 destructor

cpp 复制代码 
~string()
{
	delete[] _str;
	_str = nullptr;
	_size = _capacity = 0;
}

2.4 operator=

细节：

  1. 先开辟一段新空间，再释放旧空间，防止空间不足（一般空间相等的很少，所以大多数情况下不相等，直接开辟新空间）
  2. 原地赋值则什么都不做，否则释放了旧空间，就没办法拷贝字符串
cpp 复制代码 
string& operator=(const string& s)
{
	if (this != &s)
	{
		char* tmp = new char[s._capacity + 1];
		delete[] _str;
		_str = tmp;
		strcpy(_str, s._str);
		_size = s._size;
		_capacity = s._capacity;
	}

	return *this;
}

三、迭代器

3.1 begin

迭代器的实现和编译器有关，不同的编译器有不同的实现方式。这里简单的用指针来实现迭代器。

同时，重载了普通迭代器和const迭代器。

cpp 复制代码 
typedef char* iterator;
typedef const char* const_iterator;

iterator begin()
{
	return _str;
}

const_iterator begin() const
{
	return _str;
}

3.2 end

迭代器遵循左闭右开的原则，begin指向首元素，end指向末元素的下一位。

cpp 复制代码 
typedef char* iterator;
typedef const char* const_iterator;

iterator end()
{
	return _str + _size;
}

const_iterator end() const
{
	return _str + _size;
}

悄悄告诉你 ：范围for的底层实现，就是运用了迭代器。

四、元素访问

4.1 operator[ ]

为了方便的访问元素，我们重载了[ ]运算符。同时，也分为普通版本和const版本，对应不同string类的权限。

cpp 复制代码 
char& operator[](size_t pos)
{
	assert(pos < _size);
	return _str[pos];
}

const char& operator[](size_t pos) const
{
	assert(pos < _size);
	return _str[pos];
}

五、容量

5.1 size

获取当前有效数据个数

细节：const修饰，保证普通和const类型string类都能访问

cpp 复制代码 
size_t size() const
{
	return _size;
}

5.2 capacity

获取当前最大有效容量

细节：同上

cpp 复制代码 
size_t capacity() const
{
	return _capacity;
}

5.3 reserve

改变当前_capacity（将其变为指定大小n）

细节：

  1. 只扩容，不缩容（因为缩容也是有代价的）
  2. 异地扩容，新开辟一个新空间，将内容拷贝过去，再释放旧空间（事实上，原地扩容只占极少数，绝大部分扩容都是异地扩容）
cpp 复制代码 
void reserve(size_t n)
{
	if (n > _capacity)
	{
		char* tmp = new char[n + 1];
		strcpy(tmp, _str);
		delete[] _str;
		_str = tmp;
		_capacity = n;
	}
}

5.4 resize

改变当前_size（将其变为指定大小n），分为三种情况：

  1. n <= _size，在_size位置写入\0
  2. _size < n <= _capacity，填充指定字符ch直到_size为n，再重复步骤1
  3. n > _capacity，先扩容，再重复步骤2
cpp 复制代码 
void resize(size_t n, char ch = '\0')
{
	if(n > _size)
	{
		reserve(n);
		memset(_str + _size, ch, n - _size);
	}
	_size = n;
	_str[_size] = '\0';
}

六、修改

6.1 push_back

尾插一个字符

细节：

  1. 如果空间不够，则二倍扩容
  2. 插入字符后，在尾部添加\0
cpp 复制代码 
void push_back(char ch)
{
	if (_size + 1 > _capacity)
	{
		reserve(_capacity * 2);
	}

	_str[_size] = ch;
	++_size;
	_str[_size] = '\0';
}

6.2 append

尾插（追加）一个字符串

细节：

  1. 如果空间不够，扩容到刚好可以容纳的空间（因为二倍扩容有可能也不够）
  2. strcpy会自动把\0也拷贝过去
cpp 复制代码 
void append(const char* str)
{
	size_t len = strlen(str);
	if (_size + len > _capacity)
	{
		reserve(_size + len);
	}

	strcpy(_str + _size, str);
	_size += len;
}

悄悄说一句：其实这个函数写成push_back的重载函数更好哦~

6.3 operator+=

为了更加方便地使用尾插，我们重载了+=运算符，这样无论尾插字符或者字符串都极为方便。

cpp 复制代码 
string& operator+=(char ch)
{
	push_back(ch);
	return *this;
}

string& operator+=(const char* str)
{
	append(str);
	return *this;
}

6.4 insert

在指定位置插入一个字符

细节：

  1. 如果空间不够，二倍扩容
  2. 从pos位置开始，字符都后移一格（这里end = _size + 1 就是为了避免end == pos的判断，因为头插时pos为0，而end为无符号整数恒大于等于0，所以会导致死循环）
  3. 在pos位置插入指定字符
cpp 复制代码 
string& insert(size_t pos, char ch)
{
	assert(pos <= _size);

	if (_size + 1 > _capacity)
	{
		reserve(_capacity * 2);
	}

	size_t end = _size + 1;
	while (end > pos)
	{
		_str[end] = _str[end - 1];
		--end;
	}

	_str[pos] = ch;
	++_size;

	return *this;
}

其实，步骤2的字符后移，可以使用memmove函数（专门处理重叠空间的移动）

cpp 复制代码 
memmove(_str + pos + 1, _str + pos, _size + 1 - pos);

在指定位置插入一个字符串

细节：

  1. 如果空间不够，扩容到刚好可以容纳的空间
  2. 从pos位置开始，字符都后移 len 格（这里len为1的时候，其实就是上一种情况）
  3. 在pos位置用strncpy插入指定字符串（不带\0)
cpp 复制代码 
string& insert(size_t pos, const char* str)
{
	assert(pos <= _size);

	size_t len = strlen(str);
	if (_size + len > _capacity)
	{
		reserve(_size + len);
	}

	size_t end = _size + 1;
	while (end > pos)
	{
		_str[end + len - 1] = _str[end - 1];
		--end;
	}

	strncpy(_str + pos, str, len);
	_size += len;

	return *this;
}

同样，步骤2的字符后移 len 格，也可以使用memmove函数。

cpp 复制代码 
memmove(_str + pos + len, _str + pos, _size + 1 - pos);

那么，完成了指定位置的插入，我们就可以复用代码，让push_back和append复用insert函数。

cpp 复制代码 
void push_back(char ch)
{
	insert(_size, ch);
}
cpp 复制代码 
void append(const char* str)
{
	insert(_size, str);
}

6.5 erase

在指定位置删除指定长度的字符串

细节：

  1. npos要单独判断（要不然npos加上pos会溢出）
  2. len为npos，或者pos+len >= _size，代表将删除pos位置往后的所有字符串
  3. 如果pos+len < _size，则将后面未删除的字符串用strcpy拷贝到pos位置
cpp 复制代码 
string& erase(size_t pos, size_t len = npos)
{
	assert(pos < _size);

	if(len == npos || pos + len >= _size)
	{
		_size = pos;
		_str[_size] = '\0';
	}
	else
	{
		strcpy(_str + pos, _str + pos + len);
		_size -= len;
	}

	return *this;
}

6.6 swap

交换两个string类的值

细节：使用std库中的swap函数，交换各个成员变量的值

cpp 复制代码 
void swap(string& s)
{
	std::swap(_str, s._str);
	std::swap(_size, s._size);
	std::swap(_capacity, s._capacity);
}

6.7 clear

清空字符串

cpp 复制代码 
void clear()
{
	_str[0] = '\0';
	_size = 0;
}

七、操作

7.1 c_str

获取字符串

细节：const修饰，保证普通和const类型string类都能访问

cpp 复制代码 
const char* c_str() const
{
	return _str;
}

7.2 find

查找指定字符或者字符串，返回其下标

细节：

  1. 使用缺省参数pos = 0，可以从指定位置开始向后查找，如果未指定，则从头查找
  2. 查找字符串用strstr函数，找到返回指针，用指针-指针的方式得到下标
cpp 复制代码 
size_t find(char ch, size_t pos = 0)
{
	assert(pos < _size);

	for (size_t i = pos; i < _size; ++i)
	{
		if (_str[i] == ch)
		{
			return i;
		}
	}
	return npos;
}

size_t find(const char* str, size_t pos = 0)
{
	assert(pos < _size);
	
	char* p = strstr(_str, str);
	if (p == nullptr)
	{
		return npos;
	}
	return p - _str;
}

八、非成员函数

8.1 relational operators

重载比较关系的运算符

细节：

  1. 一般实现了两个，剩下的都可以复用
  2. this指针用const修饰，保证普通和const的string类都可以相互比较（正着比，反着比都可以）
cpp 复制代码 
bool operator==(const string& s) const
{
	return strcmp(_str, s._str) == 0;
}

bool operator!=(const string& s) const
{
	return !(*this == s);
}

bool operator>(const string& s) const
{
	return strcmp(_str, s._str) > 0;
}

bool operator>=(const string& s) const
{
	return *this > s || *this == s;
}

bool operator<(const string& s) const
{
	return !(*this >= s);
}

bool operator<=(const string& s) const
{
	return !(*this > s);
}

8.2 operator<<

重载流插入运算符

细节：遍历字符串，可以采用下标+[ ]的循环形式，也可以使用范围for

cpp 复制代码 
ostream& operator<<(ostream& out, const string& s)
{
	for (auto& ch : s)
	{
		out << ch;
	}
	return out;
}

8.3 operator>>

重载流提取运算符

细节：

  1. 每次流插入之前，先清理字符串，防止写入的内容连接在之前的内容后面
  2. 提取字符时使用get函数。因为>>运算符在缓冲区中提取字符时，会自动忽略空格和换行，而get函数可以全部提取出来。
cpp 复制代码 
istream& operator>>(istream& in, string& s)
{
	s.clear();

	char ch = in.get();
	while (ch != ' ' && ch != '\n')
	{
		s += ch;
		ch = in.get();
	}
	return in;
}

以上代码是能够完成功能的实现，但是从效率的角度考虑，还是不够高效。所以，我们可以优化一下：

  1. 创建一个小型字符数组buf
  2. 提取的字符先填充到buf
  3. 等buf填充满后，再将buf尾插到s
  4. 如果循环结束，buf中还有剩余字符，则再尾插到s
cpp 复制代码 
istream& operator>>(istream& in, string& s)
{
	s.clear();
	
	char ch = in.get();
	size_t i = 0;
	char buf[128] = { 0 };
	while (ch != ' ' && ch != '\n')
	{
		buf[i++] = ch;
		if(i == 127)
		{
			s += buf;
			i = 0;
		}
		ch = in.get();
	}

	if (i != 0)
	{
		s += buf;
	}
	return in;
}

总结

我们来模拟实现string类，不是为了造一个更好的轮子，而是熟练掌握重点函数的功能与应用，顺便巩固之前学习的C++语法。常言道，没学过STL，那你根本没学过C++！C++的梦幻之旅，才刚刚开始......

看到这里了还不给博主扣个： ⛳️ 点赞☀️收藏 ⭐️ 关注！ 💛 💙 💜 ❤️ 💚💓 💗 💕 💞 💘 💖

拜托拜托这个真的很重要！ 你们的点赞就是博主更新最大的动力！ 有问题可以评论或者私信呢秒回哦。

相关推荐
色空大师几秒前
23种设计模式
java·开发语言·设计模式
readmancynn9 分钟前
二分基本实现
数据结构·算法
萝卜兽编程11 分钟前
优先级队列
c++·算法
Bruce小鬼13 分钟前
QT文件基本操作
开发语言·qt
Bucai_不才13 分钟前
【数据结构】树——链式存储二叉树的基础
数据结构·二叉树
2202_7544215418 分钟前
生成MPSOC以及ZYNQ的启动文件BOOT.BIN的小软件
java·linux·开发语言
盼海19 分钟前
排序算法(四)--快速排序
数据结构·算法·排序算法
我只会发热25 分钟前
Java SE 与 Java EE：基础与进阶的探索之旅
java·开发语言·java-ee
一直学习永不止步35 分钟前
LeetCode题练习与总结：最长回文串--409
java·数据结构·算法·leetcode·字符串·贪心·哈希表
懷淰メ35 分钟前
PyQt飞机大战游戏（附下载地址）
开发语言·python·qt·游戏·pyqt·游戏开发·pyqt5
热门推荐
01(欧拉)openEuler系统添加网卡文件配置流程、(欧拉)openEuler系统手动配置ipv6地址流程、(欧拉)openEuler系统网络管理说明02PyTorch机器学习实现液态神经网络03【HarmonyOS】HUAWEI DevEco Studio 下载地址汇总04玄机平台应急响应—webshell查杀05Coze扣子平台完整体验和实践（附国内和国际版对比）06Ubuntu 20.04使用Livox mid 360 测试 FAST_LIO07怎样让音频速度变慢？请跟随以下方法进行操作08Unity中PICO实现 隔空取物 和 接触抓取物体09RAG 实践- Ollama+RagFlow 部署本地知识库10【目标跟踪】相机运动补偿