首页 > 其他分享 >STL—string类—模拟实现

STL—string类—模拟实现

时间：2024-07-17 09:58:41浏览次数：15  
标签：capacity string STL pos len str 模拟 size

STL—string类—模拟实现

熟悉了string的结构和各自接口的使用之后，现在就要尝试去模拟实现string类

这个string类为了避免和我们库里的string类冲突，因此我们需要定义一个自己的命名空间

namespace wzf
{
	class string
    {
    public:
		//成员函数
    private:
    	//成员变量    
    }
}

成员变量：

		// 我们说string类其实是一个字符数组
		char* _str; // 这个指针指向的字符串可能来自各个地方，栈区、堆区、代码段(常量区)、数据段(静态区)
		size_t _size; // 表示有效字符的个数
		size_t _capacity; // 表示空间的大小还能存多少个有效字符
		static size_t npos; // 静态成员只能在类外定义

1.构造函数和析构函数

在这里我们先来看一个代码

string s("hello");

这里的hello是处于代码段（常量区）的，是常量，不可以改变的，是const char* 类型。但是我们string类是有很多接口是可以修改字符串的，因此我们的string类中需要存放一个指针去指向这个字符串，并且这个字符串不能是在代码段的，我们需要将其拷贝到堆区，这里空间大，并且我们可以操控。

  • 构造函数&拷贝构造函数

image-20240709184245124

拷贝构造函数一定要自己去实现，不然就会调用系统的默认拷贝构造的函数，系统做的就是浅拷贝，就是一个字节一个字节的复制过去，那么两个string对象的_str指针指向的是同一个地址，那么在析构函数就会程序崩溃，因为对同一个地址的空间释放了两次。

因此关于拷贝构造我们需要自己实现，这样就可以实现深拷贝。

如果一个类中涉及到资源的管理，其拷贝构造函数、赋值运算符重载以及析构函数必须要显式给出。一般情况都是按照深拷贝方式提供。

image-20240709184555338

熟悉了深拷贝的概念，我们来看看拷贝构造和赋值运算符的深拷贝思路

深拷贝思路：

image-20240710123219425

image-20240710123346571

//string()
//	:_str(new char[1]) // 初始化列表
//{
//	_str[0] = '\0'; // 尽管没有有效字符，但是需要一个\0
//}

//string(char* str)
//	:_str(new char[strlen(str) + 1]) // +1是为了给\0留一个空间
//{
//	strcpy(_str, str);
//}

//对于上面的两个构造函数来说，他构成了默认构造函数，有没有参数都能处理
// 但是在c++来说，这种可以用全缺省来让代码更合理一些
		string(const char* str = "") // 如果str没有参数，那么默认是""，空字符串，只有一个'\0'。
		{
			// str不能是nullptr，不然strlen函数会对其解引用，那么就会报错。
			if (str == nullptr)
			{
				assert(false);
				return;
			}
			_size = strlen(str);
			_capacity = _size;
			_str = new char[_capacity + 1]; // + 1是为了存下'\0'
			strcpy(_str, str); // 把str指向的字符串复制到堆区，方便我们进行操作
			// 也可以用memcpy
			//memcpy(_str, str, strlen(str));// strlen(str)就代表着要拷贝的字节
		}

		string(const string& s)
			:_str(new char[s._capacity + 1])
			,_size(s._size)
			,_capacity(s._capacity)
		{
			//this->_size = s._size; // 这个this指针加不加都行，不加编译器帮你加
			//this->_capacity = s._capacity;
			strcpy(_str, s._str);
		}

拷贝构造的string(const string& s)中的形参一定得是引用&，不然就会陷入无限递归构造。具体原因和过程我在之前博客的面向对象中的拷贝构造有详细解析

类和对象（中）-CSDN博客在这篇博客的拷贝构造内容中有讲述无穷递归的详解

  • 析构函数：

我们的string是动态开辟的数组，因此我们需要通过析构函数来释放其空间，不然会造成内存泄漏。

	// 析构函数
	~string()
	{
		delete[] _str;
		_str = nullptr;
	}

