C++刷怪笼(7)string类

目录

1.前言

2.正文

2.1标准库中的string类

2.1.1string类

2.1.2auto和范围for

2.1.3string类的常用接口说明

2.2string类的模拟实现

2.2.1经典的string类问题

2.2.2浅拷贝

2.2.3深拷贝

​编辑

2.2.4写时拷贝

3.小结


1.前言

前面我们对C++的封装这一大特性进行了详细的学习,接下来我们来欣赏C++的另一大杰作------STL容器。其包含许多工具,其中string类就是最常见的工具之一。

我们为什么要熟练掌握string类?

首先,C语言中,字符串是以'\0'结尾的一些字符的集合,为了操作方便,C标准库中提供了一些str系列的库函数,但是这些库函数与字符串是分离开的,不太符合OOP的思想,而且底层空间需要用户自己管理,稍不留神可能还会越界访问。、

另外,在OJ中,有关字符串的题目基本以string类的形式出现,而且在常规工作中,为了简单、方便、快捷,基本都使用string类,很少有人去使用C库中的字符串操作函数。

2.正文

2.1标准库中的string类

2.1.1string类

我们可以在string - C++ Reference (cplusplus.com)里面详细了解string类(英文文档,较难阅读,需静心看)

在使用string类时,必须包含#include头文件以及using namespace std;

2.1.2auto和范围for

auto关键字

在这里补充2个C++11的小语法:

1.在早期C/C++中auto的含义是:使用auto修饰的变量,是具有自动存储器的局部变量,后来这个不重要了。C++11中,标准委员会变废为宝赋予了auto全新的含义即:auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。

2.用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须加&

3.当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量。

4.auto不能作为函数的参数,可以做返回值,但是建议谨慎使用

5.auto不能直接用来声明数组

cpp 复制代码
#include<iostream>
using namespace std;
int func1()
{
    return 10;
} 
// 不能做参数
void func2(auto a)
{}
// 可以做返回值,但是建议谨慎使用
auto func3()
{
    return 3;
} 
int main()
{
    int a = 10;
    auto b = a;
    auto c = 'a';
    auto d = func1();
    // 编译报错:rror C3531: "e": 类型包含"auto"的符号必须具有初始值设定项
    auto e;
    cout << typeid(b).name() << endl;
    cout << typeid(c).name() << endl;
    cout << typeid(d).name() << endl;
    int x = 10;
    auto y = &x;
    auto* z = &x;
    auto& m = x;
    cout << typeid(x).name() << endl;
    cout << typeid(y).name() << endl;
    cout << typeid(z).name() << endl;
    auto aa = 1, bb = 2;
    // 编译报错:error C3538: 在声明符列表中,"auto"必须始终推导为同一类型
    auto cc = 3, dd = 4.0;
    // 编译报错:error C3318: "auto []": 数组不能具有其中包含"auto"的元素类型
    auto array[] = { 4, 5, 6 };
    return 0;
}
cpp 复制代码
#include<iostream>
#include <string>
#include <map>

using namespace std;

int main()
{
    std::map<std::string, std::string> dict = { { "apple", "苹果" },{ "orange",
    "橙子" }, {"pear","梨"} };
    // auto的用武之地
    //std::map<std::string, std::string>::iterator it = dict.begin();
    auto it = dict.begin();
    while (it != dict.end())
    {
        cout << it->first << ":" << it->second << endl;
        ++it;
    }
    return 0;
}

范围for

1.对于一个有范围的集合而言,由程序员来说明循环的范围是多余的,有时候还会容易犯错误。因此C++11中引入了基于范围的for循环。for循环后的括号由冒号" :"分为两部分:第一部分是范围内用于迭代的变量,第二部分则表示被迭代的范围,自动迭代,自动取数据,自动判断结束。

2.范围for可以作用到数组和容器对象上进行遍历。

3.范围for的底层很简单,容器遍历实际就是替换为迭代器,这个从汇编层也可以看到。

cpp 复制代码
#include<iostream>
#include <string>
#include <map>

using namespace std;

int main()
{
    int array[] = { 1, 2, 3, 4, 5 };
    // C++98的遍历
    for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i)
    {
        array[i] *= 2;
    } 
    for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i)
    {
        cout << array[i] << endl;
    } 
    // C++11的遍历
    for (auto& e : array)
        e *= 2;
    for (auto e : array)
        cout << e << " " << endl;
    string str("hello world");
    for (auto ch : str)
    {
        cout << ch << " ";
    } 
    cout << endl;
    return 0;
}

