【C++】——string类的模拟实现

目录

一、string模拟实现

1.1构造析构

1.2迭代器

1.3修改

1.4查找

1.5substr 深浅拷贝的区别

1.6比较函数与流插入流提取

二、string类的拷贝

2.1浅拷贝与深拷贝

2.2传统版与现代版区别

2.3写时拷贝(了解)

三、vs和g++下string结构的说明

3.1vs下的string结构

3.2g++下的string结构


一、string模拟实现

想要模拟实现自己的string类,主要的是构造、拷贝构造、迭代器、修改、查找等功能。

实现一个简单的string 不考虑模板等一些复杂的优化结构

namespace xc
{class string{public:private:char* _str;size_t _size;size_t _capacity;};
}

1.1构造析构

简单的构造函数:

class string
{
public:string():_str(nullptr),_size(0),_capacity(0){}string(const char*str){_size = strlen(str);_capacity = _size;//定义的容量就是有效数据个数 new的话需要考虑 \0_str = new char[_capacity + 1];strcpy(_str, str);}const char* c_str()//暂时没有写流提取,流插入所以转换为 _str打印{return _str;}
private:char* _str;size_t _size;size_t _capacity;
};

程序崩溃,无法打印,原因是 string的无参构造 _str 初始化为 nullptr,转换为字符串打印时候会解引用知道遇到\0终止 但是这里对空指针进行了解引用 所以程序崩溃

优化合并一下:

class string
{
public:/*string():_str(new char[1]{""}),_size(0),_capacity(0){}*/string(const char*str=""){_size = strlen(str);_capacity = _size;//定义的容量就是有效数据个数 new的话需要考虑 \0_str = new char[_capacity + 1];strcpy(_str, str);}~string(){delete[]_str;_str = nullptr;_size = _capacity = 0;}const char* c_str()//暂时没有写流提取,流插入所以转换为 _str打印{return _str;}
private:char* _str;size_t _size;size_t _capacity;
};

一些频繁调用的短小函数可以直接在类里面定义实现 默认为 内联inline

const char* c_str()const //暂时没有写流提取,流插入所以转换为 _str打印
{return _str;
}
size_t size()const
{return _size;
}
size_t capacity()const
{return _capacity;
}
char& operator[](size_t pos)
{assert(pos < _size);return _str[pos];
}
const char& operator[](size_t pos)const
{assert(pos < _size);return _str[pos];
}

1.2迭代器

实现基本的迭代器(正向迭代器和const正向迭代器)功能以支持 范围for,迭代器遍历

public:typedef char* iterator;typedef char* const_iterator;iterator begin(){return _str;}iterator end(){return _str + _size;}const_iterator begin()const{return _str;}const_iterator end()const{return _str + _size;}

1.3修改

声明定义分离的模式,可能涉及扩容可以先处理一个 reserve 函数

//.h
void reserve(size_t n);
void push_back(char ch);
void append(const char*str);
string& operator+=(char ch);
string& operator+=(const char*str);
//.cppvoid string::reserve(size_t n)
{if (n > _capacity){char* tmp = new char[n + 1];strcpy(tmp, _str);//拷贝内容delete[]_str;_str = tmp;//交换指针_capacity = n;}}
void string::push_back(char ch)
{if (_capacity == _size){reserve(_capacity == 0 ? 4 : _capacity * 2);}_str[_size++] = ch;
}
string& string::operator+=(char ch)
{push_back(ch);return *this;
}

显然是因为没有\0终止符才出现了乱码

void string::push_back(char ch)
{if (_capacity == _size){reserve(_capacity == 0 ? 4 : _capacity * 2);}_str[_size++] = ch;_str[_size] = '\0';
}

接下来实现字符串的插入

void string::append(const char* str)//加的字符串可能需要扩容 需要if判断
{size_t len = strlen(str);if (_size + len > _capacity){//大于2倍 就需要多少开多少 少于2倍就开2倍空间reserve(_size + len > 2 * _capacity ? _size + len : 2 * _capacity);}strcpy(_str + _size, str); //第一个参数为\0地址_size += len;
}string& string::operator+=(const char* str)
{append(str);return *this;
}

指定位置的插入删除 

	void insert(size_t pos, char ch);void insert(size_t pos, const char*str);void erase(size_t pos, size_t len=npos);private:char* _str;size_t _size;size_t _capacity;static const size_t npos;

增加了一个新成员变量 npos 该静态成员变量需要声明定义分离

void string::insert(size_t pos, char ch)
{assert(pos <= _size);if (_capacity == _size){reserve(_capacity == 0 ? 4 : _capacity * 2);}移动数据 需要单独处理\0//for (int i = _size-1; i >=(int)pos; i--)//{//	_str[i+1] = _str[i];//}//_str[pos] = ch;//_str[++_size] = '\0';//直接将 \0 也视为字符 移动开来for (int i = _size; i >= pos; i--){_str[i + 1] = _str[i];}_str[pos] = ch;++_size;
}

程序崩溃?

可以看到 i 小于0仍然进入循环,补充当 两个数据类型不同进行比较等操作时 范围小的会向范围大的进行整形提升 在这里 i 变为了无符号整数 解决办法 将 pos进行强制转换为 int 即可 

void string::insert(size_t pos, char ch)
{assert(pos <= _size);if (_capacity == _size){reserve(_capacity == 0 ? 4 : _capacity * 2);}直接将 \0 也视为字符 移动开来//for (int i = _size; i >=(int)pos; i--)//{//	_str[i + 1] = _str[i];//}//_str[pos] = ch;//++_size;for (int i = _size + 1; i > pos; i--){_str[i] = _str[i - 1];}_str[pos] = ch;++_size;
}
//可以对比插入一个字符的逻辑 只是 len值为1的特殊情况 画图理解 临界条件
void string::insert(size_t pos, const char* str)
{assert(pos <= _size);size_t len = strlen(str);if (_size + len > _capacity){reserve(_size + len > 2 * _capacity ? _size + len : 2 * _capacity);}for (int i = _size + len; i > len+pos-1; i--){_str[i] = _str[i - len];}for (int i = 0; i < len; i++){_str[pos + i] = str[i];}_size += len;}
void string::erase(size_t pos, size_t len)
{assert(pos < _size);//pos等于 _size 那么会删掉\0//判断 len大于剩余的所有 就直接修改 \0的位置if (len >= _size - pos){_str[pos] = '\0';_size = pos;}else{for (int i = pos + len; i <= _size; i++){_str[i - len] = _str[i];}_size -= len;}
}

Tip:插入多个数据可以类比插入一个数据的逻辑关系 特殊到一般的思想转换,最重要的是不能凭自己的感觉思考,认真画图分析

1.4查找

size_t string::find(char ch, size_t pos)
{for (int i = pos; i <_size; i++){if (_str[i] == ch)return i;}
}
size_t string::find(const char* str, size_t pos)
{assert(pos < _size);const char* ptr=strstr(_str + pos, str);if (ptr == nullptr){return npos;}elsereturn ptr - _str;//指针相减得到下标
}

1.5substr 深浅拷贝的区别

string string::substr(size_t pos, size_t len)
{assert(pos < _size);//判断 len大于剩余元素 更新一下lenif (len > _size - pos){len = _size - pos;}string sub;sub.reserve(len);for (int i = 0; i < len; i++){sub += _str[pos + i];}return sub;
}

如果编译器优化激烈一点或者  release版本将直接 修改 suffix 省去拷贝构造

因为没有显示实现拷贝构造,编译器的拷贝构造是浅拷贝

实现一下拷贝构造和赋值重载

//s2(s1)
string(const string& s)
{_str = new char[s._capacity + 1];strcpy(_str, s._str);_capacity = s._capacity;_size = s._size;
}//s2=s1
//s1=s1
string& operator=(const string& s)
{if (this != &s){delete[]_str;_str = new char[s._capacity + 1];strcpy(_str, s._str);_capacity = s._capacity;_size = s._size;}return *this;
}

1.6比较函数与流插入流提取

比较逻辑

.h
......
private:char* _str;size_t _size;size_t _capacity;static const size_t npos;
};//定义在类外
bool operator<(const string& s1, const string& s2);
bool operator<=(const string& s1, const string& s2);
bool operator>(const string& s1, const string& s2);
bool operator>=(const string& s1, const string& s2);
bool operator==(const string& s1, const string& s2);
bool operator!=(const string& s1, const string& s2);.cpp
//利用 strcmp 函数比较
bool operator<(const string& s1, const string& s2)
{return strcmp(s1.c_str(), s2.c_str())<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 strcmp(s1.c_str(), s2.c_str()) == 0;
}
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)
{char ch;ch = in.get();while (ch != ' ' && ch != '\n'){s += ch;ch = in.get();}
}

Tip:如果是 in>>ch 的话有分隔符的概念 不能提取到空格

注意到 +=  存在扩容概念 难道一次一个 += 吗? 优化一下

istream& operator>>(istream& in, string& s)
{s.clear();const int N = 256;//创一个字符数组 以数组为整体单元进行+= 提高扩容效率char buff[N];int i = 0;char ch = in.get();while (ch != ' ' && ch != '\n'){buff[i++] = ch;if (i == N - 1){buff[i] = '\0';s += buff;i = 0;}}//提前结束了 buff里面还有字符if (i > 0){buff[i] = '\0';s += buff;}
}

二、string类的拷贝

2.1浅拷贝与深拷贝

浅拷贝:也称位拷贝,编译器只是将对象中的值拷贝过来。如果对象中管理资源,最后就会导致 多个对象共享同一份资源,当一个对象销毁时就会将该资源释放掉,而此时另一些对象不知道该 资源已经被释放,以为还有效,所以当继续对资源进项操作时,就会发生发生了访问违规。

在这里即一个一个字节的拷贝,动态申请资源时候如果浅拷贝会指向同一块资源,会有着程序崩溃的问题

同一块空间析构了两次 程序崩溃

深拷贝即调用拷贝构造,编译器生成的拷贝构造是浅拷贝,需要我们自己显示实现拷贝构造来进行深拷贝

//s2(s1)
string(const string& s)
{_str = new char[s._capacity + 1];strcpy(_str, s._str);_capacity = s._capacity;_size = s._size;
}//s2=s1
//s1=s1
string& operator=(const string& s)
{if (this != &s){delete[]_str;_str = new char[s._capacity + 1];strcpy(_str, s._str);_capacity = s._capacity;_size = s._size;}return *this;
}

2.2传统版与现代版区别

库里的string拷贝构造赋值重载如何实现的呢? 可以直接交换成员变量 但是需要初始化成员变量

void swap(string& s)
{std::swap(_str, s._str);std::swap(_capacity, s._capacity);std::swap(_size, s._size);
}
string(const string& s)
{string tmp(s.c_str());swap(tmp);
}......
private:char* _str=nullptr;size_t _size=0;size_t _capacity=0;static const size_t npos;
};//需要初始化一下 否则随机值交给tmp存在潜在风险

这里的巧妙点在于 tmp 出了作用域会自己调析构函数此时不需要手动析构s2 借用了编译器的作用规则,局部变量出了作用域自动销毁  这也是为什么需要初始化局部变量,因为销毁随机值存在风险

赋值重载:

	//s2=s1//s1=s1
/*	string& operator=(const string& s){if (this != &s){delete[]_str;_str = new char[s._capacity + 1];strcpy(_str, s._str);_capacity = s._capacity;_size = s._size;}return *this;}*/string& operator=(const string& s){if (this != &s){string tmp(s.c_str());swap(tmp);}return *this;}

对比一下传统版的赋值重载, 可以看到现代版不需要手动 delete 了  利用编译器自动销毁了

可以看到与拷贝构造相比 tmp 并没有存在的必要性,并不需要保留 s1的数据 优化一下

/*string& operator=(const string &s)
{if (this != &s){string tmp(s.c_str());swap(tmp);}return *this;
}*///最终版 s1=s3
string& operator=(string tmp)
{swap(tmp);return *this;
}

为什么算法库有swap 我们仍需要手动实现一个成员函数 swap呢?

算法库里的内置类型会进行多次拷贝构造(深拷贝),效率低

事实上 库里面已经实例化了一个模板swap函数

所以最终还是会调用成员函数提高效率

2.3写时拷贝(了解)

析构两次的另外一种解决方法——写时拷贝(引用计数法)

引用计数代表有几个对象指向同一块资源

当计数为0时候才执行析构函数,如果要修改拷贝的对象,那么还是需要进行深拷贝!

不同编译器底层采取的方案是不同的

可以看到 gcc 采用了引用计数写时拷贝

三、vs和g++下string结构的说明

注意:下述结构是在32位平台下进行验证,32位平台下指针占4个字节。

3.1vs下的string结构

string总共占28个字节,内部结构稍微复杂一点,先是有一个联合体,联合体用来定义

string中字符串的存储空间:

●  当字符串长度小于16时,使用内部固定的字符数组来存放

●  当字符串长度大于等于16时,从堆上开辟空间

union _Bxty{ // storage for small buffer or pointer to larger onevalue_type _Buf[_BUF_SIZE];pointer _Ptr;char _Alias[_BUF_SIZE]; // to permit aliasing} _Bx;

这种设计也是有一定道理的,大多数情况下字符串的长度都小于16,那string对象创建
好之后,内部已经有了16个字符数组的固定空间,不需要通过堆创建,效率高。

其次:还有一个size_t字段保存字符串长度,一个size_t字段保存从堆上开辟空间总的
容量

最后:还有一个指针做一些其他事情。
故总共占16+4+4+4=28个字节。

3.2g++下的string结构

G++下,string是通过写时拷贝实现的,string对象总共占4个字节(32位)/ 8字节(64位),内部只包含了一个指针,该指针将来指向一块堆空间,内部包含了如下字段:
● 空间总大小
● 字符串有效长度
● 引用计数

struct _Rep_base{size_type               _M_length;size_type               _M_capacity;_Atomic_word            _M_refcount;
};


● 指向堆空间的指针,用来存储字符串。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/422927.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

零信任沙箱让源代码防泄漏“如虎添翼”

"数据泄露事件频发&#xff0c;给企业带来了巨大的经济损失和声誉损害。SDC沙盒&#xff0c;一款基于零信任模型构建的数据防泄密解决方案&#xff0c;正成为企业数据安全的新防线。 &#x1f510; 零信任模型的核心&#xff1a;SDC沙盒遵循“永不信任&#xff0c;始终验…

Python爬虫案例七:抓取南京公交信息数据并将其保存成excel多表形式

测试链接: https://nanjing.8684.cn/line4 思路&#xff1a;先抓取某个类型下的某一条线路所有数据&#xff0c;然后实现批量,&#xff0c;列举出三个类型代表既可 源码&#xff1a; from lxml import etree from xlutils.copy import copy import requests, os, xlrd, xlwtd…

串口输出时:英文正常输出、中文乱码输出

一、问题&#xff1a;英文正常输出&#xff0c;英文乱码输出 二、解决方法 1、查看自己使用的串口助手的编码格式 2、查看自己使用输出的文件编码格式 以记事本的格式查看&#xff0c;原则上这两种应该保持相同&#xff0c;如果不相同&#xff0c;就需要把这个文件去另保存一…

UE5 阴影通道

Shadow Pass Switch节点中 Default代表模型遮罩的效果 Shadow代表阴影的生成遮罩效果

Android Studio报错中文乱码

现象&#xff1a; 解决办法&#xff1a; 按两下Shift&#xff0c;查找Edit Custom VM Options并确认&#xff1b; 没有studio64.exe.vmoptions的话会弹窗&#xff0c;创建一个即可&#xff1b;原本存在的话&#xff0c;在最下面添加 -Dfile.encodingUTF-83. Sync Gradle 重…

开源项目chartDB体验

github地址 &#xff1a;https://github.com/chartdb/chartdb 在线网站体验&#xff1a;https://chartdb.io/ 体验后发现 chartDB的作用是可视化各个表格之间的关系&#xff0c;方便数据库设计者操作并且接上openai的接口生成各个数据库语言的代码&#xff1b;但它没法导入实际…

人工智能在鼻咽癌诊断和治疗中的应用进展、当前挑战和未来前景|文献精析·24-09-13

小罗碎碎念 这篇文章综述了人工智能在鼻咽癌诊断和治疗中的应用进展、当前挑战和未来前景。 角色姓名单位名称&#xff08;中文&#xff09;第一作者杨四川大学华西医院肿瘤中心生物治疗科&#xff0c;生物治疗国家重点实验室通讯作者陈四川大学华西医院血管外科&#xff0c;普…

通过TikTok创新视频广告并提高ROAS

通过使用TikTok视频购物广告&#xff0c;Refurbed在五个国家的广告支出回报率&#xff08;ROAS&#xff09;提升了5.8%。 目录 总结营销策略是什么&#xff1f;取得了什么成果&#xff1f;为什么有效&#xff1f;获取更多类似的策略 总结 公司&#xff1a; Refurbed。目标&…

Matlab对状态机建模的方法

【 线性代数 状态机 】良好的控制系统设计 (根据现有的情况总结出状态转移方程) 状态组件在设计时需要考虑的内容 AI 的逻辑 可以提供一个思路 python 库调用的路径,必须是完整的路径 python 解释器的入口

【Leetcode算法面试题】-1. 两数之和

文章目录 算法练习题目思路参考答案算法1算法2算法3 算法练习 面试经常会遇到算法题目&#xff0c;今天开启算法专栏&#xff0c;常用算法解析 题目 ** 给定一个整数数组 nums 和一个整数目标值 target&#xff0c;请你在该数组中找出 和为目标值 target 的那 两个 整数&…

Metasploit 渗透测试之Metasploit快速入门

简介 Metasploit 是目前世界上领先的渗透测试工具&#xff0c;也是信息安全与渗透测试领域最大的开源项目之一。它彻底改变了我们执行安全测试的方式。Metasploit之所以流行&#xff0c;是因为它可以执行广泛的安全测试任务&#xff0c;从而简化渗透测试的工作。Metasploit 适…

查看TCP/UDP网络连接通信情况

绪论​ “宿命论是那些缺乏意志力的弱者的借口。 ——罗曼&#xff0e;罗兰” 话不多说安全带系好&#xff0c;发车啦&#xff08;建议电脑观看&#xff09;。 主要使用&#xff1a; nestat -nltp n 拒绝显示别名&#xff0c;能显示数字的全部转化成数字l 仅列出有在 Listen (…

QML学习三:qml设计器报错 Line: 0: The Design Mode requires a valid Qt kit

开发环境&#xff1a;Qt 6.5.3 LTS 1、Qt 6.5.3 LTS 2、Pyside6 3、Python 3.11.4 4、win11 默认不打开设计器的时候可以看到我们默认是有Python的环境&#xff0c;而且点击运行是可以运行的。但是当打开qml设计器时提示下面这个错误&#xff0c;提示需要一个可用的套件。 …

代码随想录算法day33 | 动态规划算法part06 | 322. 零钱兑换,279.完全平方数,139.单词拆分,关于多重背包

322. 零钱兑换 如果求组合数就是外层for循环遍历物品&#xff0c;内层for遍历背包。 如果求排列数就是外层for遍历背包&#xff0c;内层for循环遍历物品。 力扣题目链接(opens new window) 给定不同面额的硬币 coins 和一个总金额 amount。编写一个函数来计算可以凑成总金额所需…

SAP学习笔记 - 开发03 - CDSView开发环境搭建,Eclipse中连接SAP,CDSView创建

上一章讲了BTP的账号创建&#xff0c;环境搭建等内容。 SAP学习笔记 - 开发02 - BTP实操流程&#xff08;账号注册&#xff0c;BTP控制台&#xff0c;BTP集成开发环境搭建&#xff09;-CSDN博客 本章继续讲SAP开发。 - CDSView 的开发环境&#xff08;Eclipse&#xff09;搭建…

“薅羊毛”时间到, 容声以旧换新“钜惠”升级

9月13日&#xff0c;由佛山市商务局、顺德区人民政府指导&#xff0c;海信家电集团主办的以旧换新佛山发布活动启幕。 海信家电&#xff08;SZ 000921&#xff0c;HK 00921&#xff09;旗下容声冰箱叠加国家以旧换新补贴&#xff0c;把“以旧换新”升级到“品质换新”&#xf…

【CTF Web】BUUCTF BUU BURP COURSE 1 Writeup(X-Real-IP伪造+POST请求)

BUU BURP COURSE 1 1 点击启动靶机。 解法 用 hackbar 将 X-Forwarded-For 设为 127.0.0.1&#xff0c;无效。提示&#xff1a;只能本地访问。 将 Referer 设为 127.0.0.1&#xff0c;无效。提示&#xff1a;只能本地访问。 将 X-Real-IP 设为 127.0.0.1&#xff0c;成功&am…

Linux 添加新用户之adduser 和 useradd 的区别 | 添加用户到 sudo 组【笔记型博文】

&#x1f947; 版权: 本文由【墨理学AI】原创首发、各位读者大大、敬请查阅、感谢三连 &#x1f389; 声明: 作为全网 AI 领域 干货最多的博主之一&#xff0c;❤️ 不负光阴不负卿 ❤️ 文章目录 ❤️ 创建新用户adduser 用法【推荐】useradd 用法 安装 sudo添加用户到 sudo 用…

uniapp数据缓存和发起网络请求

数据缓存 uni.onStorageSync同步的方式将数据存储到本地缓存 <template><button click"onStorageSync()">存储数据</button> </template><script setup>const onStorageSync () > {// 存储数据uni.setStorageSync(username, 张三)…

安防监控/视频汇聚平台EasyCVR无法启动并报错“error while loading shared libraries”,如何解决?

安防监控/视频汇聚平台EasyCVR视频管理系统以其强大的拓展性、灵活的部署方式、高性能的视频能力和智能化的分析能力&#xff0c;为各行各业的视频监控需求提供了优秀的解决方案。通过简单的配置和操作&#xff0c;用户可以轻松地进行远程视频监控、存储和查看&#xff0c;满足…