2.赋值运算符重载

	// 赋值运算符重载
	string& operator=(const string& s) 
	{
		// 首先判断是否是自己给自己赋值，虽然过程不会报错，但是是无用的消耗
		if (this != &s) // 这里的&s是s的地址，要注意
		{
			delete[] _str; // 释放旧空间,不然会造成内存泄漏
			_str = new char[s._capacity + 1]; // 指向新开辟的空间
			_size = s._size;
			_capacity = s._capacity;
			strcpy(_str, s._str); // 再把要赋值的内容拷贝到新开辟的空间
		}

		return *this; // 返回值是为了支持连等号
	}

3.[]运算符重载

char& operator[](size_t i) const
	{
		assert(i < _size && i >= 0);

		return _str[i];
	}

this指针指向的对象如果不需要改变，那么我们通常会加const修饰

4.size()接口实现

size_t size() const
{
	return strlen(_str);
}

5.capacity()接口实现

size_t capacity() const
	{
		return _capacity;
	}

6.重载<<和>>(输入/输出符)

  • 重载<<输出符

要想重载<<，我们需要用到友元，具体原因可以复习之前的友元的学习。

想要访问s中的成员，需要声明友元friend ostream& operator<<(ostream& out, const string& s);

	// 重载<<运算符
	ostream& operator<<(ostream& out, const string& s)
	{
		out << s._str;

		return out;
	}

当然，也有不需要友元的用法，可以用for循环

	ostream& operator<<(ostream& out, const string& s)
	{
		for (int i = 0; s.size(); i++)
		{
			out << s[i];
		}

		return out;
	}

当然，这样的话，我们就需要我们的size接口和[]运算符重载的this指针，都要被const修饰

  • 重载>>输入符号

同样也是需要用到友元

friend istream& operator>>(istream& in, string& s);

	// 重载 >>运算符
	istream& operator>>(istream& in, string& s)
	{
		cout << "输入字符串" << endl;
		char str[999]; 
		in >> str;

		delete[] s._str; // 释放旧空间
		s._size = strlen(str);
		s._capacity = s._size;
		s._str = new char[s._capacity + 1]; // 开辟新空间
		strcpy(s._str, str); // 将栈区的内容拷贝都堆区的新空间上

		return in;
	}

但是这个写法有一个缺点，那就是str[999];一旦输入的字符超过999个，那么就会出问题。

优化后的写法：

这个写法需要实现+=

istream& operator>>(istream& in, string& s)
{
	while (1)
	{
		char ch;
		//in >> ch; // 不能用这个，因为当输入' '或者'\n'的时候，ch无法接收到
		ch = in.get();
		if (ch == ' ' || ch == '\n')
		{
			break;
		}
		else
		{
			s += ch;
		}

	}

	return in;
}

7.迭代器实现

在讲述迭代器实现之前，我们得先知道迭代器是干什么的，其实迭代器对于string来说就是一个方便去遍历它的东西。

而我们说遍历string类通常就有三种方式

  1. [] + for
  2. 迭代器
  3. 范围for循环

迭代器的实现：

	// 迭代器的实现
	typedef char* iterator; // 在string类中是指针，但是迭代器不一定都是指针，在链表就不是指针

	iterator begin()
	{
		return _str;
	}

	iterator end()
	{
		// 返回的是指向\0的位置
		return _str + _size;
	}

要注意：迭代器在string类中，我们可以将其理解成指针，但是迭代器不一定是指针。

测试代码：

	void test_string4()
	{
		cout << "test_string4: " << endl;
		// 遍历string的三种方式([], 迭代器，范围for)

		string s("hello");
		// 第一种遍历方式
		for (int i = 0; i < s.size(); i++)
		{
			cout << s[i];
		}
		cout << endl;

		// 第二种遍历方式——迭代器
		string::iterator it = s.begin1();
		while (it != s.end())
		{
			cout << *it;
			it++;
		}
		cout << endl;

		// 第三种遍历方式——范围for
		// 范围for是由迭代器支持的，最终会被编译器替换成迭代器去 
		for (auto e : s)
		{
			cout << e;
		}
		cout << endl;

	}

范围for循环，本身是由迭代器去支持的，怎么证明呢？

其实我们把迭代器的begin改个名，范围for就会报错了。如图所示。

image-20240711182030074

对于范围for来说，它需要一个迭代器，iterator，并且还需要这个迭代器能支持 begin(),end()。

增删查改类的接口实现

1.reserve()

		// reserve实现增容
		void reserve(size_t n)
		{
			if (n > _capacity) // 当n大于容量时才需要扩容
			{
				char* tmp = new char[n + 1]; // + 1是留给\0这个无效字符的。
				strcpy(tmp, _str);
				delete[] _str;// 释放旧的空间 
				_str = tmp; // 指向新的空间

				_capacity = n;// 更新_capacity成员
			}
		}