2.1.3string类的常用接口说明

  1. string类对象的常见构造
cpp 复制代码
void Teststring()
{
    string s1; // 构造空的string类对象s1
    string s2("hello bit"); // 用C格式字符串构造string类对象s2
    string s3(s2); // 拷贝构造s3
}

2.string类对象的容量操作

注意:

  1. size()与length()方法底层实现原理完全相同,引入size()的原因是为了与其他容器的接口保持一致,一般情况下基本都是用size()。

  2. clear()只是将string中有效字符清空,不改变底层空间大小。

  3. resize(size_t n) 与 resize(size_t n, char c)都是将字符串中有效字符个数改变到n个,不同的是当字符个数增多时:resize(n)用0来填充多出的元素空间,resize(size_t n, charc)用字符c来填充多的元素空间。注意:resize在改变元素个数时,如果是将元素个数增多,可能会改变底层容量的大小,如果是将元素个数减少,底层空间总大小不变。

  4. reserve(size_t res_arg=0):为string预留空间,不改变有效元素个数,当reserve的参数小于string的底层空间总大小时,reserver不会改变容量大小。

  5. string类对象的访问及遍历操作

  6. string类对象的修改操作

注意:

  1. 在string尾部追加字符时,s.push_back(c) / s.append(1, c) / s += 'c'三种的实现方式差不多,一般情况下string类的+=操作用的比较多,+=操作不仅可以连接单个字符,还可以连接字符串。

  2. 对string操作时,如果能够大概预估到放多少字符,可以先通过reserve把空间预留好

  3. string类非成员函数

  1. vs和g++下string结构的说明

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

vs下string的结构

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

string中字符串的存储空间:

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

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

cpp 复制代码
union _Bxty
{   // storage for small buffer or pointer to larger one
    value_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个字节

g++下string的结构

G++下,string是通过写时拷贝实现的,string对象总共占4个字节,内部只包含了一个

指针,该指针将来指向一块堆空间,内部包含了如下字段:

空间总大小

字符串有效长度

引用计数

cpp 复制代码
struct _Rep_base
{
    size_type _M_length;
    size_type _M_capacity;
    _Atomic_word _M_refcount;
};

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

2.2string类的模拟实现

2.2.1经典的string类问题

上面已经对string类进行了简单的介绍,大家只要能够正常使用即可。在面试中,面试官总喜欢让

学生自己来模拟实现string类,最主要是实现string类的构造、拷贝构造、赋值运算符重载以及析构函数。大家看下以下string类的实现是否有问题?

cpp 复制代码
// 为了和标准库区分,此处使用String
class String
{ p
ublic:
/*String()
:_str(new char[1])
{*_str = '\0';}
*/
//String(const char* str = "\0") 错误示范
//String(const char* str = nullptr) 错误示范
String(const char* str = "")
{
    // 构造String类对象时,如果传递nullptr指针,可以认为程序非
    if (nullptr == str)
    {
        assert(false);
        return;
    } 
    _str = new char[strlen(str) + 1];
    strcpy(_str, str);
} 
~String()
    {
        if (_str)
        {
            delete[] _str;
        _str = nullptr;
        }
    }
private:
    char* _str;
};
// 测试
void TestString()
{
    String s1("hello bit!!!");
    String s2(s1);
}

说明:上述String类没有显式定义其拷贝构造函数与赋值运算符重载,此时编译器会合成默认的,当用s1构造s2时,编译器会调用默认的拷贝构造。最终导致的问题是,s1、s2共用同一块内存空间,在释放时同一块空间被释放多次而引起程序崩溃,这种拷贝方式,称为浅拷贝。

2.2.2浅拷贝

浅拷贝:也称位拷贝,编译器只是将对象中的值拷贝过来。如果对象中管理资源,最后就会导致

多个对象共享同一份资源,当一个对象销毁时就会将该资源释放掉,而此时另一些对象不知道该

资源已经被释放,以为还有效,所以当继续对资源进项操作时,就会发生发生了访问违规。

就像一个家庭中有两个孩子,但父母只买了一份玩具,两个孩子愿意一块玩,则万事大吉,万一

不想分享就你争我夺,玩具损坏。

可以采用深拷贝解决浅拷贝问题,即:每个对象都有一份独立的资源,不要和其他对象共享。父

母给每个孩子都买一份玩具,各自玩各自的就不会有问题了。

2.2.3深拷贝

如果一个类中涉及到资源的管理,其拷贝构造函数、赋值运算符重载以及析构函数必须要显式给

出。一般情况都是按照深拷贝方式提供。

传统写法下的string类:

cpp 复制代码
class String
{ 
public:
    String(const char* str = "")
    {
        // 构造String类对象时,如果传递nullptr指针,可以认为程序非
        if (nullptr == str)
        {
            assert(false);
            return;
        } 
    _str = new char[strlen(str) + 1];
    strcpy(_str, str);
}
 
