【C++之STL】摸清 string 的模拟实现(下)

【C++之STL】摸清 string 的模拟实现(下)

string的模拟实现系列文章:

  1. 模拟实现上
  2. 模拟实现中
  3. 模拟实现下

文章目录


7. 字符串操作

7. 1 c_str()date()

constchar*c_str()const;

返回string对象底层的字符串的指针,且不可通过返回的指针修改字符串。

实现时直接返回即可。

constchar* string::c_str()const{return _str;}

但是要注意的是,如果在使用该函数并将其返回值存储起来后,如果后续对string操作时导致string的字符串的地址发生了改变,那么之前存储起来的指针就已经失效了,是个野指针。

这个函数用来兼容一些C语言的不兼容string类型的接口。

date()接口和c_str()的效果是基本一样的。

7. 2 find()

首先是find(),它有四种重载:

size_t find(const string& str, size_t pos =0)const; size_t find(constchar* s, size_t pos =0)const; size_t find(constchar* s, size_t pos, size_t n)const; size_t find(char c, size_t pos =0)const;

虽然有四种,但它们的目的是一样的:从string对象的第pos(缺省为0)个元素开始向后查找到数据尾部,查找与 str/sn个字符完全相同的字符串,并返回第一个匹配项的第一个字符的位置,如果没有匹配项就返回npos

这里模拟实现一下第2个和第4个重载,其他重载也是同理。