2.resize()

resize一共分3种情况：

  1. n < _size
  2. n > _size && n < _capacity
  3. n > _size && n > _capacity
	void resize(size_t n, char ch = '\0')
	{
        assert(n >= 0);
		// 一共3种情况分类讨论。
		if (n < _size)
		{
			// 将_size减小到n
			_size = n;

			_str[n] = '\0'; // 因为有效字符个数是n个，第二个字符之后的数据都不重要了
		}
		else
		{
			// 除了保留原数据，要把_size增大到n，原数据不够n的都填充ch字符
			if (n > _capacity) // 如果n大于能存的空间就要扩容
			{
				reserve(n); // 扩容到n
			}

			// 除了原数据，在n个有效字符(下标n-1)之前，都要填充ch字符
			for (int i = _size; i < n; i++)
			{
				_str[i] = ch;
			}
			_size = n;
			_str[_size] = '\0'; // 补充\0
		}
	}

3.push_back()

在c++中string类的push_back实现的是尾插字符，就是单个的字符

	void push_back(char ch)
	{
		// 先判断空间是否足够添加一个字符,不够的话要进行增容
		if (_size == _capacity)
		{
			size_t newcapacity = _capacity == 0 ? 5 : _capacity * 2;
			reserve(newcapacity);
		}

		// 尾插ch字符
		_str[_size] = ch;
		++_size;
		_str[_size] = '\0';
	}

要注意手动的给有效字符的最后+一个’\0’。尽管strcpy也会把’\0’拷贝到。但是后面我们尾插ch字符的时候将其覆盖了，因此我们需要手动补充。

4.append()

在c++中string类的append实现的是字符串的尾插

要注意其扩容的逻辑和push_back是不太一样的。

		void append(const char* str)
		{
			// append接口需要考虑当前容量是否能装下新增的字符串
			size_t len = strlen(str);
			if (_size + len > _capacity)
			{
				size_t newcapacity = _size + len;
				reserve(newcapacity);
			}

			// 尾插字符串
			strcpy(_str + _size, str); // str被拷贝到_str后边的时候，str自带\0，因此这里不需要我们手动插入\0了
			_size += len;
		}

		void append(const string& s)
		{
			size_t len = s._size;
			if (_size + len > _capacity)
			{
				size_t newcapacity = _size + len;
				reserve(newcapacity);
			}

			strcpy(_str + _size, s._str);
			_size += len;
		}

5.+=

我们在实际使用中append和push_back我们都不太喜欢用，我们最喜欢用的就是**+=**。

因为+=无论是单个字符还是字符串还是string类对象都可以使用。

	string& operator+=(char ch)
	{
		// 实现+=
		push_back(ch);// 等价于this->push_back(ch);

		return *this;
	}

	string& operator+=(const char* str)
	{
		// 实现+=
		append(str);// 等价于this->append(str);

		return *this;
	}

	string& operator+=(const string& s)
	{
		append(s);

		return *this;
	}

6.insert（）

insert实现在具体位置插入字符和字符串

  • insert单个字符
		string& insert(size_t pos, char ch)
		{
			assert(pos <= _size && pos >= 0);
			if (_size == _capacity)
			{
				size_t newcapacity = _capacity + 1; //只插入一个ch字符
				reserve(newcapacity);
			}

			// 将pos位置开始，整体往后移动一位，再在pos位置插入ch
			int end = _size;
			// 从后往前移动，防止数据被覆盖丢失
			while (end >= pos && end >= 0) // 这里一定要有end>=0。不然当pos=0的时候会死循环(注意)
				// 当 end = 0时进入循环完成最后一次后移数据，本应--为-1，
				// 但是int类型在-1的二进制补码，在pos（size_t）看来，就是一个很大的正数，自然死循环
			{
				_str[end + 1] = _str[end];
				end--;
			}
			_str[pos] = ch; // 插入ch字符

			_size++;
			//_str[_size] = '\0'; // 补充被覆盖的0

			return *this;
		}

while (end >= pos && end >= 0)要注意end >=0一定要有

当 end = 0时进入循环完成最后一次后移数据，end本应–为-1，然后退出循环。但是int类型在0的时候–变成了一个很大的正数了，因此无法变成-1，自然死循环。