    String(const String& s)
        : _str(new char[strlen(s._str) + 1])
    {
        strcpy(_str, s._str);
    }
 
    String& operator=(const String& s)
    {
        if (this != &s)
    {
        char* pStr = new char[strlen(s._str) + 1];
        strcpy(pStr, s._str);
        delete[] _str;
        _str = pStr;
    } 
    return *this;
} 
~String()
{
    if (_str)
    {
        delete[] _str;
        _str = nullptr;
    }
}
private:
    char* _str;
};

以下是现代版写法的string类:

cpp 复制代码
class String
{ 
public:
    String(const char* str = "")
    {
        if (nullptr == str)
        {
            assert(false);
            return;
        } 
        _str = new char[strlen(str) + 1];
        strcpy(_str, str);
    } 
    String(const String& s)
        : _str(nullptr)
        {
            String strTmp(s._str);
            swap(_str, strTmp._str);
        } 
    // 对比下和上面的赋值那个实现比较好?
    String& operator=(String s)
    {
        swap(_str, s._str);
        return *this;
    } 
/*
String& operator=(const String& s)
{
if(this != &s)
{
String strTmp(s);
swap(_str, strTmp._str);
} r
eturn *this;
} */
    ~String()
    {
        if (_str)
        {
            delete[] _str;
            _str = nullptr;
        }
    }
private:
    char* _str;
};

2.2.4写时拷贝

写时拷贝就是一种拖延症,是在浅拷贝的基础之上增加了引用计数的方式来实现的。

引用计数:用来记录资源使用者的个数。在构造时,将资源的计数给成1,每增加一个对象使用该

资源,就给计数增加1,当某个对象被销毁时,先给该计数减1,然后再检查是否需要释放资源,

如果计数为1,说明该对象时资源的最后一个使用者,将该资源释放;否则就不能释放,因为还有

其他对象在使用该资源。

3.小结

string类在日常学习和刷题中是很常见的,大家在看完后一定要多去刷题,掌握了解string的用法,这样才能达到真正的目的,刚看完确实觉得懂了,但过了一段时间再学就会生疏,大家一定要勤奋一点,练起来,一起进步,一起加油。

相关推荐
学习前端的小z几秒前
【前端】深入理解 JavaScript 逻辑运算符的优先级与短路求值机制
开发语言·前端·javascript
神仙别闹8 分钟前
基于C#和Sql Server 2008实现的(WinForm)订单生成系统
开发语言·c#
XINGTECODE9 分钟前
海盗王集成网关和商城服务端功能golang版
开发语言·后端·golang
我们的五年18 分钟前
【Linux课程学习】:进程程序替换,execl,execv,execlp,execvp,execve,execle,execvpe函数
linux·c++·学习
zwjapple25 分钟前
typescript里面正则的使用
开发语言·javascript·正则表达式
小五Five27 分钟前
TypeScript项目中Axios的封装
开发语言·前端·javascript
前端每日三省28 分钟前
面试题-TS(八):什么是装饰器(decorators)?如何在 TypeScript 中使用它们?
开发语言·前端·javascript
凡人的AI工具箱41 分钟前
15分钟学 Go 第 60 天 :综合项目展示 - 构建微服务电商平台(完整示例25000字)
开发语言·后端·微服务·架构·golang
做人不要太理性1 小时前
【C++】深入哈希表核心:从改造到封装,解锁 unordered_set 与 unordered_map 的终极奥义!
c++·哈希算法·散列表·unordered_map·unordered_set
程序员-King.1 小时前
2、桥接模式
c++·桥接模式