1. 从“会用”到“懂它”为什么我们需要模拟实现string在C的世界里std::string大概是除了int之外程序员们接触最多、也最“离不开”的一个类了。从新手期的cout “Hello World” endl;到项目里复杂的文本解析、日志处理、网络通信string的身影无处不在。它封装了字符数组的复杂性提供了size(),find(),substr(),append()等一系列便捷的接口让我们能像操作基本类型一样安全、高效地处理字符串。但不知道你有没有过这样的疑问这个用起来如此顺手的string它的内部到底是怎么工作的当我们写下string s1 “hello”; string s2 s1;时背后是简单的内存拷贝吗s1 “ world”;在内存不足时它是如何悄无声息地完成扩容的为什么说const string是函数传参的“最佳实践”这些问题仅仅停留在“会用”的层面是找不到答案的。模拟实现一个简化版的string类正是深入理解这些问题的“金钥匙”。这绝不是一个象牙塔里的练习题而是一次直击C核心的实战演练。通过亲手搭建你会深刻理解资源管理RAII构造函数如何分配内存析构函数如何释放内存这是C管理动态资源的基石。拷贝控制深拷贝与浅拷贝的巨大差异以及拷贝构造函数、拷贝赋值运算符operator为何是C类设计的重中之重。这也是面试中“手写string”这道经典题目的核心考察点。操作符重载如何让自定义类型像内置类型一样支持,,,[]等操作提升代码的直观性和易用性。迭代器设计理解标准库容器的通用访问模式为学习vector,list等打下基础。性能与异常安全在实现insert,erase,等操作时如何避免不必要的内存重新分配并保证在发生异常时程序状态依然可控。接下来我将以一个名为MyString的类的实现过程为例带你从零开始一步步拆解string的核心机制。我们会先回顾标准库string的常用姿势然后深入模拟实现的每一个细节最后分享一些只有踩过坑才知道的调试心得和性能优化技巧。无论你是正在准备面试还是希望夯实C基础这篇文章都将是一份详实的实战指南。2. 温故知新std::string的核心接口与使用陷阱在动手造轮子之前我们必须先清楚这个轮子应该长什么样、怎么用。std::string的接口非常丰富但核心使用模式可以归纳为以下几类。理解这些不仅能指导我们的模拟实现也能在日常编码中避开许多坑。2.1 构造、赋值与基本操作string提供了多种构造函数最常用的有以下几种std::string s1; // 默认构造空字符串 std::string s2(hello); // 从C风格字符串构造 std::string s3(s2); // 拷贝构造 std::string s4(5, A); // 构造包含5个A的字符串 AAAAA std::string s5(s2, 1, 3); // 从s2的下标1开始取3个字符得到 ell赋值操作同样灵活s1 world; // 从C字符串赋值 s1 s2; // 从另一个string赋值 s1 !; // 赋值为单个字符 s1.assign(cpp, 2); // 赋值为cpp的前2个字符 cp注意std::string的拷贝构造和赋值操作都是深拷贝。这意味着s2 s1;之后s2拥有自己独立的一份字符串数据副本修改s1不会影响s2。这是我们模拟实现时必须保证的核心行为。2.2 容量与大小操作这是string动态管理内存的体现也是性能关键点。size()/length(): 返回字符串有效字符长度不包含结尾的\0。capacity(): 返回当前已分配存储空间能容纳的字符总数通常 size()。empty(): 判断是否为空串。reserve(size_t n):请求将容量调整为至少n个字符。这是一个非常重要的优化函数。如果你预先知道字符串最终会变得很大提前调用reserve可以避免后续追加操作中多次、小规模的内存重新分配极大提升性能。resize(size_t n, char c): 改变字符串的size()为n。如果n size()多出的部分用字符c填充如果n size()则截断字符串。2.3 元素访问与修改string提供了多种安全的和不安全的方式访问元素。operator[](size_t pos): 返回下标pos处字符的引用。不检查下标越界访问效率高但需程序员自己保证安全。at(size_t pos): 功能同[]但会进行边界检查如果pos size()则抛出std::out_of_range异常。front()/back(): 返回首/尾字符的引用。c_str(): 返回一个指向以\0结尾的字符数组C风格字符串的指针。常用于需要与C语言API交互的场景如printf(“%s”, s.c_str());。data()(C11后): 返回指向底层字符数组的指针不保证以\0结尾但在C11后对于std::stringdata()返回的指针指向的数组也是以\0结尾的。修改操作主要包括追加、插入、删除和替换std::string s Hello; s.push_back(!); // s Hello! s.append( World); // s Hello! World s C; // s Hello! World C (最常用的追加方式) s.insert(6, My ); // 在下标6处插入s Hello! My World C s.erase(6, 3); // 从下标6开始删除3个字符s Hello! World C s.replace(7, 5, There); // 从下标7开始5个字符替换为Theres Hello! There C2.4 字符串操作与查找这是string作为“字符串”类最强大的功能之一。find(): 查找子串或字符首次出现的位置。rfind(): 从后向前查找。substr(): 提取子串。compare(): 比较两个字符串。std::string s Hello World C Programming; size_t pos s.find(World); // pos 6 std::string sub s.substr(6, 5); // sub World if (s.compare(0, 5, Hello) 0) { // 前5个字符等于Hello }2.5 一个常见的性能陷阱循环中的operator这是一个新手甚至有些老手都可能忽略的问题。std::string result; for (int i 0; i 10000; i) { result some data ; // 潜在的性能瓶颈 }在循环中反复使用string可能会进行多次内存重新分配realloc。每次分配都可能涉及申请新内存、拷贝旧数据、释放旧内存成本很高。优化方法就是前面提到的reservestd::string result; result.reserve(10000 * 10); // 预先估算并保留足够空间 for (int i 0; i 10000; i) { result some data ; }这个简单的习惯在处理大量字符串拼接时性能提升可能是数量级的。3. 蓝图设计MyString类的核心数据结构与接口规划现在我们开始设计自己的MyString。目标是实现一个具备基本功能、能清晰展示底层原理的简化版string。3.1 成员变量设计std::string的实现有多种如早期常见的“拷贝写时复制COW”和现在主流的“短字符串优化SSO”。为了聚焦于核心的资源管理与拷贝控制我们的MyString采用最直观的设计char* _str: 一个指针指向动态分配的、存储字符串字符的堆内存。这块内存的末尾会额外包含一个\0作为结束符。size_t _size: 记录字符串的当前有效长度不包括\0。size_t _capacity: 记录当前已分配内存的总容量能容纳的字符数不包括\0。_capacity _size。为什么需要_capacity这是实现高效动态扩容的关键。当我们需要追加字符而空间不足时不是每次只多分配一个字节而是按一定策略例如翻倍分配更大的内存然后将旧数据拷贝过去。_capacity记录了这块“提前申请好的”空间大小避免频繁的realloc。3.2 核心接口规划我们将实现以下主要成员函数它们构成了一个字符串类的骨架构造函数与析构函数MyString(): 默认构造。MyString(const char* str): 从C字符串构造。MyString(const MyString s): 拷贝构造深拷贝。~MyString(): 析构函数。拷贝赋值运算符MyString operator(const MyString s): 深拷贝赋值。这里需要特别注意自赋值问题和异常安全。容量相关size_t size() constsize_t capacity() constbool empty() constvoid reserve(size_t n)void resize(size_t n, char ch \0)元素访问char operator[](size_t pos)const char operator[](size_t pos) constconst char* c_str() const修改操作void push_back(char ch)void append(const char* str)MyString operator(char ch)MyString operator(const char* str)MyString operator(const MyString s)void insert(size_t pos, char ch)void insert(size_t pos, const char* str)void erase(size_t pos, size_t len npos)void clear()字符串操作size_t find(char ch, size_t pos 0) constsize_t find(const char* str, size_t pos 0) constMyString substr(size_t pos 0, size_t len npos) const非成员函数友元或全局bool operator(const MyString lhs, const MyString rhs)bool operator(const MyString lhs, const MyString rhs)(用于支持排序)std::ostream operator(std::ostream os, const MyString s)std::istream operator(std::istream is, MyString s)我们还会定义一个静态常量npos表示“未找到”或“直到末尾”通常将其值设为-1转换为size_t类型后的最大值。4. 从零构建MyString类的逐步实现与原理剖析有了蓝图我们开始动手编码。我会先给出关键函数的代码然后详细解释其背后的原理和注意事项。4.1 基础框架与构造函数首先定义类的基本结构和静态成员。class MyString { public: // 类型定义模仿标准库 typedef char* iterator; typedef const char* const_iterator; static const size_t npos -1; private: char* _str; // 指向存储字符串的堆空间 size_t _size; // 有效字符个数 size_t _capacity; // 容量不包含最后预留的\0 public: // 默认构造函数 MyString() : _str(new char[1]), _size(0), _capacity(0) { _str[0] \0; } // 从C字符串构造 MyString(const char* str) : _size(strlen(str)) { _capacity _size; _str new char[_capacity 1]; // 多分配1个字节给\0 strcpy(_str, str); // 拷贝内容包括\0 } // 拷贝构造函数深拷贝 MyString(const MyString s) : _size(s._size), _capacity(s._capacity) { _str new char[_capacity 1]; strcpy(_str, s._str); } // 析构函数 ~MyString() { delete[] _str; _str nullptr; _size _capacity 0; } };原理与注意事项默认构造函数即使构造空字符串我们也分配了1字节的空间来存放\0。这保证了c_str()始终返回一个有效的C风格字符串。_capacity设为0表示没有额外的预留空间。带参构造函数使用strlen获取输入字符串长度。分配内存时是_capacity 1这个1至关重要是为字符串结束符\0预留的。strcpy会连同\0一起拷贝过来。拷贝构造函数这是实现“深拷贝”的关键。它不直接拷贝指针_str那会是浅拷贝两个对象共享同一块内存而是新申请一块同样大小的内存然后把源对象s的字符串内容拷贝过来。这样新对象和原对象就拥有了各自独立的数据副本。析构函数使用delete[]释放new char[]分配的内存数组。并将指针置为nullptr防止成为“悬空指针”。这是一个良好的编程习惯。关于strcpy我们这里使用C库函数strcpy是为了代码简洁。在更严谨的实现中可能会使用memcpy或自己循环拷贝并特别注意边界。4.2 拷贝赋值运算符难点与经典写法拷贝赋值运算符operator比拷贝构造函数更复杂因为它需要处理一个已经存在的对象。MyString MyString::operator(const MyString s) { // 1. 防止自赋值s s; if (this ! s) { // 2. 释放原有资源 delete[] _str; // 3. 申请新资源并拷贝数据 _size s._size; _capacity s._capacity; _str new char[_capacity 1]; strcpy(_str, s._str); } // 4. 返回*this以支持连续赋值 (a b c) return *this; }这个版本是直观的但它有一个致命问题不具备异常安全性。如果第3步new char[...]失败了会抛出std::bad_alloc异常。此时当前对象*this的_str已经被释放第2步而新内存又没申请成功对象的状态被破坏了——它持有一个已被释放的指针悬空指针后续任何操作都会导致未定义行为通常是程序崩溃。改进方案拷贝并交换Copy-and-Swap这是一个强大且优雅的惯用法能同时解决自赋值和异常安全问题。MyString MyString::operator(const MyString s) { if (this ! s) { MyString tmp(s); // 调用拷贝构造创建临时副本 swap(tmp); // 交换当前对象和临时对象的内容 } // 临时对象tmp离开作用域调用析构释放掉当前对象原来的资源 return *this; } void MyString::swap(MyString other) noexcept { // 使用标准库的swap交换各个成员 std::swap(_str, other._str); std::swap(_size, other._size); std::swap(_capacity, other._capacity); }原理剖析先利用拷贝构造函数MyString tmp(s)创建源对象s的一个完整副本tmp。如果这里内存分配失败异常会在修改*this之前抛出*this的原始状态完好无损。然后调用swap函数将*this和tmp的成员变量进行交换。这个操作不会失败noexcept。赋值运算符结束时临时对象tmp被销毁其析构函数会释放掉*this原来的内存资源。 这种方法保证了即使在拷贝过程中发生异常当前对象也仍然处于一个有效、一致的状态要么是旧值要么是新值不会是一个被破坏的中间状态。4.3 容量管理reserve与resize的实现reserve和resize是string动态性的核心。void MyString::reserve(size_t n) { if (n _capacity) { char* newstr new char[n 1]; // 多分配1给\0 strcpy(newstr, _str); // 拷贝原有数据 delete[] _str; // 释放旧空间 _str newstr; _capacity n; // _size 保持不变 } // 如果 n _capacity标准规定 reserve() 可能什么都不做也可能缩小容量。 // 我们这里实现一个简化版只处理扩容。 } void MyString::resize(size_t n, char ch) { if (n _size) { // 新大小小于等于当前大小直接截断 _str[n] \0; _size n; } else { // 新大小大于当前大小需要扩容并填充 if (n _capacity) { reserve(n); // 调用reserve确保容量足够 } for (size_t i _size; i n; i) { _str[i] ch; // 填充字符ch } _str[n] \0; // 设置新结尾 _size n; } }关键点reserve只影响_capacity不影响_size和字符串内容。它是非强制性的即实现可以忽略小于当前容量的请求。我们的实现只处理扩容。resize会改变_size和字符串内容。如果扩大多出的空间用指定字符填充如果缩小直接截断。它内部会判断是否需要调用reserve来保证容量。扩容策略标准并未规定reserve或push_back导致扩容时的具体增长因子。常见的实现策略是倍增例如新容量 旧容量 * 2这能在时间效率和空间利用率之间取得较好的平衡。我们可以在push_back或append中实现这个逻辑。4.4 修改操作push_back, append 与 operator我们先实现一个私有的扩容检查函数供各个修改操作调用。void MyString::_check_and_grow(size_t len_needed) { if (_size len_needed _capacity) { // 倍增策略但至少增长到 len_needed size_t new_capacity _capacity 0 ? 4 : _capacity * 2; if (new_capacity _size len_needed) { new_capacity _size len_needed; } reserve(new_capacity); } }然后实现追加操作void MyString::push_back(char ch) { _check_and_grow(1); // 检查是否需要扩容 _str[_size] ch; _str[_size 1] \0; _size; } void MyString::append(const char* str) { size_t len strlen(str); if (len 0) return; _check_and_grow(len); strcpy(_str _size, str); // 从原字符串结尾处开始拷贝 _size len; } MyString MyString::operator(char ch) { push_back(ch); return *this; } MyString MyString::operator(const char* str) { append(str); return *this; } MyString MyString::operator(const MyString s) { append(s._str); return *this; }实现细节push_back在末尾添加一个字符需要手动添加新的\0。append和operator都复用了push_back或strcpy的逻辑保持代码简洁。operator返回*this的引用是为了支持链式调用如s1 s2 ‘!’。4.5 插入与删除insert 与 erase插入和删除操作涉及内存的移动是实现中的难点。void MyString::insert(size_t pos, char ch) { // 边界检查 if (pos _size) { pos _size; // 或者可以抛出异常这里简化为追加到末尾 } _check_and_grow(1); // 将pos及之后的字符向后移动一位 for (size_t i _size; i pos; --i) { _str[i] _str[i - 1]; } // 插入新字符 _str[pos] ch; _str[_size 1] \0; _size; } void MyString::insert(size_t pos, const char* str) { if (pos _size) pos _size; size_t len strlen(str); if (len 0) return; _check_and_grow(len); // 向后移动len个位置 for (size_t i _size len; i pos len - 1; --i) { _str[i] _str[i - len]; } // 拷贝新字符串到pos位置 for (size_t i 0; i len; i) { _str[pos i] str[i]; } _size len; _str[_size] \0; } void MyString::erase(size_t pos, size_t len) { if (pos _size) return; // 起始位置无效 // 计算实际要删除的长度 size_t erase_len len; if (pos len _size || len npos) { erase_len _size - pos; // 删除从pos到末尾的所有字符 } // 将poserase_len之后的字符向前移动 for (size_t i pos; i _size - erase_len; i) { _str[i] _str[i erase_len]; } _size - erase_len; _str[_size] \0; }注意事项边界处理insert和erase必须对pos参数进行有效性检查。标准库的insert(pos, ...)要求pos size()否则抛出异常。我们这里做了简化处理。内存移动这是效率的关键。我们使用了循环来移动字符。在标准库实现中可能会使用更高效的memmove函数因为它能正确处理源内存区和目标内存区重叠的情况。我们的循环在重叠时如insert中向后移动也能正确工作。npos的处理在erase中如果len为npos或poslen超出范围则表示删除直到字符串末尾。4.6 字符串查找与子串find 与 substrsize_t MyString::find(char ch, size_t pos) const { if (pos _size) return npos; for (size_t i pos; i _size; i) { if (_str[i] ch) { return i; } } return npos; } size_t MyString::find(const char* str, size_t pos) const { if (pos _size || str nullptr) return npos; // 使用朴素的字符串匹配算法 (暴力匹配) size_t len strlen(str); if (len 0) return pos; // 空串总是被找到 if (len _size - pos) return npos; for (size_t i pos; i _size - len; i) { size_t j 0; for (; j len; j) { if (_str[i j] ! str[j]) { break; } } if (j len) { return i; // 匹配成功 } } return npos; } MyString MyString::substr(size_t pos, size_t len) const { if (pos _size) { return MyString(); // 返回空字符串或可以抛出异常 } // 计算实际子串长度 size_t real_len len; if (pos len _size || len npos) { real_len _size - pos; } // 构造新字符串 MyString sub; sub.reserve(real_len); for (size_t i 0; i real_len; i) { sub.push_back(_str[pos i]); } return sub; }说明find函数我们实现了最简单的暴力匹配算法Brute-Force。标准库的实现可能更高效如KMP、Boyer-Moore等但对于理解接口和基本功能足够了。substr返回一个新的MyString对象这是典型的“值语义”操作。它内部通过reserve预分配空间然后逐个字符push_back避免了多次扩容。4.7 流操作符重载为了让我们的MyString能像内置类型一样方便地用于输入输出需要重载和。// 注意这些通常作为非成员函数实现 std::ostream operator(std::ostream os, const MyString s) { // 直接输出字符数组因为c_str()保证了以\0结尾 os s.c_str(); return os; } std::istream operator(std::istream is, MyString s) { s.clear(); // 先清空目标字符串 char ch; // 跳过开头的空白字符 while (is.get(ch) std::isspace(ch)) {} if (is) { do { s.push_back(ch); } while (is.get(ch) !std::isspace(ch)); // 如果因为读到空白符而停止需要把这个空白符放回流中 if (is) { is.putback(ch); } } return is; }operator的细节首先清空目标字符串s。使用is.get(ch)读取单个字符它会读取包括空格在内的所有字符。第一个循环跳过输入流开头的所有空白符空格、制表符、换行等。这是为了模拟std::cin std::string的行为它默认以空白符作为分隔。第二个循环将非空白字符逐个追加到s中直到再次遇到空白符或流结束。最后将最后读到的那个空白符putback到输入流中这是一个好习惯避免“吃掉”下一个输入项的分隔符。5. 避坑指南与进阶思考模拟实现中的典型问题亲手实现一遍之后你会对很多“理所当然”的特性有新的认识。这里分享一些我调试和思考过程中遇到的典型问题。5.1 深拷贝与浅拷贝拷贝构造与赋值的陷阱这是最核心、也最容易出错的地方。如果拷贝构造函数或赋值运算符只是简单地进行指针赋值浅拷贝那么两个对象将共享同一块内存。当其中一个对象被销毁时它会释放这块内存导致另一个对象的指针变成“悬空指针”。当第二个对象也被销毁时对同一块内存进行二次释放会导致程序崩溃double free。// 错误的浅拷贝示例 MyString(const MyString s) : _str(s._str), _size(s._size), _capacity(s._capacity) { // 灾难两个对象指向同一块内存 }我们的实现通过new和strcpy确保了每个对象拥有独立的数据副本这就是深拷贝。5.2 自赋值问题在operator中必须检查this s。如果不检查在s s;这样的自赋值语句中我们会先删除自己的_str然后试图从已经被删除的内存中拷贝数据行为未定义。// 有问题的operator MyString operator(const MyString s) { delete[] _str; // 如果this s这里就把自己的数据删了 _str new char[s._capacity 1]; // 从已删除的内存读大小 strcpy(_str, s._str); // 拷贝已删除的数据 // ... }我们之前介绍的“拷贝并交换”写法天然地避免了这个问题因为即使自赋值也会先创建一个临时副本交换后再销毁结果是正确的虽然多了一次不必要的拷贝。5.3 关于c_str()与data()的返回值我们的c_str()返回const char*这保证了调用者不能通过这个指针修改字符串内容是安全的。但这里有一个生命周期问题返回的指针指向的是对象内部的数组。如果对象被销毁例如离开了作用域这个指针就失效了。以下代码是错误的const char* risky_func() { MyString local_str(hello); return local_str.c_str(); // 错误返回了局部对象的内部指针 } // local_str被销毁返回的指针悬空同样operator[]返回的引用也绑定在对象内部数组上对象销毁后引用也失效。5.4 迭代器的简单实现为了让MyString能用于范围for循环和标准库算法我们可以提供迭代器。对于我们的简单实现迭代器就是指针的别名。// 在类定义中 typedef char* iterator; typedef const char* const_iterator; iterator begin() { return _str; } iterator end() { return _str _size; } // 指向\0符合STL“尾后迭代器”约定 const_iterator begin() const { return _str; } const_iterator end() const { return _str _size; } const_iterator cbegin() const { return _str; } const_iterator cend() const { return _str _size; }现在你可以这样使用MyString s Hello; for (char ch : s) { // 范围for循环 ch std::toupper(ch); } std::reverse(s.begin(), s.end()); // 使用标准库算法5.5 性能优化思考短字符串优化SSO我们当前的实现即使是一个空的MyString””也需要在堆上分配至少1字节的内存为了放\0。对于大量的小字符串或空字符串频繁的堆内存分配和释放会成为性能瓶颈。现代std::string实现如GCC的libstdc、Clang的libc普遍采用了短字符串优化Short String Optimization, SSO。其核心思想是在对象内部预留一个固定大小的缓冲区例如16字节。如果字符串长度很短比如小于16就直接存储在这个缓冲区里无需动态分配堆内存只有长字符串才使用指针指向堆内存。这种优化极大地提升了小字符串操作的性能因为避免了堆内存分配/释放的开销。数据存储在栈上对象内部访问速度更快缓存局部性更好。实现SSO会显著增加类的复杂性因为需要维护一个“联合体union”或类似机制来区分两种存储状态并且所有成员函数如c_str(),operator[],append都需要根据当前状态选择正确的操作路径。这是std::string实现中的一个高级话题也是面试中可能被问到的深度问题。5.6 测试你的MyString实现完成后必须进行全面的测试。以下是一些基本的测试用例void test_my_string() { // 1. 基础构造与输出 MyString s1; MyString s2(Hello); MyString s3 s2; // 拷贝构造 std::cout s1: \ s1 \, size s1.size() std::endl; std::cout s2: \ s2 \, size s2.size() std::endl; std::cout s3: \ s3 \, size s3.size() std::endl; // 2. 赋值与自赋值 s1 World; s2 s1; s1 s1; // 自赋值必须安全 std::cout After assignment, s1: \ s1 \, s2: \ s2 \ std::endl; // 3. 修改操作 s2 !; s2.push_back(?); std::cout After and push_back, s2: \ s2 \ std::endl; // 4. 插入与删除 s2.insert(5, C); std::cout After insert, s2: \ s2 \ std::endl; s2.erase(5, 4); std::cout After erase, s2: \ s2 \ std::endl; // 5. 查找与子串 size_t pos s2.find(?); if (pos ! MyString::npos) { std::cout Found ? at position: pos std::endl; } MyString sub s2.substr(0, 5); std::cout Substr(0,5): \ sub \ std::endl; // 6. 容量与大小 std::cout s2 capacity: s2.capacity() std::endl; s2.reserve(100); std::cout After reserve(100), s2 capacity: s2.capacity() std::endl; // 7. 迭代器 for (auto it s2.begin(); it ! s2.end(); it) { *it std::toupper(*it); } std::cout After uppercase via iterator, s2: \ s2 \ std::endl; }通过这样的测试可以验证类的正确性、深拷贝行为、自赋值安全性、扩容逻辑等关键特性。在调试时可以在构造函数、拷贝赋值和析构函数中加入打印语句观察对象的创建、拷贝和销毁过程这对于理解生命周期和资源管理非常有帮助。模拟实现string的过程是一次对C面向对象、资源管理、操作符重载等核心概念的深度实践。它强迫你去思考每一个细节内存何时分配、何时释放、数据如何拷贝、边界如何处理、异常如何安全。当你能够流畅地写出一个正确且健壮的MyString时你对C的理解就已经超越了大多数仅停留在“使用”层面的开发者。这份对底层机制的洞察力将是你在面对更复杂系统设计、性能优化和问题排查时的宝贵财富。
1. 从“会用”到“懂它”为什么我们需要模拟实现string在C的世界里std::string大概是除了int之外程序员们接触最多、也最“离不开”的一个类了。从新手期的cout “Hello World” endl;到项目里复杂的文本解析、日志处理、网络通信string的身影无处不在。它封装了字符数组的复杂性提供了size(),find(),substr(),append()等一系列便捷的接口让我们能像操作基本类型一样安全、高效地处理字符串。但不知道你有没有过这样的疑问这个用起来如此顺手的string它的内部到底是怎么工作的当我们写下string s1 “hello”; string s2 s1;时背后是简单的内存拷贝吗s1 “ world”;在内存不足时它是如何悄无声息地完成扩容的为什么说const string是函数传参的“最佳实践”这些问题仅仅停留在“会用”的层面是找不到答案的。模拟实现一个简化版的string类正是深入理解这些问题的“金钥匙”。这绝不是一个象牙塔里的练习题而是一次直击C核心的实战演练。通过亲手搭建你会深刻理解资源管理RAII构造函数如何分配内存析构函数如何释放内存这是C管理动态资源的基石。拷贝控制深拷贝与浅拷贝的巨大差异以及拷贝构造函数、拷贝赋值运算符operator为何是C类设计的重中之重。这也是面试中“手写string”这道经典题目的核心考察点。操作符重载如何让自定义类型像内置类型一样支持,,,[]等操作提升代码的直观性和易用性。迭代器设计理解标准库容器的通用访问模式为学习vector,list等打下基础。性能与异常安全在实现insert,erase,等操作时如何避免不必要的内存重新分配并保证在发生异常时程序状态依然可控。接下来我将以一个名为MyString的类的实现过程为例带你从零开始一步步拆解string的核心机制。我们会先回顾标准库string的常用姿势然后深入模拟实现的每一个细节最后分享一些只有踩过坑才知道的调试心得和性能优化技巧。无论你是正在准备面试还是希望夯实C基础这篇文章都将是一份详实的实战指南。2. 温故知新std::string的核心接口与使用陷阱在动手造轮子之前我们必须先清楚这个轮子应该长什么样、怎么用。std::string的接口非常丰富但核心使用模式可以归纳为以下几类。理解这些不仅能指导我们的模拟实现也能在日常编码中避开许多坑。2.1 构造、赋值与基本操作string提供了多种构造函数最常用的有以下几种std::string s1; // 默认构造空字符串 std::string s2(hello); // 从C风格字符串构造 std::string s3(s2); // 拷贝构造 std::string s4(5, A); // 构造包含5个A的字符串 AAAAA std::string s5(s2, 1, 3); // 从s2的下标1开始取3个字符得到 ell赋值操作同样灵活s1 world; // 从C字符串赋值 s1 s2; // 从另一个string赋值 s1 !; // 赋值为单个字符 s1.assign(cpp, 2); // 赋值为cpp的前2个字符 cp注意std::string的拷贝构造和赋值操作都是深拷贝。这意味着s2 s1;之后s2拥有自己独立的一份字符串数据副本修改s1不会影响s2。这是我们模拟实现时必须保证的核心行为。2.2 容量与大小操作这是string动态管理内存的体现也是性能关键点。size()/length(): 返回字符串有效字符长度不包含结尾的\0。capacity(): 返回当前已分配存储空间能容纳的字符总数通常 size()。empty(): 判断是否为空串。reserve(size_t n):请求将容量调整为至少n个字符。这是一个非常重要的优化函数。如果你预先知道字符串最终会变得很大提前调用reserve可以避免后续追加操作中多次、小规模的内存重新分配极大提升性能。resize(size_t n, char c): 改变字符串的size()为n。如果n size()多出的部分用字符c填充如果n size()则截断字符串。2.3 元素访问与修改string提供了多种安全的和不安全的方式访问元素。operator[](size_t pos): 返回下标pos处字符的引用。不检查下标越界访问效率高但需程序员自己保证安全。at(size_t pos): 功能同[]但会进行边界检查如果pos size()则抛出std::out_of_range异常。front()/back(): 返回首/尾字符的引用。c_str(): 返回一个指向以\0结尾的字符数组C风格字符串的指针。常用于需要与C语言API交互的场景如printf(“%s”, s.c_str());。data()(C11后): 返回指向底层字符数组的指针不保证以\0结尾但在C11后对于std::stringdata()返回的指针指向的数组也是以\0结尾的。修改操作主要包括追加、插入、删除和替换std::string s Hello; s.push_back(!); // s Hello! s.append( World); // s Hello! World s C; // s Hello! World C (最常用的追加方式) s.insert(6, My ); // 在下标6处插入s Hello! My World C s.erase(6, 3); // 从下标6开始删除3个字符s Hello! World C s.replace(7, 5, There); // 从下标7开始5个字符替换为Theres Hello! There C2.4 字符串操作与查找这是string作为“字符串”类最强大的功能之一。find(): 查找子串或字符首次出现的位置。rfind(): 从后向前查找。substr(): 提取子串。compare(): 比较两个字符串。std::string s Hello World C Programming; size_t pos s.find(World); // pos 6 std::string sub s.substr(6, 5); // sub World if (s.compare(0, 5, Hello) 0) { // 前5个字符等于Hello }2.5 一个常见的性能陷阱循环中的operator这是一个新手甚至有些老手都可能忽略的问题。std::string result; for (int i 0; i 10000; i) { result some data ; // 潜在的性能瓶颈 }在循环中反复使用string可能会进行多次内存重新分配realloc。每次分配都可能涉及申请新内存、拷贝旧数据、释放旧内存成本很高。优化方法就是前面提到的reservestd::string result; result.reserve(10000 * 10); // 预先估算并保留足够空间 for (int i 0; i 10000; i) { result some data ; }这个简单的习惯在处理大量字符串拼接时性能提升可能是数量级的。3. 蓝图设计MyString类的核心数据结构与接口规划现在我们开始设计自己的MyString。目标是实现一个具备基本功能、能清晰展示底层原理的简化版string。3.1 成员变量设计std::string的实现有多种如早期常见的“拷贝写时复制COW”和现在主流的“短字符串优化SSO”。为了聚焦于核心的资源管理与拷贝控制我们的MyString采用最直观的设计char* _str: 一个指针指向动态分配的、存储字符串字符的堆内存。这块内存的末尾会额外包含一个\0作为结束符。size_t _size: 记录字符串的当前有效长度不包括\0。size_t _capacity: 记录当前已分配内存的总容量能容纳的字符数不包括\0。_capacity _size。为什么需要_capacity这是实现高效动态扩容的关键。当我们需要追加字符而空间不足时不是每次只多分配一个字节而是按一定策略例如翻倍分配更大的内存然后将旧数据拷贝过去。_capacity记录了这块“提前申请好的”空间大小避免频繁的realloc。3.2 核心接口规划我们将实现以下主要成员函数它们构成了一个字符串类的骨架构造函数与析构函数MyString(): 默认构造。MyString(const char* str): 从C字符串构造。MyString(const MyString s): 拷贝构造深拷贝。~MyString(): 析构函数。拷贝赋值运算符MyString operator(const MyString s): 深拷贝赋值。这里需要特别注意自赋值问题和异常安全。容量相关size_t size() constsize_t capacity() constbool empty() constvoid reserve(size_t n)void resize(size_t n, char ch \0)元素访问char operator[](size_t pos)const char operator[](size_t pos) constconst char* c_str() const修改操作void push_back(char ch)void append(const char* str)MyString operator(char ch)MyString operator(const char* str)MyString operator(const MyString s)void insert(size_t pos, char ch)void insert(size_t pos, const char* str)void erase(size_t pos, size_t len npos)void clear()字符串操作size_t find(char ch, size_t pos 0) constsize_t find(const char* str, size_t pos 0) constMyString substr(size_t pos 0, size_t len npos) const非成员函数友元或全局bool operator(const MyString lhs, const MyString rhs)bool operator(const MyString lhs, const MyString rhs)(用于支持排序)std::ostream operator(std::ostream os, const MyString s)std::istream operator(std::istream is, MyString s)我们还会定义一个静态常量npos表示“未找到”或“直到末尾”通常将其值设为-1转换为size_t类型后的最大值。4. 从零构建MyString类的逐步实现与原理剖析有了蓝图我们开始动手编码。我会先给出关键函数的代码然后详细解释其背后的原理和注意事项。4.1 基础框架与构造函数首先定义类的基本结构和静态成员。class MyString { public: // 类型定义模仿标准库 typedef char* iterator; typedef const char* const_iterator; static const size_t npos -1; private: char* _str; // 指向存储字符串的堆空间 size_t _size; // 有效字符个数 size_t _capacity; // 容量不包含最后预留的\0 public: // 默认构造函数 MyString() : _str(new char[1]), _size(0), _capacity(0) { _str[0] \0; } // 从C字符串构造 MyString(const char* str) : _size(strlen(str)) { _capacity _size; _str new char[_capacity 1]; // 多分配1个字节给\0 strcpy(_str, str); // 拷贝内容包括\0 } // 拷贝构造函数深拷贝 MyString(const MyString s) : _size(s._size), _capacity(s._capacity) { _str new char[_capacity 1]; strcpy(_str, s._str); } // 析构函数 ~MyString() { delete[] _str; _str nullptr; _size _capacity 0; } };原理与注意事项默认构造函数即使构造空字符串我们也分配了1字节的空间来存放\0。这保证了c_str()始终返回一个有效的C风格字符串。_capacity设为0表示没有额外的预留空间。带参构造函数使用strlen获取输入字符串长度。分配内存时是_capacity 1这个1至关重要是为字符串结束符\0预留的。strcpy会连同\0一起拷贝过来。拷贝构造函数这是实现“深拷贝”的关键。它不直接拷贝指针_str那会是浅拷贝两个对象共享同一块内存而是新申请一块同样大小的内存然后把源对象s的字符串内容拷贝过来。这样新对象和原对象就拥有了各自独立的数据副本。析构函数使用delete[]释放new char[]分配的内存数组。并将指针置为nullptr防止成为“悬空指针”。这是一个良好的编程习惯。关于strcpy我们这里使用C库函数strcpy是为了代码简洁。在更严谨的实现中可能会使用memcpy或自己循环拷贝并特别注意边界。4.2 拷贝赋值运算符难点与经典写法拷贝赋值运算符operator比拷贝构造函数更复杂因为它需要处理一个已经存在的对象。MyString MyString::operator(const MyString s) { // 1. 防止自赋值s s; if (this ! s) { // 2. 释放原有资源 delete[] _str; // 3. 申请新资源并拷贝数据 _size s._size; _capacity s._capacity; _str new char[_capacity 1]; strcpy(_str, s._str); } // 4. 返回*this以支持连续赋值 (a b c) return *this; }这个版本是直观的但它有一个致命问题不具备异常安全性。如果第3步new char[...]失败了会抛出std::bad_alloc异常。此时当前对象*this的_str已经被释放第2步而新内存又没申请成功对象的状态被破坏了——它持有一个已被释放的指针悬空指针后续任何操作都会导致未定义行为通常是程序崩溃。改进方案拷贝并交换Copy-and-Swap这是一个强大且优雅的惯用法能同时解决自赋值和异常安全问题。MyString MyString::operator(const MyString s) { if (this ! s) { MyString tmp(s); // 调用拷贝构造创建临时副本 swap(tmp); // 交换当前对象和临时对象的内容 } // 临时对象tmp离开作用域调用析构释放掉当前对象原来的资源 return *this; } void MyString::swap(MyString other) noexcept { // 使用标准库的swap交换各个成员 std::swap(_str, other._str); std::swap(_size, other._size); std::swap(_capacity, other._capacity); }原理剖析先利用拷贝构造函数MyString tmp(s)创建源对象s的一个完整副本tmp。如果这里内存分配失败异常会在修改*this之前抛出*this的原始状态完好无损。然后调用swap函数将*this和tmp的成员变量进行交换。这个操作不会失败noexcept。赋值运算符结束时临时对象tmp被销毁其析构函数会释放掉*this原来的内存资源。 这种方法保证了即使在拷贝过程中发生异常当前对象也仍然处于一个有效、一致的状态要么是旧值要么是新值不会是一个被破坏的中间状态。4.3 容量管理reserve与resize的实现reserve和resize是string动态性的核心。void MyString::reserve(size_t n) { if (n _capacity) { char* newstr new char[n 1]; // 多分配1给\0 strcpy(newstr, _str); // 拷贝原有数据 delete[] _str; // 释放旧空间 _str newstr; _capacity n; // _size 保持不变 } // 如果 n _capacity标准规定 reserve() 可能什么都不做也可能缩小容量。 // 我们这里实现一个简化版只处理扩容。 } void MyString::resize(size_t n, char ch) { if (n _size) { // 新大小小于等于当前大小直接截断 _str[n] \0; _size n; } else { // 新大小大于当前大小需要扩容并填充 if (n _capacity) { reserve(n); // 调用reserve确保容量足够 } for (size_t i _size; i n; i) { _str[i] ch; // 填充字符ch } _str[n] \0; // 设置新结尾 _size n; } }关键点reserve只影响_capacity不影响_size和字符串内容。它是非强制性的即实现可以忽略小于当前容量的请求。我们的实现只处理扩容。resize会改变_size和字符串内容。如果扩大多出的空间用指定字符填充如果缩小直接截断。它内部会判断是否需要调用reserve来保证容量。扩容策略标准并未规定reserve或push_back导致扩容时的具体增长因子。常见的实现策略是倍增例如新容量 旧容量 * 2这能在时间效率和空间利用率之间取得较好的平衡。我们可以在push_back或append中实现这个逻辑。4.4 修改操作push_back, append 与 operator我们先实现一个私有的扩容检查函数供各个修改操作调用。void MyString::_check_and_grow(size_t len_needed) { if (_size len_needed _capacity) { // 倍增策略但至少增长到 len_needed size_t new_capacity _capacity 0 ? 4 : _capacity * 2; if (new_capacity _size len_needed) { new_capacity _size len_needed; } reserve(new_capacity); } }然后实现追加操作void MyString::push_back(char ch) { _check_and_grow(1); // 检查是否需要扩容 _str[_size] ch; _str[_size 1] \0; _size; } void MyString::append(const char* str) { size_t len strlen(str); if (len 0) return; _check_and_grow(len); strcpy(_str _size, str); // 从原字符串结尾处开始拷贝 _size len; } MyString MyString::operator(char ch) { push_back(ch); return *this; } MyString MyString::operator(const char* str) { append(str); return *this; } MyString MyString::operator(const MyString s) { append(s._str); return *this; }实现细节push_back在末尾添加一个字符需要手动添加新的\0。append和operator都复用了push_back或strcpy的逻辑保持代码简洁。operator返回*this的引用是为了支持链式调用如s1 s2 ‘!’。4.5 插入与删除insert 与 erase插入和删除操作涉及内存的移动是实现中的难点。void MyString::insert(size_t pos, char ch) { // 边界检查 if (pos _size) { pos _size; // 或者可以抛出异常这里简化为追加到末尾 } _check_and_grow(1); // 将pos及之后的字符向后移动一位 for (size_t i _size; i pos; --i) { _str[i] _str[i - 1]; } // 插入新字符 _str[pos] ch; _str[_size 1] \0; _size; } void MyString::insert(size_t pos, const char* str) { if (pos _size) pos _size; size_t len strlen(str); if (len 0) return; _check_and_grow(len); // 向后移动len个位置 for (size_t i _size len; i pos len - 1; --i) { _str[i] _str[i - len]; } // 拷贝新字符串到pos位置 for (size_t i 0; i len; i) { _str[pos i] str[i]; } _size len; _str[_size] \0; } void MyString::erase(size_t pos, size_t len) { if (pos _size) return; // 起始位置无效 // 计算实际要删除的长度 size_t erase_len len; if (pos len _size || len npos) { erase_len _size - pos; // 删除从pos到末尾的所有字符 } // 将poserase_len之后的字符向前移动 for (size_t i pos; i _size - erase_len; i) { _str[i] _str[i erase_len]; } _size - erase_len; _str[_size] \0; }注意事项边界处理insert和erase必须对pos参数进行有效性检查。标准库的insert(pos, ...)要求pos size()否则抛出异常。我们这里做了简化处理。内存移动这是效率的关键。我们使用了循环来移动字符。在标准库实现中可能会使用更高效的memmove函数因为它能正确处理源内存区和目标内存区重叠的情况。我们的循环在重叠时如insert中向后移动也能正确工作。npos的处理在erase中如果len为npos或poslen超出范围则表示删除直到字符串末尾。4.6 字符串查找与子串find 与 substrsize_t MyString::find(char ch, size_t pos) const { if (pos _size) return npos; for (size_t i pos; i _size; i) { if (_str[i] ch) { return i; } } return npos; } size_t MyString::find(const char* str, size_t pos) const { if (pos _size || str nullptr) return npos; // 使用朴素的字符串匹配算法 (暴力匹配) size_t len strlen(str); if (len 0) return pos; // 空串总是被找到 if (len _size - pos) return npos; for (size_t i pos; i _size - len; i) { size_t j 0; for (; j len; j) { if (_str[i j] ! str[j]) { break; } } if (j len) { return i; // 匹配成功 } } return npos; } MyString MyString::substr(size_t pos, size_t len) const { if (pos _size) { return MyString(); // 返回空字符串或可以抛出异常 } // 计算实际子串长度 size_t real_len len; if (pos len _size || len npos) { real_len _size - pos; } // 构造新字符串 MyString sub; sub.reserve(real_len); for (size_t i 0; i real_len; i) { sub.push_back(_str[pos i]); } return sub; }说明find函数我们实现了最简单的暴力匹配算法Brute-Force。标准库的实现可能更高效如KMP、Boyer-Moore等但对于理解接口和基本功能足够了。substr返回一个新的MyString对象这是典型的“值语义”操作。它内部通过reserve预分配空间然后逐个字符push_back避免了多次扩容。4.7 流操作符重载为了让我们的MyString能像内置类型一样方便地用于输入输出需要重载和。// 注意这些通常作为非成员函数实现 std::ostream operator(std::ostream os, const MyString s) { // 直接输出字符数组因为c_str()保证了以\0结尾 os s.c_str(); return os; } std::istream operator(std::istream is, MyString s) { s.clear(); // 先清空目标字符串 char ch; // 跳过开头的空白字符 while (is.get(ch) std::isspace(ch)) {} if (is) { do { s.push_back(ch); } while (is.get(ch) !std::isspace(ch)); // 如果因为读到空白符而停止需要把这个空白符放回流中 if (is) { is.putback(ch); } } return is; }operator的细节首先清空目标字符串s。使用is.get(ch)读取单个字符它会读取包括空格在内的所有字符。第一个循环跳过输入流开头的所有空白符空格、制表符、换行等。这是为了模拟std::cin std::string的行为它默认以空白符作为分隔。第二个循环将非空白字符逐个追加到s中直到再次遇到空白符或流结束。最后将最后读到的那个空白符putback到输入流中这是一个好习惯避免“吃掉”下一个输入项的分隔符。5. 避坑指南与进阶思考模拟实现中的典型问题亲手实现一遍之后你会对很多“理所当然”的特性有新的认识。这里分享一些我调试和思考过程中遇到的典型问题。5.1 深拷贝与浅拷贝拷贝构造与赋值的陷阱这是最核心、也最容易出错的地方。如果拷贝构造函数或赋值运算符只是简单地进行指针赋值浅拷贝那么两个对象将共享同一块内存。当其中一个对象被销毁时它会释放这块内存导致另一个对象的指针变成“悬空指针”。当第二个对象也被销毁时对同一块内存进行二次释放会导致程序崩溃double free。// 错误的浅拷贝示例 MyString(const MyString s) : _str(s._str), _size(s._size), _capacity(s._capacity) { // 灾难两个对象指向同一块内存 }我们的实现通过new和strcpy确保了每个对象拥有独立的数据副本这就是深拷贝。5.2 自赋值问题在operator中必须检查this s。如果不检查在s s;这样的自赋值语句中我们会先删除自己的_str然后试图从已经被删除的内存中拷贝数据行为未定义。// 有问题的operator MyString operator(const MyString s) { delete[] _str; // 如果this s这里就把自己的数据删了 _str new char[s._capacity 1]; // 从已删除的内存读大小 strcpy(_str, s._str); // 拷贝已删除的数据 // ... }我们之前介绍的“拷贝并交换”写法天然地避免了这个问题因为即使自赋值也会先创建一个临时副本交换后再销毁结果是正确的虽然多了一次不必要的拷贝。5.3 关于c_str()与data()的返回值我们的c_str()返回const char*这保证了调用者不能通过这个指针修改字符串内容是安全的。但这里有一个生命周期问题返回的指针指向的是对象内部的数组。如果对象被销毁例如离开了作用域这个指针就失效了。以下代码是错误的const char* risky_func() { MyString local_str(hello); return local_str.c_str(); // 错误返回了局部对象的内部指针 } // local_str被销毁返回的指针悬空同样operator[]返回的引用也绑定在对象内部数组上对象销毁后引用也失效。5.4 迭代器的简单实现为了让MyString能用于范围for循环和标准库算法我们可以提供迭代器。对于我们的简单实现迭代器就是指针的别名。// 在类定义中 typedef char* iterator; typedef const char* const_iterator; iterator begin() { return _str; } iterator end() { return _str _size; } // 指向\0符合STL“尾后迭代器”约定 const_iterator begin() const { return _str; } const_iterator end() const { return _str _size; } const_iterator cbegin() const { return _str; } const_iterator cend() const { return _str _size; }现在你可以这样使用MyString s Hello; for (char ch : s) { // 范围for循环 ch std::toupper(ch); } std::reverse(s.begin(), s.end()); // 使用标准库算法5.5 性能优化思考短字符串优化SSO我们当前的实现即使是一个空的MyString””也需要在堆上分配至少1字节的内存为了放\0。对于大量的小字符串或空字符串频繁的堆内存分配和释放会成为性能瓶颈。现代std::string实现如GCC的libstdc、Clang的libc普遍采用了短字符串优化Short String Optimization, SSO。其核心思想是在对象内部预留一个固定大小的缓冲区例如16字节。如果字符串长度很短比如小于16就直接存储在这个缓冲区里无需动态分配堆内存只有长字符串才使用指针指向堆内存。这种优化极大地提升了小字符串操作的性能因为避免了堆内存分配/释放的开销。数据存储在栈上对象内部访问速度更快缓存局部性更好。实现SSO会显著增加类的复杂性因为需要维护一个“联合体union”或类似机制来区分两种存储状态并且所有成员函数如c_str(),operator[],append都需要根据当前状态选择正确的操作路径。这是std::string实现中的一个高级话题也是面试中可能被问到的深度问题。5.6 测试你的MyString实现完成后必须进行全面的测试。以下是一些基本的测试用例void test_my_string() { // 1. 基础构造与输出 MyString s1; MyString s2(Hello); MyString s3 s2; // 拷贝构造 std::cout s1: \ s1 \, size s1.size() std::endl; std::cout s2: \ s2 \, size s2.size() std::endl; std::cout s3: \ s3 \, size s3.size() std::endl; // 2. 赋值与自赋值 s1 World; s2 s1; s1 s1; // 自赋值必须安全 std::cout After assignment, s1: \ s1 \, s2: \ s2 \ std::endl; // 3. 修改操作 s2 !; s2.push_back(?); std::cout After and push_back, s2: \ s2 \ std::endl; // 4. 插入与删除 s2.insert(5, C); std::cout After insert, s2: \ s2 \ std::endl; s2.erase(5, 4); std::cout After erase, s2: \ s2 \ std::endl; // 5. 查找与子串 size_t pos s2.find(?); if (pos ! MyString::npos) { std::cout Found ? at position: pos std::endl; } MyString sub s2.substr(0, 5); std::cout Substr(0,5): \ sub \ std::endl; // 6. 容量与大小 std::cout s2 capacity: s2.capacity() std::endl; s2.reserve(100); std::cout After reserve(100), s2 capacity: s2.capacity() std::endl; // 7. 迭代器 for (auto it s2.begin(); it ! s2.end(); it) { *it std::toupper(*it); } std::cout After uppercase via iterator, s2: \ s2 \ std::endl; }通过这样的测试可以验证类的正确性、深拷贝行为、自赋值安全性、扩容逻辑等关键特性。在调试时可以在构造函数、拷贝赋值和析构函数中加入打印语句观察对象的创建、拷贝和销毁过程这对于理解生命周期和资源管理非常有帮助。模拟实现string的过程是一次对C面向对象、资源管理、操作符重载等核心概念的深度实践。它强迫你去思考每一个细节内存何时分配、何时释放、数据如何拷贝、边界如何处理、异常如何安全。当你能够流畅地写出一个正确且健壮的MyString时你对C的理解就已经超越了大多数仅停留在“使用”层面的开发者。这份对底层机制的洞察力将是你在面对更复杂系统设计、性能优化和问题排查时的宝贵财富。
![[C++]内存管理：串顺序存储的内存回收](http://pic.xiahunao.cn/yaotu/[C++]内存管理：串顺序存储的内存回收)