这是为什么呢？因为判断是否退出循环的条件是end >= pos，而pos我们知道又是size-t类型。也就是无符号的int类型，因此int为-1的二进制补码在size_t看来就是一个非常大的正数，因为size_t没有符号位。

看两个例子

	int i = 2;
	size_t pos = 0;
	while (i >= pos)
	{
		cout << "n" << endl;
		i--;
	}

这个代码的结果是死循环

	int i = 2;
	int pos = 0;
	while (i >= pos)
	{
		cout << "n" << endl;
		i--;
	}

而这个代码的结果就不是死循环。

image-20240714161428935

关于这个问题可以复习c语言中数据在内存的存储

数据在内存中的存储-CSDN博客

  • insert字符串
		string& insert(size_t pos, const char* str)
		{
			assert(pos <= _size && pos >= 0);
			// 考虑当前的_capacity是否能够装下新增的字符串
			size_t len = strlen(str);
			if (_size + len > _capacity)
			{
				size_t newcapacity = _size + len;
				reserve(newcapacity);
			}

			// 扩容之后要先将pos位置后的数据后移len个长度
			int end = _size; //从\0开始移动，这样后面不用处理\0的问题
			while (end >= pos && end >= 0)
			{
				_str[end + len] = _str[end]; // 后移len个长度
				end--;
			}

			//从pos位置插入str字符串
			/*
			int k = 0;
			for (int i = pos; i < pos + len; i++)
			{
				_str[i] = str[k];
				k++;
			}*/
			strncpy(_str + pos, str, len); // 由于不想拷\0，用strncpy只拷len个长度
			_size += len; // 更新_size

			return *this;
		}

7.erase()

同样的erase也需要分类讨论

  1. _size - pos <= len，说明pos位置之后的元素要被全部删除
  2. _size - pos > len 说明pos + len位置之后的数据要往pos位置覆盖
void erase(size_t pos, size_t len = npos)
{
	assert(pos >= 0 && pos < _size);
	// 分两种情况
	if (_size - pos <= len)
	{
		// 这种情况就说明pos后面的有效字符小于等于要删除的字符数
		_str[pos] = '\0'; // 直接让pos位置为\0就行
		_size = pos; // 更新_size
	}
	else
	{
		// 删不完要把剩余属于往pos位置移动
		for (int i = pos + len; i <= _size; i++) //pos + len 就是剩余数据的第一个数据
		{
			_str[i - len] = _str[i]; // 向前移动len个长度
		}
		_size -= len; // 更新_size

	}
}

8.find

  • 找字符
	size_t find(char ch, size_t pos = 0)
	{
		for (int i = pos; i < _size; i++)
		{
			if (_str[i] == ch)
				return i; // 找到了返回下标位置
		}

		return npos;
	}
  • 找字符串
	size_t find(const char* str, size_t pos = 0)
	{
		char* p = strstr(_str, str); // 这个也可以自己实现，这里用库里的
		if (p == nullptr)
		{
			return npos;
		}
		else
		{
			// 要判断是否找的是pos位置之后的str
			if (p - _str < pos)
			{
				p = strstr(_str + pos, str);
				return p - _str;
			}

			// 如果是pos位置之后的那直接返回其下标
			return p - _str; // 返回字符串首元素的下标
		}
	}

运算符重载

运算符重载比较简单，实现了< 和 == 的重载之后，其他运算符都可以用代码复用来实现

		// 运算符重载
		bool operator<(const string& s)
		{
			// strcmp,第一个参数比第二个参数大那就返回1
			int ret = strcmp(_str, s._str);

			return ret < 0;
		}

		bool operator==(const string& s)
		{
			int ret = strcmp(_str, s._str);

			return ret == 0;
		}

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

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

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

关于string类的大致就模拟实现完了，当然不是将其完整的模拟实现出来，因为能力上也无法将库中的string类中的143个接口模拟实现出来，而且对于我的学习来说好处也没有那么大。主要就是为了了解其常用接口和string类的底层原理。

标签：capacity,string,STL,pos,len,str,模拟,size
From： https://blog.csdn.net/aaa114514aaaa/article/details/140486422

