1. 项目概述为什么要自己动手实现一个string类如果你正在学习C尤其是学到STL标准模板库这一块string类绝对是你绕不开的一个坎。很多教程会告诉你string用起来很方便号能拼接size()能取长度find()能搜索。但如果你只是停留在“会用”的层面那就像只学会了开车却不知道发动机是怎么转的。当面试官问你“string的拷贝构造为什么是深拷贝”或者“string的operator返回值为什么要设计成引用”时你可能就懵了。自己动手模拟实现一个string类恰恰是打通你C任督二脉的关键一步。这不仅仅是为了应付面试虽然这确实是最直接的好处更是为了让你彻底理解以下几个核心概念内存管理C没有垃圾回收申请的内存必须自己释放。string类动态管理一个字符数组这是理解new和delete以及后续智能指针的绝佳起点。类的三大件Big Three拷贝构造函数、拷贝赋值运算符、析构函数。string类是理解这“三巨头”为何存在以及如何正确实现的经典案例。搞懂了它vector、list等其他需要动态内存的容器你都能触类旁通。运算符重载如何让自定义类型像内置类型一样用、、[]等符号进行直观操作string的模拟实现会给你最全面的练习。深浅拷贝问题这是C面试的“钉子户”。通过实现string你会对浅拷贝导致的重复释放、内存泄漏等问题有刻骨铭心的认识。所以这个项目不是一个简单的练习题而是一次对C面向对象和内存管理核心思想的深度解剖。下面我就带你从零开始一步步构建一个我们自己的MyString类我会把每个设计决策背后的“为什么”都讲清楚并分享那些只有踩过坑才知道的细节。2. 整体设计与核心思路拆解在动手写代码之前我们必须先想清楚我们的MyString类需要哪些基本能力以及底层数据如何组织。盲目开始很容易写出结构混乱、漏洞百出的代码。2.1 数据成员的设计基石决定上层建筑string的本质是什么是一个动态分配的、以\0结尾的字符数组C风格字符串。所以我们类的核心数据成员至少需要一个字符指针char*用来指向堆上那片存储字符串内容的内存。一开始你可能会设计成这样class MyString { private: char* _str; // 指向动态分配的字符串 size_t _size; // 当前有效字符的长度不含\0 size_t _capacity; // 当前分配的总空间大小通常_size1 };这是一个非常经典且合理的“三件套”设计。_size记录字符串长度比如hello长度是5_capacity记录底层数组的容量比如可能分配了10个char的空间_str指向这个数组。设计思考为什么需要_capacity这是为了效率。如果每次添加字符如push_back或拼接字符串operator都重新分配一次内存性能会非常差。_capacity的存在使得我们可以实现类似vector的“倍增扩容”策略一次性申请更大的空间减少后续操作的分配次数。这是STL中string以及vector的通用做法。一个更现代的简化设计实际上很多现代编译器的标准库实现如GCC的libstdc采用了更复杂的优化比如SSOSmall String Optimization即短字符串直接存储在对象内部避免堆分配。但作为我们学习和模拟的第一步采用上述“指针大小容量”的三成员设计是最清晰、最易于理解的。我们本次实现就基于这个经典模型。2.2 接口规划我们要实现哪些功能我们的目标是模拟出一个基本可用的string所以需要实现以下几组核心接口构造与析构默认构造、带参构造C字符串、字符、拷贝构造、析构函数。容量操作size(),capacity(),empty(),reserve(),resize()。元素访问operator[]普通和const版本front(),back()。修改操作push_back(),append(),operator,insert(),erase(),clear()。字符串操作c_str()返回C风格字符串find()substr()可选实现起来有挑战性。非成员函数流插入提取运算符重载, 比较运算符重载,!,等。明确了目标和蓝图我们就可以开始动手搭建了。记住内存管理是贯穿始终的生命线每一步都要想清楚内存申请了吗够用吗需要释放吗3. 核心细节解析与实操要点3.1 构造、拷贝与析构内存管理的“铁三角”这是整个类的基石也是最容易出错的地方。我们先来实现最基本的几个函数。3.1.1 默认构造函数与C字符串构造函数默认构造应该创建一个空字符串而不是空指针。一个良好的习惯是让空字符串也指向一个包含\0的合法内存块。class MyString { public: // 默认构造函数 MyString() : _str(new char[1]), _size(0), _capacity(0) { _str[0] \0; // 空字符串但仍以\0结尾 } // 用C风格字符串构造 MyString(const char* str) : _size(strlen(str)) { _capacity _size; // 初始容量刚好够用 _str new char[_capacity 1]; // 多分配1个给\0 strcpy(_str, str); // 拷贝内容包括结尾的\0 } private: char* _str; size_t _size; size_t _capacity; };注意点1new char[1]与new char[1]()上面默认构造中new char[1]只会分配内存不会初始化。而new char[1]()会进行值初始化即把那个字符初始化为\0。为了代码清晰我选择了显式赋值。你也可以使用后者。注意点2strcpy的安全性与效率这里我们确信目标空间_str足够大_capacity1 _size1所以使用strcpy是安全的。在更严格的工业级代码中可能会使用memcpy或带长度的拷贝以获得更高性能但strcpy在此场景下语义最清晰。3.1.2 拷贝构造函数深拷贝的经典案例这是理解深浅拷贝的关键。如果只是简单赋值_str other._str那么两个对象的_str指针将指向同一块内存。当这两个对象析构时同一块内存会被delete两次导致程序崩溃。这就是浅拷贝的致命错误。// 拷贝构造函数 MyString(const MyString other) : _size(other._size), _capacity(other._capacity) { _str new char[_capacity 1]; // 为自己申请全新的内存 strcpy(_str, other._str); // 将对方的内容拷贝过来 }这个过程就是深拷贝不仅拷贝了指针的值更拷贝了指针所指向的那份数据。这样两个对象就完全独立了。3.1.3 拷贝赋值运算符operator更复杂的情况赋值操作比拷贝构造更复杂因为它涉及到一个已经存在的对象*this。我们需要处理自赋值s1 s1;和原有资源的释放。MyString operator(const MyString other) { // 1. 防止自赋值 if (this ! other) { // 2. 释放原有资源 delete[] _str; // 3. 申请新资源并拷贝内容 _size other._size; _capacity other._capacity; _str new char[_capacity 1]; strcpy(_str, other._str); } // 4. 返回*this的引用以支持连续赋值 (a b c) return *this; }关键技巧自赋值检查if (this ! other)这行至关重要。如果没有它在自赋值时delete[] _str会先释放掉自己的内存紧接着new和strcpy操作的对象other._str已经是一个野指针导致未定义行为通常是崩溃。3.1.4 析构函数资源释放的责任人析构函数的职责单一而明确释放对象生命周期内申请的资源。~MyString() { delete[] _str; // 释放动态数组 _str nullptr; // 一个好习惯防止悬空指针 _size _capacity 0; }将指针置为nullptr是一个良好的防御性编程习惯可以避免后续误用已释放的指针虽然对象析构后本身也不应再被访问。3.2 容量相关操作为高效修改做准备reserve和resize是string进行高效修改的幕后功臣它们的区别必须厘清。3.2.1 reserve(n)我只管容量不管内容reserve的承诺是将容量_capacity至少增加到n。它不改变字符串的长度_size也不改变字符串的内容。void 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()可以什么都不做非缩容 }重要原则reserve不缩容C标准规定reserve()的参数小于当前容量时它是一个非强制性的请求。实现可以选择忽略即不缩容。这是为了性能因为频繁重新分配内存代价高昂。我们的实现也遵循这一原则。3.2.2 resize(n, ch)我改变长度并可能初始化resize用于改变字符串的有效长度_size。如果n _size则直接截断将_size设为n并在_str[_size]位置放入\0。如果n _size则需要扩容可能调用reserve并将多出的位置用字符ch填充。void resize(size_t n, char ch \0) { if (n _size) { // 截断 _size n; _str[_size] \0; } else { // 扩容并填充 if (n _capacity) { reserve(n); // 利用reserve来扩容 } // 填充新增的部分 for (size_t i _size; i n; i) { _str[i] ch; } _size n; _str[_size] \0; // 确保以\0结尾 } }reservevsresize速记reserve(100)我保证有100个字符的空间给你用但里面现在有什么除了原有字符串我不保证。_size不变。resize(100, a)我把字符串长度变成100。不够长我就用a补到100太长我就截断到100。_size改变。3.3 元素访问与修改让类用起来像内置类型3.3.1 operator[] 的重载为了让MyString可以像数组一样通过下标访问我们需要重载operator[]。并且为了同时支持普通对象和const对象的访问需要提供两个版本。// 普通对象版本返回引用可修改 char operator[](size_t pos) { assert(pos _size); // 越界检查生产环境可用更温和的方式 return _str[pos]; } // const对象版本返回常量引用不可修改 const char operator[](size_t pos) const { assert(pos _size); return _str[pos]; }为什么需要const版本当一个const MyString对象调用operator[]时编译器会匹配const版本。如果没有这个版本const对象将无法进行只读访问或者会调用非const版本这违背了const的语义。3.3.2 push_back 与 append尾部增长的策略push_back是添加单个字符append是添加一个字符串或另一个MyString。它们的核心逻辑相似检查容量是否足够不够则扩容然后追加内容。void push_back(char ch) { if (_size _capacity) { // 空间已满需要扩容 // 经典倍增扩容策略如果_capacity为0则扩到4 reserve(_capacity 0 ? 4 : _capacity * 2); } _str[_size] ch; _size; _str[_size] \0; // 别忘了维护\0结尾 } void append(const char* str) { size_t len strlen(str); if (_size len _capacity) { // 需要扩容到至少_sizelen reserve(_size len); } strcpy(_str _size, str); // 从原字符串结尾开始拷贝 _size len; // strcpy已经拷贝了\0所以这里_szie处的字符就是\0 }基于append我们可以非常方便地实现operatorMyString operator(const char* str) { append(str); return *this; } MyString operator(const MyString str) { append(str._str); return *this; } MyString operator(char ch) { push_back(ch); return *this; }4. 实操过程与核心环节实现现在我们把各个部分组合起来并实现一些更高级的功能形成一个相对完整的MyString类。我会在关键代码处加上详细注释。4.1 MyString类的完整骨架与基础实现#include cstring // for strlen, strcpy #include cassert // for assert #include iostream // for cout (测试用) class MyString { public: // 类型定义 typedef char* iterator; typedef const char* const_iterator; // 1. 构造与析构 MyString() : _str(new char[1]), _size(0), _capacity(0) { _str[0] \0; } MyString(const char* str) : _size(strlen(str)) { _capacity _size; _str new char[_capacity 1]; strcpy(_str, str); } // 拷贝构造 MyString(const MyString other) : _size(other._size), _capacity(other._capacity) { _str new char[_capacity 1]; strcpy(_str, other._str); } // 拷贝赋值 MyString operator(const MyString other) { if (this ! other) { delete[] _str; _size other._size; _capacity other._capacity; _str new char[_capacity 1]; strcpy(_str, other._str); } return *this; } // 析构 ~MyString() { delete[] _str; _str nullptr; _size _capacity 0; } // 2. 迭代器 (简单实现让范围for能用) iterator begin() { return _str; } iterator end() { return _str _size; } const_iterator begin() const { return _str; } const_iterator end() const { return _str _size; } // 3. 容量操作 size_t size() const { return _size; } size_t capacity() const { return _capacity; } bool empty() const { return _size 0; } void reserve(size_t n) { if (n _capacity) { char* newStr new char[n 1]; strcpy(newStr, _str); delete[] _str; _str newStr; _capacity n; } } void resize(size_t n, char ch \0) { if (n _size) { _size n; _str[_size] \0; } else { if (n _capacity) { reserve(n); } for (size_t i _size; i n; i) { _str[i] ch; } _size n; _str[_size] \0; } } // 4. 元素访问 char operator[](size_t pos) { assert(pos _size); return _str[pos]; } const char operator[](size_t pos) const { assert(pos _size); return _str[pos]; } const char* c_str() const { return _str; } // 5. 修改操作 void push_back(char ch) { if (_size _capacity) { reserve(_capacity 0 ? 4 : _capacity * 2); } _str[_size] ch; _size; _str[_size] \0; } void append(const char* str) { size_t len strlen(str); if (_size len _capacity) { reserve(_size len); } strcpy(_str _size, str); _size len; } MyString operator(const char* str) { append(str); return *this; } MyString operator(const MyString str) { append(str._str); return *this; } MyString operator(char ch) { push_back(ch); return *this; } void clear() { _size 0; _str[0] \0; } // 6. 非成员函数友元声明 (用于流操作符重载) friend std::ostream operator(std::ostream out, const MyString s); friend std::istream operator(std::istream in, MyString s); private: char* _str; size_t _size; size_t _capacity; };4.2 流操作符重载的实现为了让我们的MyString能像标准类型一样用cin和cout进行输入输出需要在类外重载和运算符。注意它们需要访问MyString的私有成员_str所以在类内声明为friend友元。// 输出运算符 std::ostream operator(std::ostream out, const MyString s) { out s._str; // 直接输出C风格字符串 return out; } // 输入运算符 (简易版遇到空格停止) std::istream operator(std::istream in, MyString s) { s.clear(); // 先清空原有内容 char ch; // 跳过开头的空白字符 ch in.get(); while (ch || ch \n || ch \t) { ch in.get(); } // 读取直到遇到空白字符 while (ch ! ch ! \n ch ! \t !in.eof()) { s.push_back(ch); ch in.get(); } return in; }注意这个operator是简易版标准的std::string的operator读取规则是“以空白字符为分隔符”。我们这里模拟了这个行为。但它没有处理缓冲区等问题且效率不高每次push_back可能触发多次扩容。一个更高效的实现是先读取到一个临时缓冲区再一次性append到s中。4.3 比较运算符的重载比较两个字符串是否相等或者谁大谁小是常见操作。我们可以通过重载,!,,,,来实现。它们的实现可以基于C标准库的strcmp函数。// 在类外定义非成员函数 bool operator(const MyString lhs, const MyString rhs) { return strcmp(lhs.c_str(), rhs.c_str()) 0; } bool operator!(const MyString lhs, const MyString rhs) { return !(lhs rhs); } bool operator(const MyString lhs, const MyString rhs) { return strcmp(lhs.c_str(), rhs.c_str()) 0; } bool operator(const MyString lhs, const MyString rhs) { return !(rhs lhs); } bool operator(const MyString lhs, const MyString rhs) { return rhs lhs; } bool operator(const MyString lhs, const MyString rhs) { return !(lhs rhs); }技巧利用已实现的运算符注意看!是用实现的和是用实现的。这是一种常见的做法可以减少代码重复也保证了逻辑的一致性。你只需要完整实现和其他四个都可以推导出来。5. 常见问题与排查技巧实录自己实现string类就像在雷区里学排雷肯定会遇到各种问题。下面是我在实现和教学过程中学生们最常踩的坑。5.1 内存相关问题崩溃与泄漏的根源问题1浅拷贝导致的重复释放Double Free现象程序在析构或赋值时随机崩溃。代码示例// 错误的拷贝构造浅拷贝 MyString(const MyString other) : _str(other._str), _size(other._size), _capacity(other._capacity) {}原因分析两个对象的_str指向同一块内存。当第一个对象析构时内存被释放。第二个对象析构时试图再次释放同一块内存这是未定义行为通常导致free(): double free detected in tcache 2之类的错误。解决方案必须实现深拷贝在拷贝构造和拷贝赋值中为_str申请新的内存并拷贝数据。问题2内存泄漏Memory Leak现象程序运行时间长了内存占用不断上升。代码示例// 错误的operator未释放旧资源 MyString operator(const MyString other) { _size other._size; _capacity other._capacity; _str new char[_capacity 1]; // 申请了新内存但旧内存没释放 strcpy(_str, other._str); return *this; }原因分析赋值前this对象已经持有一块动态内存_str。直接让_str指向新内存旧内存就丢失了指向再也无法被释放造成泄漏。解决方案在赋值操作中必须遵循“先释放旧资源再申请新资源”的原则。这就是我们正确版本中delete[] _str;在前的原因。问题3自赋值导致的野指针访问现象s s;这样的语句导致程序崩溃。原因分析如前面所述如果没有if (this ! other)检查自赋值时会先delete[] _str然后strcpy的目标other._str也就是this-_str已经变成野指针导致非法内存访问。解决方案在operator开头进行自赋值检查。5.2 边界与细节问题导致行为诡异的元凶问题4忘记处理字符串结尾的\0现象使用c_str()返回的指针传给C库函数如printf,strlen时结果错误或程序崩溃。代码示例void push_back(char ch) { // ... 扩容和赋值 _str[_size] ch; _size; // 忘记写_str[_size] \0; }原因分析C风格字符串必须以空字符\0结尾。我们的_str底层是一个C风格字符串。任何修改_size的操作push_back,append,resize截断clear都必须同步维护结尾的\0。解决方案在所有可能改变_size或字符串内容的函数末尾显式地设置_str[_size] \0;。这是一个需要时刻牢记的纪律。问题5operator[]的越界访问现象使用s[s.size()]或更大的下标访问时可能读到垃圾值或导致段错误。解决方案在operator[]内部进行边界检查。我们的实现使用了assert(pos _size);这在调试阶段非常有用。在发布版本中可以改为抛出异常如std::out_of_range或返回一个安全的默认值这取决于你的设计选择。问题6reserve和resize的混淆现象调用reserve(100)后直接使用operator[]访问下标50的位置可能访问到未初始化的内存。原因分析reserve只保证容量不初始化新空间也不改变_size。_str[50]对于_size可能还是越界的如果原_size小于50。解决方案明确两个函数的分工。如果你需要访问这些位置应该使用resize(100)来扩展长度并初始化新空间。5.3 效率与设计问题问题7append或连续push_back时的频繁扩容现象在循环中不断push_back字符性能很差。原因分析如果初始容量为0每次push_back都可能触发扩容0-4-8-16...。虽然是指数增长但在大量小操作时频繁的new、拷贝、delete开销很大。优化技巧如果事先知道大概要插入多少数据可以先调用一次reserve预分配足够空间。例如MyString s; s.reserve(1000); // 预分配1000字符空间 for (int i 0; i 1000; i) { s.push_back(a); // 这1000次操作都不会再触发扩容 }这就是标准库vector和string推荐的使用模式。问题8缺少“移动语义”优化C11及以上现象在函数返回MyString或进行临时对象赋值时会有不必要的深拷贝。现代C解决方案为我们的MyString类添加移动构造函数和移动赋值运算符。这允许“窃取”临时对象右值的资源避免深拷贝大幅提升性能。// 移动构造函数 MyString(MyString other) noexcept : _str(other._str), _size(other._size), _capacity(other._capacity) { other._str nullptr; // 至关重要让other处于有效但可析构的状态 other._size other._capacity 0; } // 移动赋值运算符 MyString operator(MyString other) noexcept { if (this ! other) { delete[] _str; // 释放自己的旧资源 _str other._str; _size other._size; _capacity other._capacity; other._str nullptr; other._size other._capacity 0; } return *this; }实现移动语义后像MyString s3 std::move(s1);这样的语句将高效无比。通过这个从设计到实现再到问题排查的完整过程你应该对C的string类乃至所有需要动态资源管理的类有了一个透彻的理解。这不仅仅是写出了一个类更是掌握了一套在C世界里安全、高效管理内存的思维方式。下次面试官再问你string你完全可以自信地从内存布局讲到深浅拷贝从传统实现聊到移动语义优化这绝对是你C功力的一次完美展示。