链接: 认识使用string类

前文已经讲解过如何使用string类，下面主要讲解如何模拟实现常用的string类函数，以及对深拷贝和浅拷贝的讲解。

模拟实现string类

namespace imitate
{class string{};
}

首先创建一个命名空间域，这个域被用来模拟string类。

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

类中的私有成员变量同顺序表一样，包括字符数组、无符号整型_size和_capcity。

	public:string(const char* str = ""){_size = strlen(str);_capacity = strlen(str);_str = new char[_capacity + 1];memcpy(_str, str, _size + 1);}

类中模拟实现默认构造函数，内置成员变量类型未写在初始化列表是因为_str的初始化需要动态开辟。

		~string(){delete[] _str;_str = nullptr;_size = _capacity = 0;}

模拟实现默认析构函数。

		const char* c_str() const{return _str;}

模拟实现返回c字符串函数，方便后续验证。

		size_t size() const{return _size;}

模拟实现size函数，可以获取字符串的长度

		char& operator[](size_t pos){assert(pos <= _size);return _str[pos];}

		const char& operator[](size_t pos) const{assert(pos <= _size);return _str[pos];}

模拟实现operator[ ]函数，可以用于遍历字符串；前者是用于可以修改的字符串；后者是用于不可修改的字符串。

		typedef char* iterator;typedef const 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;}

模拟实现迭代器，可以用于遍历或者范围for的使用。

		void reserve(size_t n = 0){if (n > _capacity){char* tmp = new char[n + 1];memcpy(tmp, _str, _size);delete[] _str;_capacity = n;_str = tmp;}}