相关文章

  • Cisco ACI Simulator 6.0(6c)M - ACI 模拟器
    CiscoACISimulator6.0(6c)M-ACI模拟器ApplicationCentricInfrastructure(ACI)SimulatorSoftware请访问原文链接：https://sysin.org/blog/cisco-acisim-6/，查看最新版。原创作品，转载请保留出处。作者主页：sysin.orgACISimulator介绍思科以应用为中心的基础设施(AC......
  • Spring Boot+Redis 分布式锁：模拟抢单
    如何删除锁模拟抢单动作(10w个⼈开抢)jedis的nx⽣成锁对于java中想操作redis，好的⽅式是使⽤jedis，⾸先pom中引⼊依赖：<dependency><groupId>redis.clients</groupId><artifactId>jedis</artifactId></dependency>对于分布式锁的⽣成通常......
  • 0day 新接口泛微e-cology getHendledWorkflowRequestList SQL注入漏洞
    0x01阅读须知        技术文章仅供参考，此文所提供的信息只为网络安全人员对自己所负责的网站、服务器等（包括但不限于）进行检测或维护参考，未经授权请勿利用文章中的技术资料对任何计算机系统进行入侵操作。利用此文所提供的信息而造成的直接或间接后果和损失，均由使用者......
  • YC317A [ 20240708 CQYC省选模拟赛 T1 ] 划分（partition）
    题意给定一个长度为\(n+m\)的二进制数，你需要将这个二进制数划分别划分为长度为\(n\)的二进制数\(a\)与长度为\(m\)的二进制数\(b\)。你需要输出\(a+b\)的二进制形式。\(n\le10^6\)。Sol考虑发现一些性质。设\(n\gem\)，则：考虑最优方案给\(a\)与\(b......
  • CF825F String Compression题解
    思路容易想到是个动态规划。首先设\(f_i\)表示字符串前\(i\)个字符所组成的字符串的答案。状态定义好了，接下来就是考虑如何转移了。因为由\(f_i\)可以得到所有\(f_j\)，其中\(i+j\lelen\)，转移方程为\(f_i=f_j+x\)，其中\(x\)为字符串\(i+1\)至\(j\)的最优压缩。接......
  • R语言极值分析：GEV与GPD模型与MCMC的海洋观测数据极值模拟可视化研究
    全文链接：https://tecdat.cn/?p=37007原文出处：拓端数据部落公众号在海洋科学领域，极端天气和海洋事件如极端海浪、风暴潮和海啸等，对沿海社区、基础设施及生态环境构成了重大威胁。准确预测和评估这些极端事件的强度和频率，对于制定有效的防灾减灾策略至关重要。极值分析作为统......
  • 【C语言习题】39.模拟实现atoi
    文章目录作业标题作业内容代码作业标题模拟实现atoi作业内容自行了解库函数atoi的功能，学习使用，并模拟实现atoi函数。文档链接：atoi-C++Reference(cplusplus.com)代码//atoi将一个字符串转化为一个整型#include<stdio.h>#include<assert.h>#include<......
  • B. Nezzar and Binary String
    原题链接题解正着来发现很怪，倒着来发现顺多了code#include<bits/stdc++.h>#definelllonglongusingnamespacestd;constllN=114514;lltree[8*N]={0};lltag[8*N]={0};stringa,b;voidbuild(intnode,intl,intr){tag[node]=-1;if(l==r){......
  • HEC-RAS 1D/2D水动力与水环境模拟技术
    水动力与水环境模型的数值模拟是实现水资源规划、环境影响分析、防洪规划以及未来气候变化下预测和分析的主要手段。然而，一方面水动力和水环境模型的使用非常复杂，理论繁复；另一方面，免费的水动力和水环境软件往往缺少重要功能，而商业软件则非常昂贵。HEC-RAS由美国陆军工程兵团水......
  • 【人工智能】高级搜索技术（模拟退火搜索算法和遗传算法解决旅行商问题）
    目录一、旅行商问题1.需求分析2.数据结构、功能模块设计与说明2.1数据结构（1）模拟退火搜索算法（2）遗传算法2.2功能模块设计（1）模拟退火搜索算法（2）遗传算法3.核心代码与测试结果说明（1）模拟退火搜索算法（2）遗传算法4.心得体会一、旅行商问题现有一个商人，准备从广州......

赞助商

阅读排行

网站主页关于我们联系我们网站地图

本网站内容转载自其他媒体，侵权联系[admin##ips99.com]。

Copyright © 2020-2023 IPS99 版权所有 IPS99