size_t string::find(char c, size_t pos)const{// 首先要断言,不然会数组越界访问assert(pos < _size);// 从pos位置开始找与字符 c 相同的字符for(size_t i = pos; i < _size; i++){if(_str[i]== c)return i;}// 没找到返回 nposreturn npos;} size_t string::find(constchar* s, size_t pos)const{assert(pos < _size);// strstr是C语言中用于比较两个字符串是否相同的库函数,使用方法请看下文。char* tmp =strstr(_str + pos, s);if(tmp ==nullptr)return npos;return tmp - _str;}

补充:strstr的使用,在第10章。

如果是带有size_t n形参的函数,可以先把str/s的前n个字符拷贝出来再进行相同的过程。

而与find()功能相似的一系列函数:

// 与find()相同,只是从后往前找rfind()// 在字符串中搜索与其参数中指定的任何字符匹配的第一个字符。find_first_of()// 从后往前找find_last_of()// 找第一个不是的find_first_of()// 从后往前找第一个不是的find_last_not_of()

可以自行尝试实现,与find()其实都大同小异,这里就不再赘述了。

8. 迭代器相关

上文第三章我们提到过,可以直接使用

typedefchar* iterator;

来模拟实现迭代器,这里做进一步补充。

8. 1 迭代器实现

尽管我们已经通过这种方式得到了迭代器,但迭代器除了普通迭代器之外还有const迭代器,对于一个被const修饰的string类型,如果尝试取出一个普通迭代器,会发生权限放大;以及在一些场景下,我们不希望迭代器有对对象中的数据进行修改的权限,就可以使用const迭代器,它的声明如下:

typedefconstchar* const_iterator;

注意不要修改const_iterator这个名称!

对于普通的迭代器,当需要需要修改数据时,直接进行解引用然后修改就行了,而const迭代器虽然也能解引用,但是不能修改,只能查看数据。

8. 2 begin()

直接返回_str的第一个元素位置。

注意要实现两个版本,一个是普通版本的,还有一个const版本的。

string::iterator string::begin(){return _str;} string::const_iterator string::begin()const{return _str;}

8. 3 end()

返回指向_str的最后一个元素的下一个位置的指针。

也要提供两个版本。

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

注意迭代器区间是左开右闭的,所以end()指向的是有效数据的下一位。

rbegin()rend的实现相对复杂,这里先不讲。

9. 运算符重载

9. 1 流插入和流提取

类和对象(中)5.1章第13点我们提到过,流插入和流提取必须重载为全局函数或者使用友元,这离我们依然将其重载为全局函数。

std::ostream&operator<<(std::ostream& out,const test::string& s); std::istream&operator>>(std::istream& in, test::string& s);
  1. 流插入比较简单,只需要直接将_str插入到流中就可以了。
ostream&operator<<(ostream& out,const string& s){for(size_t i =0; i < s.size(); i++){ cout << s[i];} cout << endl;return out;}
  1. 但流提取比较复杂,因为我们不知道会插入多长的数据,所以不能直接包装 cin>>_str,我们可以每次读取一个字符,然后判断和这个字符是不是' '或者'\n',如果是就停止读取,不是就插入到字符串中。但是每次都进行插入可能会有性能问题,为了缓解这一问题,我们可以创建一个字符数组,每次读取到字符之后先放到这个字符数组中,如果这个字符数组满了或输入结束,就把它加到string对象中,这样可以缓解性能问题。

补充:istream::get()类似于getchar(),可以从流中得到一个字符。

istream&operator>>(istream& in, string& s){char ch ='\0';// 流提取会把原来的数据全部删除 s.clear();// 先提取一次,避免错误数据被插入 in.get(ch);// 临时数组char tmp[256];int times =0;while(ch !='\n'&& ch !=' '){if(times ==255){ tmp[times]='\0'; s += tmp; times =0;} tmp[times++]= ch; in.get(ch);}// 如果是输入结束,也要把tmp再次追加到string对象后面if(times !=0){ tmp[times]='\0'; s += tmp;}return in;}

9. 2 比较运算符

booloperator<(const string& s1,const string& s2);booloperator<=(const string& s1,const string& s2);booloperator>(const string& s1,const string& s2);booloperator>=(const string& s1,const string& s2);booloperator==(const string& s1,const string& s2);booloperator!=(const string& s1,const string& s2);

比较操作符虽然可以在类中重载,但也可以将其重载为全局函数。

虽然看着很多,但实际上我们只需要实现两个——==>,其他的就可以全部进行复用这两个来快速解决这六个函数了。

另外在实现operator==operator>时,也可以直接使用C语言的库函数strcmp,使用方式可见:字符串函数第六章。

booloperator>(const string& s1,const string& s2){returnstrcmp(s1.c_str(), s2.c_str())>0;}booloperator==(const string& s1,const string& s2){returnstrcmp(s1.c_str(), s2.c_str())==0;}booloperator<(const string& s1,const string& s2){return!(s1 == s2 || s1 > s2);}booloperator<=(const string& s1,const string& s2){return s1 < s2 || s1 == s2;}booloperator>=(const string& s1,const string& s2){return!(s1 < s2);}booloperator!=(const string& s1,const string& s2){return!(s1 == s2);}

10. string模拟实现的现代写法

这是两个复制重载,你觉得哪一个更好?

// 注意这个形参没有引用符号 String&operator=(String s){swap(_str, s._str);return*this;} string& string::operator=(const string& s){ string tmp(*this);clear();if(s._size > _capacity){ size_t newcapacity =2* _capacity > s._size ?2* _capacity : s._size;reserve(newcapacity);}strcpy(_str, s._str);return*this;}

实际上从性能的角度分析,第一个写法是不如第二个写法的,但是如果面试中面试官想要你快速实现一个string类的框架,那么第一个写法可以更加快速地实现出来,在这种场景是更优秀的。

现代写法体现的是复用这一思想,可以更快地帮助我们开发,也能相对减少Bug出现的可能,所以除了对性能要求特别高的情况下,都可以使用类似的思想来加快开发。

本文的许多地方已经使用了现代写法,比如赋值操作符重载和比较运算符重载。

11. 补充阅读:写时拷贝

在一些编译器如g++中,有时不会使用深拷贝,而是使用写时拷贝(也称写时才拷贝)。

其原理大致为:

  1. 对于每一个不相关的string对象,其指向的字符数组_str都有一个对应的计数器time
  2. 当发生拷贝时,直接进行浅拷贝,并time++
  3. 当有指向这块空间的string对象析构时,time--,只有在time为0时才会释放这块空间
  4. 如果在析构之前,有对象尝试对这块空间的数据进行修改(写入),就会进行深拷贝,让这个对象指向一块新的空间。

那么通过这个原理我们可以看出,如果是一些string对象指向同一块空间并且都不进行修改的情况,写时拷贝可谓如鱼得水,效率相对我们之前使用的读时拷贝效率高了非常多。

但写时拷贝也有一定的缺陷:C++的std::string的“读时也拷贝”技术! | 酷 壳 - CoolShell

谢谢你的阅读,喜欢的话来个点赞收藏评论关注吧!
我会持续更新更多优质文章

Read more

【C++模版】泛型编程:代码复用的终极利器

【C++模版】泛型编程:代码复用的终极利器

目录 一、泛型编程 1.1 为什么需要泛型编程? 1.2 模板:泛型编程的基础 二、函数模板 2.1 函数模板的定义格式 2.2 函数模板的原理 2.3 函数模板的实例化 2.3.1 隐式实例化 2.3.2 显式实例化 2.4 模板参数的匹配原则 ☃. 小彩蛋: 模板中::的二义性问题 三、类模板 3.1 类模板的定义格式 3.2 类模板的实例化 四、非类型模板参数  4.1 核心概念与语法 经典案例:实现编译期定长数组

By Ne0inhk
【C++笔记】STL知识铺垫

【C++笔记】STL知识铺垫

前言:          在前面的学习中,我们已经掌握了C++的基础语法和编程概念,本文将深入探讨C++标准库的使用,并详细介绍迭代器、auto关键字以及范围for循环等相关知识。          一、STL简介          1.1 什么是STL          STL(Standard Template Library,标准模板库)是C++标准库的核心组成部分,它不仅提供了可复用的组件库,更是一个集成了高效数据结构与算法的软件框架。          1.2 STL的六大组件          由于历史原因,string 类型先于 STL 出现,STL 后来由惠普实验室开发并开源,因此人们通常不将 string 归入 STL 范畴。                   二、迭代器                  迭代器(Iterator)是 C++ STL 中最精妙的设计之一,如果把 STL 的容器比作各种不同类型的仓库(数组、链表、

By Ne0inhk
2026年3月GESP真题及题解(C++一级):数字替换

2026年3月GESP真题及题解(C++一级):数字替换

2026年3月GESP真题及题解(C++一级):数字替换 题目描述 Alice 不喜欢 4,喜欢 8,她想把 4 全换成 8,若无 4 则不修改。 输入格式 输入一行,一个整数 A,表示替换前的数。 输出格式 输出一行,包含一个整数 B,表示替换后的数。 样例 样例 1: 输入: 8459045 输出: 8859085 样例 2: 输入: 123 输出: 123 数据范围 * 0 ≤ A ≤ 10 9 0 \leq A \leq 1

By Ne0inhk
手写一个C++ TCP服务器实现自定义协议(顺便解决粘包问题)

手写一个C++ TCP服务器实现自定义协议(顺便解决粘包问题)

在之前的博客中,我们了解了关于UDP和TCP的网络编程,直观的感受了一下网络套接字是如何使用的,并且成功的完成了客户端与服务端的网络通信,但是其中还有一个小细节我们可能会忽略,就是UDP是基于数据报进行传输的,一下子就将所有我们要发送的信息传送给对方,但是我们的TCP可是基于字节流进行传输的,我们如何保证读取上来的数据,是一个完整的报文呢? 我们在进行TCP网络通信的时候,通过调用connec函数调用,使客户端可以和服务端保持链接之后,客户端将自己想要发送的数据通过write系统调用写进对应的socket函数调用给我们返回的文件描述符所对应的文件中。 现在有一个问题就是我们向文件中写入的时候,直接将其放入即可,但是想要往出拿的时候就有点困难了,想要往出拿的人如果不知道放的人是如何放的,就会造成一系列的错误,这就好比放数据时先放了一个整形,又放了一个浮点数,还放了一个字符串,然而拿的人按照字符串,整形,浮点数这样的方式进行获取,这就会导致数据不一致的现象,所以一旦我们要发送一些带有结构化的数据时,就必须再次制定——协议,这样才能满足我们想要返送一些结构化数据的需求。 TCP是传输控

By Ne0inhk