模拟实现reserve()函数，用于请求字符串容量，new char[n+1]是为了后续扩容时，保证可以将’\0’录入

		void push_back(char c){if (_capacity == _size){//二倍扩容:判断_capacity是否为空reserve(_capacity == 0 ? 4 : _capacity * 2);}_str[_size] = c;++_size;_str[_size] = '\0';}

模拟实现push_back()函数，后增一个字符。

		string& append(const char* s){size_t len = strlen(s);if (_size + len > _capacity){reserve(_size + len);}memcpy(_str + _size, s, _size + len + 1);_size += len;return *this;}

模拟实现append()函数，后增字符串。

		string& operator+=(char c){push_back(c);return *this;}string& operator+=(const char* str){append(str);return *this;}

模拟实现operator+=()函数，方便字符串的后增。

	class string{public:const static size_t npos;};const size_t string::npos = -1;

模拟一个静态成员变量，静态成员变量的初始化需要在类外面。

		void insert(size_t pos, size_t n, char c){assert(pos <= _size);if (_size + n > _capacity){reserve(_size + n);}//挪动数据size_t end = _size;//end不等于npos是为了防止原字符串为空while (end >= pos && end != npos){_str[end + n] = _str[end];--end;}//添加数据for (size_t i = pos; i < n + pos; ++i){_str[i] = c;}_size += n;}

		void insert(size_t pos, const char* str){assert(pos <= _size);size_t len = strlen(str);if (_size + len > _capacity){reserve(_size + len);}//挪动数据size_t end = _size;//end不等于npos是为了防止原字符串为空while (end >= pos && end != npos){_str[end + len] = _str[end];--end;}//添加数据for (size_t i = 0; i < len; ++i){_str[i + pos] = str[i];}_size += len;}

模拟实现insert()函数，用于插入n个字符或者字符串。

		void erase(size_t pos, size_t len = npos){assert(pos <= _size);if (pos + len >= _size || len == npos){_str[pos] = '\0';_size = pos;}else{size_t end = pos + len;while (end <= _size){_str[pos++] = _str[end++];}_size -= len;}}

模拟实现erase()函数，用于实现擦除字符串。

		size_t find(char c, size_t pos = 0){assert(pos <= _size);for (int i = pos; i < _size; ++i){if (_str[i] == c){return i;}}return npos;}

模拟实现find()函数，用于查找字符

		string substr(size_t pos = 0, size_t len = npos){assert(pos <= _size);size_t n = len;if (pos + len >= _size || len == npos){n = _size - pos;}string tmp;reserve(n);for (int i = 0; i < n; ++i){tmp[i] = _str[pos + i];}return tmp;

模拟实现substr()，用于实现生成子字符串。

		void resize(size_t n, char ch = '\0'){if (n < _size){_str[n] = '\0';_size = n;}else{reserve(n);for (size_t i = _size; i < n; ++i){_str[i] = ch;}_str[n] = '\0';_size = n;}}

模拟实现resize()，用于调整字符串。在调整字符串的过程中有三种情况：1.当n小于_size时，不需要扩容；2.当n大于_size时，不需要扩容；3.当n大于_size时，需要扩容。

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

使用不设置友元的运算符重载函数operator<<()，用于流插入。在使用流提取需要注意流插入是打印全部内容，而c.str()函数可以打印到’\0’。

c的字符数组，以’\0’为终止计算长度。
string不关注’\0’，以_size终止计算长度。

		void clear(){_str[0] = '\0';_size = 0;}

模拟实现clear()函数，用于清理字符串。

	std::istream& operator>>(std::istream& in, string& s){s.clear();char ch;ch = in.get();while (ch == ' ' || ch == '\n'){ch = in.get();}char buff[128] = "\0";size_t i = 0;while (ch != ' ' && ch != '\n'){buff[i++] = ch;if (i == 127){buff[127] = '\0';s += buff;i = 0;}ch = in.get();}if (i != 0){buff[i] = '\0';s += buff;}return in;}

模拟实现无友元的运算符重载函数operator>>()，用于流提取。
【注意】
1.字符串不能使用const
2.in>>ch无法读取’ ‘以及’\0’，会导致一直处于流提取的状态，所以需要in.get()函数读每一个字符。
3.再次输入数组是，上一次数据尚未清理，导致打印俩次内容，所以需要补充clear()函数。
4.数据太多可以会导致扩容次数太多，推荐设置一个char类型的数据，一次性提取。
5.需要除去字符串前面的’ ’ 和’\n’，所以需要将其循环掉。

		bool operator<(const string& s){size_t i1 = 0;size_t i2 = 0;while (i1 < _size && i2 << s._size){if (_str[i1] < _str[i2]){return true;}else if (_str[i1] > _str[i2]){return false;}else{++i1;++i2;}}//三种情况：//"hello" "hello"//"helloxxx" "hello"//"hello" "helloxxx"return (_size >= s._size) ? false : true;}bool operator==(const string& s){return _size == s._size && memcmp(_str, s._str, _size) == 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);}

模拟实现用于比较的运算符重载函数，需要注意的是，比较字符串的时候是比较ASCII码值，在模拟实现的过程中需要注意上述的三种情况。

浅拷贝与深拷贝

上述已经模拟实现了实际中常使用的string类，但是有一个核心的知识点没有讲解，就是拷贝构造。

	imitate::string s1("hello world");imitate::string s2(s1);

使用上述代码进行测试，如果执行的是编译器实现的默认拷贝构造，则s2的_size、_capacity会与s1相同，但是s2._str并不会自动动态开辟空间，而会指向s1，当结束时，会对这块空间析构俩次。

	imitate::string s1("hello world");imitate::string s2("xxxxxxxxxxx");s1 = s2;

同样，这段代码也会出现相同的问题，"hello world"这快空间不会被释放，而"xxxxxxxxxx"这块空间会被释放俩次。

上述俩个例子的string类没有显示定义其拷贝构造函数，此时编译器会合成默认的，当s1构造s2时，编译器会调用默认的拷贝构造。最终会导致s1与s2共用同一块内存空间，在释放时同一块空间被释放多次会导致程序崩溃，而这种拷贝方式被称为浅拷贝。

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

		string(const string& s){_size = s._size;_capacity = s._capacity;size_t len = strlen(s._str);_str = new char[len + 1];memcpy(_str, s._str, len + 1);}

我们可以自己实现一个拷贝构造函数，即采用深拷贝的方式解决问题，每一个对象都有一份独立的资源，不要和其他对象共享。

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

		string(const string& s){size_t len = strlen(s._str);_str = new char[len + 1];memcpy(_str, s._str, len + 1);_size = s._size;_capacity = s._capacity;}

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

这俩种方式是传统版写法的string类。

		string& operator=(const string& s){if (*this != s){string tmp(s);std::swap(_size, tmp._size);std::swap(_capacity, tmp._capacity);std::swap(_str, tmp._str);}return *this;}

		string& operator=(string tmp){if (*this != tmp){std::swap(_size, tmp._size);std::swap(_capacity, tmp._capacity);std::swap(_str, tmp._str);}return *this;}

这俩种方式是现代版本的深拷贝，现代版本的深拷贝利用了每一个函数的析构。

写时拷贝（了解）

进行拷贝构造时，深拷贝和浅拷贝可能存在部分问题。
对于深拷贝而言：如果只是对数据进行拷贝，而并未对数据继续修改等操作，那么深拷贝的代价可能会比较大；
对于浅拷贝而言：核心问题有俩个，其一是会对同一块空间析构俩次，其二是当一个对象被修改时，另外一个对像也会随之修改。

这里可以采用的办法是，先对数据进行浅拷贝，添加一个数据，对一块空间进行引用计数。
引用计数：用来记录资源使用者的个数。在构造时，将资源的计数给成1，每增加一个对象使用改资源，就给计数增加1，当某个对象被销毁时，先给该计数减1，然后再检查是否需要释放资源，如果计数为1，说明该对象此时为资源的最后一个使用者，将该资源释放；否则就不能释放，将计数器减一即可，因为还有其他对象再使用该资源。

这里就可以很好的解决浅拷贝的析构问题，但是当一个对象被修改时，另外一个对象也会修改，此时采取的办法是进行写时拷贝。

写时拷贝，可以看作是一种拖延症，写时拷贝是在引用计数的基础上进行修改的，如果引用计数的值不为1，则进入深拷贝，再对其进行修改。

在gcc环境下，采取的是写时拷贝：

在vs环境下，采取的是深拷贝：

string类的模拟实现代码

#pragma once
#define _CRT_SECURE_NO_WARNINGS 1
#include<iostream>
#include<assert.h>namespace imitate
{class string{public:string(const char* str = ""){_size = strlen(str);_capacity = strlen(str);_str = new char[_capacity + 1];memcpy(_str, str, _size + 1);}string(const string& s){size_t len = strlen(s._str);_str = new char[len + 1];memcpy(_str, s._str, len + 1);_size = s._size;_capacity = s._capacity;}//string& operator=(const string& s)//{//	if (*this != s)//	{//		delete[] _str;//		_str = new char[strlen(s._str) + 1];//		_size = s._size;//		_capacity = s._capacity;//	}//	return *this;//}//string& operator=(const string& s)//{//	if (*this != s)//	{//		string tmp(s);//		std::swap(_size, tmp._size);//		std::swap(_capacity, tmp._capacity);//		std::swap(_str, tmp._str);//	}//	return *this;//}string& operator=(string tmp){if (*this != tmp){std::swap(_size, tmp._size);std::swap(_capacity, tmp._capacity);std::swap(_str, tmp._str);}return *this;}~string(){delete[] _str;_str = nullptr;_size = _capacity = 0;}const char* c_str() const{return _str;}size_t size() const{return _size;}char& operator[](size_t pos){assert(pos <= _size);return _str[pos];}const char& operator[](size_t pos) const{assert(pos <= _size);return _str[pos];}typedef char* iterator;typedef const 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;}void reserve(size_t n = 0){if (n > _capacity){char* tmp = new char[n + 1];memcpy(tmp, _str, _size);delete[] _str;_str = tmp;_capacity = n;}}void push_back(char c){if (_capacity == _size){//二倍扩容:判断_capacity是否为空reserve(_capacity == 0 ? 4 : _capacity * 2);}_str[_size] = c;++_size;_str[_size] = '\0';}string& append(const char* s){size_t len = strlen(s);if (_size + len > _capacity){reserve(_size + len);}memcpy(_str + _size, s, _size + len + 1);_size += len;return *this;}string& operator+=(char c){push_back(c);return *this;}string& operator+=(const char* str){append(str);return *this;}void insert(size_t pos, size_t n, char c){assert(pos <= _size);if (_size + n > _capacity){reserve(_size + n);}//挪动数据size_t end = _size;//end不等于npos是为了防止原字符串为空while (end >= pos && end != npos){_str[end + n] = _str[end];--end;}//添加数据for (size_t i = pos; i < n + pos; ++i){_str[i] = c;}_size += n;}void insert(size_t pos, const char* str){assert(pos <= _size);size_t len = strlen(str);if (_size + len > _capacity){reserve(_size + len);}//挪动数据size_t end = _size;//end不等于npos是为了防止原字符串为空while (end >= pos && end != npos){_str[end + len] = _str[end];--end;}//添加数据for (size_t i = 0; i < len; ++i){_str[i + pos] = str[i];}_size += len;}void erase(size_t pos, size_t len = npos){assert(pos <= _size);if (pos + len >= _size || len == npos){_str[pos] = '\0';_size = pos;}else{size_t end = pos + len;while (end <= _size){_str[pos++] = _str[end++];}_size -= len;}}size_t find(char c, size_t pos = 0){assert(pos <= _size);for (size_t i = pos; i < _size; ++i){if (_str[i] == c){return i;}}return npos;}string substr(size_t pos = 0, size_t len = npos){assert(pos <= _size);size_t n = len;if (pos + len >= _size || len == npos){n = _size - pos;}string tmp;reserve(n);for (size_t i = 0; i < n; ++i){tmp[i] = _str[pos + i];}return tmp;}void resize(size_t n, char ch = '\0'){if (n < _size){_str[n] = '\0';_size = n;}else{reserve(n);for (size_t i = _size; i < n; ++i){_str[i] = ch;}_str[n] = '\0';_size = n;}}void clear(){_str[0] = '\0';_size = 0;}bool operator<(const string& s){size_t i1 = 0;size_t i2 = 0;while (i1 < _size && i2 << s._size){if (_str[i1] < _str[i2]){return true;}else if (_str[i1] > _str[i2]){return false;}else{++i1;++i2;}}//三种情况：//"hello" "hello"//"helloxxx" "hello"//"hello" "helloxxx"return (_size >= s._size) ? false : true;}bool operator==(const string& s){return _size == s._size && memcmp(_str, s._str, _size) == 0;}bool operator!=(const string& s){return !(_str == s._str);}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);}private:char* _str;size_t _size;size_t _capacity;public:const static size_t npos;};const size_t string::npos = -1;std::ostream& operator<<(std::ostream& out,const string& s){for (size_t i = 0; i < s.size(); ++i){out << s[i];}return out;}std::istream& operator>>(std::istream& in, string& s){s.clear();char ch;ch = in.get();while (ch == ' ' || ch == '\n'){ch = in.get();}char buff[128] = "\0";size_t i = 0;while (ch != ' ' && ch != '\n'){buff[i++] = ch;if (i == 127){buff[127] = '\0';s += buff;i = 0;}ch = in.get();}if (i != 0){buff[i] = '\0';s += buff;}return in;}
}