string的深入了解

1.标准库中的string类

1.1 string类

（1）字符串是表示字符序列的类
（2）标准的字符串类提供了对此类对象的支持，其接口类似于标准字符容器的接口，但添加了专门用于单字节字符字符串的设计特性。
（3）string类是使用char(即作为它的字符类型，使用它的默认char_traits和分配器类型(关于模板的更多信
息，请参阅basic_string)。
（4）string类是basic_string模板类的一个实例，它使用char来实例化basic_string模板类，并char_traits和allocator作为basic_string的默认 参数(根于更多的模板信息请参考basic_string)。
（5）注意，这个类独立于所使用的编码来处理字节:如果用来处理多字节或变长字符(如UTF-8)的序列，这个类的所有成员(如长度或大小)以及它 的迭代器，将仍然按照字节(而不是实际编码的字符)来操作。
总结：
（1）string是表示字符串的字符串类
（2）该类的接口与常规容器的接口基本相同，再添加了一些专门用来操作string的常规操作。
（3）string在底层实际是：basic_string模板类的别名，typedef basic_string<char, char_traits, allocator>string;
（4） 不能操作多字节或者变长字符的序列。在使用string类时，必须包含#include头文件以及using namespace std;

1.2 string类的常用接口说明
（1）.string类对象的常见构造

void Teststring()
{
        string s1;               //构造空的string类对象s1
        string s2("hello world"); //用C格式字符串构造string类对象s2
        stringn 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, char c)用字符c来填充多出的元素空间。注意：resize在改变元素个数时，如果是将元素个数增多，可能 会改变底层容量的大小，如果是将元素个数减少，底层空间总大小不变。
（4）reserve(size_t res_arg=0)：为string预留空间，不改变有效元素个数，当reserve的参数小于string的底层空间总大小时，reserver不会改 变容量大小。

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

4.string类对象的修改操作

注意：
（1）在string尾部追加字符时，s.push_back© / s.append(1, c) / s += 'c’三种的实现方式差不多，一般情况下string类的+=操作用的比较 多， +=操作不仅可以连接单个字符，还可以连接字符串。
（2） 对string操作时，如果能够大概预估到放多少字符，可以先通过reserve把空间预留好。

5. string类非成员函数

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

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

（1）vs下string的结构

string总共占28个字节，内部结构稍微复杂一点，先是有一个联合体，联合体用来定义string中字符串的存储空间：

• 当字符串长度小于16时，使用内部固定的字符数组来存放
• 当字符串长度大于等于16时，从堆上开辟空间

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个字节。

（2）g++下string的结构

G++下，string是通过写时拷贝实现的，string对象总共占4个字节，内部只包含了一个指针，该指针将来指向一块堆空间，内部包含了如下字段：

• 空间总大小
• 字符串有效长度
• 引用计数

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

• 指针堆空间的指针。用来存储字符串。

7.string类的模拟实现

7.1 经典的string类问题

//为了和标准库区分，此处使用String
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()
        {
               if (_str)
               {
                       delete[]_str;
                       _str = nullputr;
               }
        }
private:
        char* _str;
};
void TestString()
{
        String s1("hello world");
        String s2(s1);
}

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

7.2 浅拷贝

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

7.3 深拷贝

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

7.3.1传统版写法的String类

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;
};

7.3.2现代版写法的String类

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()
    {
        if (_str)
        {
            delete[] _str;
            _str = nullptr;
        }
    }
private:
    char* _str;
};