尧图网站开发 
1. 从零开始为什么我们需要自己动手实现一个String类在C的世界里std::string几乎是每个开发者最熟悉的老朋友。从简单的日志打印到复杂的文本解析它无处不在。标准库提供的实现稳定、高效功能丰富我们似乎只需要#include string然后愉快地使用append、find、substr就好了。那么一个灵魂拷问来了既然标准库已经做得这么好了为什么我们还要费劲巴拉地去模拟实现一个String类呢这难道不是“重新发明轮子”吗恰恰相反我认为这是C学习者从“语言使用者”迈向“库设计者”和理解“系统底层”的关键一步。直接使用std::string你看到的是一个封装完美的黑盒你只知道它能存字符串能拼接能查找。但盒子里面是什么内存是如何动态分配的拷贝一个字符串时发生了什么为什么有时候操作字符串会那么慢这些问题的答案都藏在模拟实现的过程中。通过亲手实现一个简易的String类你会被迫直面C的几个核心难题资源管理RAII、拷贝控制三/五法则、异常安全。你会深刻理解为什么要有移动语义为什么std::string的c_str()返回的是const char*以及为什么有些操作比如小字符串优化能如此巧妙。这个过程远比死记硬背“深拷贝”、“浅拷贝”的概念要生动和深刻得多。今天我们就抛开std::string这辆“自动驾驶汽车”亲手从拧螺丝、装轮胎开始造一辆我们自己的“字符串小车”。虽然它可能跑不了F1赛道但每一个零件为什么在这里怎么工作的你将一清二楚。2. 蓝图设计我们的MiniString类应该长什么样在动手写代码之前我们必须先画好蓝图。一个最基本的字符串类需要哪些核心能力我们可以参考std::string的冰山一角先实现最基础、最核心的部分。2.1 核心数据成员字符串的灵魂居所一个字符串本质上就是一段连续的内存空间用来存放字符序列并且我们需要随时知道它的长度和容量。因此我们的类至少需要三个数据成员char* _str: 一个指针指向动态分配的、用于存储字符串内容的堆内存首地址。这是字符串数据的载体。size_t _size: 一个无符号整数记录当前字符串的实际长度不包含结尾的\0。这是size()和length()方法的返回值。size_t _capacity: 一个无符号整数记录当前已分配内存的总容量通常至少为_size 1为结尾的\0预留空间。这是capacity()方法的返回值也是决定是否需要扩容的依据。为什么选择动态分配堆内存而不是静态数组因为字符串的长度在运行时是变化的。如果我们用一个固定大小的数组比如char _str[100]那么超过100个字符的字符串就无法处理而分配太小又会浪费空间。动态内存管理给了我们按需分配的自由这也是std::string的核心能力之一。2.2 核心成员函数字符串的“肌肉”与“骨骼”有了数据我们还需要定义行为。对于一个基础的String类我们可以将其成员函数分为几个大类构造与析构生命周期管理这是类的“生”与“死”必须首先处理好。构造函数如何创建一个字符串对象可以从无到有默认构造也可以从C风格字符串、另一个String对象甚至是一串字符来构造。拷贝构造函数当用一个String对象初始化另一个时应该发生什么是共享数据浅拷贝还是复制一份新数据深拷贝这里是我们理解深拷贝的第一个战场。析构函数对象生命周期结束时如何安全地释放它所占用的堆内存防止内存泄漏容量操作了解和管理字符串的“房子”有多大。size()/length()获取字符串长度。capacity()获取当前容量。empty()判断是否为空串。reserve(size_t n)一个非常重要的函数它允许我们提前预留至少n个字符的空间不改变_size。这能有效避免后续追加操作时频繁的扩容和数据拷贝是性能优化的关键。resize(size_t n, char ch \0)改变字符串的_size。如果n _size则用字符ch填充多出的部分如果n _size则截断字符串。它可能会触发reserve。元素访问安全地读写字符串中的某个字符。operator[](size_t pos)像数组一样通过下标访问字符。我们需要提供const和非const两个版本以分别支持只读和可写访问。at(size_t pos)与operator[]功能类似但通常会进行下标越界检查虽然我们简易实现可能先不做异常抛出但要理解其思想。front()/back()访问首尾字符。c_str()返回一个C风格字符串const char*以便与那些只接受C风格字符串的旧式API如很多C库函数交互。注意返回的指针应该是const的防止外部修改导致内部状态不一致。修改操作改变字符串的内容。append/operator在末尾追加字符或字符串。push_back(char ch)/pop_back()在末尾插入/删除一个字符。assign清空并重新赋值。insert/erase/replace在指定位置插入、删除或替换子串。这些是相对复杂的操作因为它们涉及到内存的移动。clear()清空字符串内容_size设为0但_capacity通常不变_str[0]设为\0。字符串操作对字符串本身进行处理。find/rfind查找子串或字符。substr获取子串。compare比较两个字符串。非成员函数一些方便的操作符。operator/operator用于流的输入输出。operator字符串连接通常作为非成员函数实现因为它不修改操作数而是返回一个新的字符串。relational operators (, !, , , ...)比较运算符用于两个String对象的比较。在本次“上篇”实现中我们的目标是搭建起这个类的骨架并实现其中最基础、最核心的部分构造、析构、拷贝构造、赋值重载、容量操作和简单的修改访问。像insert,erase,find等更复杂的操作我们留到“下篇”再深入探讨。饭要一口一口吃路要一步一步走。3. 地基与承重墙构造、拷贝与析构的实现这是整个String类最需要小心谨慎的部分任何一个失误都可能导致内存泄漏、重复释放或程序崩溃。我们将遵循C的“三/五法则”如果一个类需要自定义析构函数、拷贝构造函数或拷贝赋值运算符那么它很可能也需要全部这三个。3.1 默认构造函数与带参构造函数默认构造函数需要创建一个空的字符串对象。一个常见的做法是让_str指向一个只包含结束符\0的堆内存块。class MiniString { private: char* _str; size_t _size; size_t _capacity; public: // 默认构造函数 MiniString() : _str(new char[1]), _size(0), _capacity(0) { _str[0] \0; } // 从C风格字符串构造 MiniString(const char* str) : _str(nullptr), _size(0), _capacity(0) { if (str nullptr) { // 处理空指针可以按默认构造处理或抛出异常这里我们按默认构造处理 _str new char[1]; _str[0] \0; } else { _size strlen(str); _capacity _size; // 初始容量刚好够用 _str new char[_capacity 1]; // 1 给 \0 strcpy(_str, str); // 拷贝内容包括结尾的 \0 } } // ... 其他成员函数 };注意在带参构造函数中我们先将成员初始化为安全状态nullptr和 0然后再进行真正的分配和拷贝。这是一种良好的防御性编程习惯可以避免在new失败抛出异常时对象处于一个部分初始化的无效状态。3.2 拷贝构造函数深拷贝的经典案例这是理解“深拷贝”与“浅拷贝”区别的最佳示例。浅拷贝只复制指针的值导致两个对象指向同一块内存深拷贝则是复制指针所指向的数据。class MiniString { public: // 拷贝构造函数 MiniString(const MiniString other) : _size(other._size), _capacity(other._capacity) { // 分配一块新的、大小足够的内存 _str new char[_capacity 1]; // 拷贝数据包括结尾的 \0 strcpy(_str, other._str); } };为什么必须深拷贝想象一下如果s2(s1)是浅拷贝那么s1和s2的_str指向同一地址。当s1和s2的析构函数被调用时这块内存会被释放两次导致未定义行为通常是程序崩溃。这就是著名的“双重释放”错误。3.3 析构函数资源的最终守卫者析构函数的职责很单纯释放对象在生命周期内申请的所有资源。对于我们来说就是释放_str指向的堆内存。class MiniString { public: ~MiniString() { // 检查 _str 是否为空是良好的习惯虽然 delete[] nullptr 是安全的 if (_str) { delete[] _str; _str nullptr; // 避免悬空指针 _size _capacity 0; } } };3.4 拷贝赋值运算符赋值不仅仅是拷贝赋值操作s1 s2比拷贝构造更复杂一些因为它涉及到将一个已有对象s1的资源替换为另一个对象s2的副本。这里有一个经典的、具有强异常安全性的实现方法——拷贝并交换copy-and-swap。class MiniString { public: // 拷贝赋值运算符 MiniString operator(const MiniString other) { if (this ! other) { // 1. 防止自我赋值s s; // 2. 创建一个临时副本调用了拷贝构造函数 MiniString temp(other); // 3. 交换当前对象和临时副本的内容 swap(temp); // 4. 临时对象 temp 离开作用域其析构函数会释放旧资源 } return *this; // 5. 支持链式赋值s1 s2 s3; } void swap(MiniString other) noexcept { // 使用标准库的 swap 交换各个成员 std::swap(_str, other._str); std::swap(_size, other._size); std::swap(_capacity, other._capacity); } };这个实现为什么好自我赋值安全if (this ! other)检查避免了无意义的操作和潜在错误。强异常安全性在MiniString temp(other);这一步如果内存分配失败new抛出std::bad_alloc异常会直接抛出而*this的原始状态完全没有被改变。这是异常安全性的最高等级。代码复用它复用了拷贝构造函数和析构函数的逻辑避免了代码重复。自动清理通过交换旧资源的所有权转移给了局部变量temp函数结束时temp的析构函数会自动将其释放我们无需手动delete[]。至此我们完成了String类最核心、也最容易出错的生命周期管理部分。这组函数构造、拷贝、析构、赋值是C类设计的基石理解它们你就理解了C资源管理的一半精髓。4. 空间管理艺术reserve、resize与容量增长策略字符串是动态增长的因此高效、合理地管理其底层内存空间至关重要。频繁地重新分配和拷贝数据是性能杀手。std::string的reserve和resize就是为此而生的利器。4.1 reserve(size_t 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当你预先知道将会进行大量追加操作比如在一个循环中拼接很多小字符串时提前调用reserve预留足够大的空间可以避免在循环体内多次触发扩容从而极大提升性能。这是一种典型的“空间换时间”的优化。4.2 resize(size_t n, char ch)改变尺寸按需填充resize函数直接改变字符串的长度_size。它可能涉及扩容也可能涉及截断。void resize(size_t n, char ch \0) { if (n _size) { // 新长度小于等于当前长度截断 _size n; _str[_size] \0; // 在新结尾处添加结束符 } else { // 新长度大于当前长度需要扩容并填充 if (n _capacity) { // 需要扩容通常我们会多分配一些避免刚好够用下次又立刻扩容 // 这里采用一个简单的增长策略例如 new_capacity max(n, _capacity * 1.5) size_t new_capacity std::max(n, _capacity * 3 / 2); reserve(new_capacity); } // 填充额外的空间 for (size_t i _size; i n; i) { _str[i] ch; } _size n; _str[_size] \0; // 设置新的结束符 } }4.3 隐式的容量增长策略push_back 与 append当用户通过push_back或append添加字符导致_size 1 _capacity时我们就必须扩容。这里的策略直接影响性能。一个糟糕的策略比如每次只增加1个字符的空间会导致每次添加都触发一次O(n)的重新分配和拷贝使连续追加n个字符的操作时间复杂度退化为O(n²)。std::string通常采用一种指数增长策略例如每次扩容为当前容量的1.5倍或2倍。这是摊销分析Amortized Analysis中的经典案例它能保证连续追加操作的平均时间复杂度为O(1)。void push_back(char ch) { if (_size 1 _capacity) { // 容量不足需要扩容 // 如果当前容量为0则至少分配一个初始空间比如4或15 size_t new_capacity (_capacity 0) ? 4 : _capacity * 2; reserve(new_capacity); } _str[_size] ch; _size; _str[_size] \0; // 别忘了结束符 } MiniString append(const char* str) { size_t len strlen(str); if (_size len _capacity) { // 预留足够的空间 reserve(_size len); // 注意这里可以更激进比如按倍数增长 } strcpy(_str _size, str); // 从原字符串结尾处开始拷贝 _size len; // strcpy 已经拷贝了结束符所以这里不需要再设置 _str[_size] \0 return *this; }实操心得容量增长的“黄金比例”1.5倍或2倍增长是一个经验值。为什么不是3倍或1.1倍倍数太大如3倍可能导致内存浪费严重倍数太小如1.1倍则扩容次数过于频繁。1.5倍在内存利用率和扩容频率之间取得了较好的平衡。许多标准库实现如GCC的libstdc使用2倍而MSVC使用1.5倍。在我们的实现中选择1.5倍或2倍都是可以接受的。5. 便捷接口与操作符重载让类用起来像内置类型一个好的类不仅要功能正确还要接口友好。操作符重载是C让自定义类型用起来像内置类型的关键魔法。5.1 元素访问operator[] 与 atoperator[]应该提供高效的、不检查越界的访问。我们提供const和 非const两个版本以满足不同的使用场景。// 非const版本允许修改 char operator[](size_t pos) { // 断言检查在Debug模式下帮助发现问题Release模式下通常无开销 assert(pos _size); return _str[pos]; } // const版本用于const对象只允许读 const char operator[](size_t pos) const { assert(pos _size); return _str[pos]; } // at 函数理论上应该进行越界检查并抛出 std::out_of_range 异常 // 这里我们先做一个简单的断言版本 char at(size_t pos) { assert(pos _size); return _str[pos]; } const char at(size_t pos) const { assert(pos _size); return _str[pos]; }5.2 流操作符重载 与 为了让我们的MiniString能像内置类型一样用cin和cout进行输入输出我们需要重载和操作符。它们通常被实现为非成员友元函数。class MiniString { // ... 声明友元函数 friend std::ostream operator(std::ostream os, const MiniString str); friend std::istream operator(std::istream is, MiniString str); }; // 输出操作符 std::ostream operator(std::ostream os, const MiniString str) { os str._str; // 直接输出内部的C风格字符串 return os; } // 输入操作符简易版遇到空白字符停止 std::istream operator(std::istream is, MiniString str) { // 简单起见我们用一个临时字符数组来读取 // 注意这不是工业级实现工业级实现会处理任意长度的输入。 const size_t BUFFER_SIZE 1024; char buffer[BUFFER_SIZE]; if (is buffer) { // is buffer 会在遇到空白字符时停止 str buffer; // 利用我们已实现的赋值运算符 } return is; }注意上面这个operator实现是极简的有缓冲区大小限制。std::string的实现可以动态读取任意长度的输入。实现一个健壮的operator需要更复杂的逻辑比如循环读取直到遇到空白符并动态扩展MiniString的容量。这可以作为读者的一个扩展练习。5.3 关系操作符, !, , 等比较两个字符串是常见操作。我们可以通过实现和然后利用它们推导出其他操作符!,,,。// 相等比较 bool operator(const MiniString lhs, const MiniString rhs) { // 先比较长度长度不同必然不等这是一个快速路径 if (lhs._size ! rhs._size) return false; // 长度相同再逐字符比较 return strcmp(lhs._str, rhs._str) 0; } // 小于比较字典序 bool operator(const MiniString lhs, const MiniString rhs) { return strcmp(lhs._str, rhs._str) 0; } // 利用 和 定义 ! bool operator!(const MiniString lhs, const MiniString rhs) { return !(lhs rhs); } // 同理可以定义 , , 将这些操作符实现为非成员函数通常是友元的好处是支持左右操作数的隐式类型转换。例如hello myString这样的表达式如果operator是成员函数它只接受MiniString在右侧左侧必须是MiniString对象。而非成员函数版本如果MiniString有从const char*转换的构造函数那么上述表达式就能正常工作。6. 收尾与测试验证我们的MiniString在完成了上述核心功能后我们的MiniString类已经具备了基本的使用形态。让我们写一个简单的测试程序来验证它的正确性。#include iostream #include cassert #include cstring // 假设我们的 MiniString 类定义在一个头文件里 // #include MiniString.h int main() { // 1. 测试默认构造和带参构造 MiniString s1; // 默认构造 assert(s1.size() 0); assert(std::strcmp(s1.c_str(), ) 0); MiniString s2(Hello); assert(s2.size() 5); assert(std::strcmp(s2.c_str(), Hello) 0); // 2. 测试拷贝构造 MiniString s3(s2); assert(s3.size() 5); assert(std::strcmp(s3.c_str(), Hello) 0); assert(s3.c_str() ! s2.c_str()); // 必须是深拷贝指针地址不同 // 3. 测试赋值运算符 MiniString s4; s4 s2; assert(s4.size() 5); assert(std::strcmp(s4.c_str(), Hello) 0); assert(s4.c_str() ! s2.c_str()); // 深拷贝 // 4. 测试自我赋值 s4 s4; // 应该安全 assert(std::strcmp(s4.c_str(), Hello) 0); // 5. 测试 operator[] s2[0] h; assert(std::strcmp(s2.c_str(), hello) 0); assert(s2[0] h); const MiniString cs s2; assert(cs[1] e); // 测试 const 版本 // 6. 测试 append 和 push_back s1.append(World); assert(std::strcmp(s1.c_str(), World) 0); s1.push_back(!); assert(std::strcmp(s1.c_str(), World!) 0); // 7. 测试 reserve 和 resize MiniString s5; s5.reserve(100); assert(s5.capacity() 100); assert(s5.size() 0); // reserve 不改变 size assert(std::strcmp(s5.c_str(), ) 0); s5.resize(3, A); assert(s5.size() 3); assert(std::strcmp(s5.c_str(), AAA) 0); s5.resize(1); assert(s5.size() 1); assert(s5[0] A); assert(s5[1] \0); // 被截断了 // 8. 测试关系操作符 MiniString a(apple); MiniString b(banana); assert(a b); assert(a ! b); assert(a MiniString(apple)); // 9. 测试流操作符 MiniString in_str; std::cout Please enter a string (no spaces): ; // std::cin in_str; // 可以测试但注意我们简易实现的限制 std::cout You entered: in_str std::endl; std::cout All basic tests passed! std::endl; return 0; }运行这个测试程序如果所有断言都通过那么恭喜你你已经成功搭建了一个C String类的核心框架这个框架虽然简陋但它已经涵盖了动态内存管理、拷贝控制、基本操作等核心概念。在这个过程中你亲手处理了指针、内存分配、深拷贝、操作符重载等C的经典问题。当然我们的MiniString距离工业级的std::string还有巨大差距比如缺少迭代器、缺少find/replace等复杂字符串操作、没有实现移动语义C11、没有小字符串优化SSO等高级特性。但这些正是“下篇”可以继续探索的内容。通过这个“造轮子”的过程希望你再回头看std::string时眼中不再是一个神秘的黑盒而是一个由清晰逻辑和精妙设计构成的、可以理解的作品。这才是模拟实现最大的价值。 
1. 从零开始为什么我们需要自己动手实现一个String类在C的世界里std::string几乎是每个开发者最熟悉的老朋友。从简单的日志打印到复杂的文本解析它无处不在。标准库提供的实现稳定、高效功能丰富我们似乎只需要#include string然后愉快地使用append、find、substr就好了。那么一个灵魂拷问来了既然标准库已经做得这么好了为什么我们还要费劲巴拉地去模拟实现一个String类呢这难道不是“重新发明轮子”吗恰恰相反我认为这是C学习者从“语言使用者”迈向“库设计者”和理解“系统底层”的关键一步。直接使用std::string你看到的是一个封装完美的黑盒你只知道它能存字符串能拼接能查找。但盒子里面是什么内存是如何动态分配的拷贝一个字符串时发生了什么为什么有时候操作字符串会那么慢这些问题的答案都藏在模拟实现的过程中。通过亲手实现一个简易的String类你会被迫直面C的几个核心难题资源管理RAII、拷贝控制三/五法则、异常安全。你会深刻理解为什么要有移动语义为什么std::string的c_str()返回的是const char*以及为什么有些操作比如小字符串优化能如此巧妙。这个过程远比死记硬背“深拷贝”、“浅拷贝”的概念要生动和深刻得多。今天我们就抛开std::string这辆“自动驾驶汽车”亲手从拧螺丝、装轮胎开始造一辆我们自己的“字符串小车”。虽然它可能跑不了F1赛道但每一个零件为什么在这里怎么工作的你将一清二楚。2. 蓝图设计我们的MiniString类应该长什么样在动手写代码之前我们必须先画好蓝图。一个最基本的字符串类需要哪些核心能力我们可以参考std::string的冰山一角先实现最基础、最核心的部分。2.1 核心数据成员字符串的灵魂居所一个字符串本质上就是一段连续的内存空间用来存放字符序列并且我们需要随时知道它的长度和容量。因此我们的类至少需要三个数据成员char* _str: 一个指针指向动态分配的、用于存储字符串内容的堆内存首地址。这是字符串数据的载体。size_t _size: 一个无符号整数记录当前字符串的实际长度不包含结尾的\0。这是size()和length()方法的返回值。size_t _capacity: 一个无符号整数记录当前已分配内存的总容量通常至少为_size 1为结尾的\0预留空间。这是capacity()方法的返回值也是决定是否需要扩容的依据。为什么选择动态分配堆内存而不是静态数组因为字符串的长度在运行时是变化的。如果我们用一个固定大小的数组比如char _str[100]那么超过100个字符的字符串就无法处理而分配太小又会浪费空间。动态内存管理给了我们按需分配的自由这也是std::string的核心能力之一。2.2 核心成员函数字符串的“肌肉”与“骨骼”有了数据我们还需要定义行为。对于一个基础的String类我们可以将其成员函数分为几个大类构造与析构生命周期管理这是类的“生”与“死”必须首先处理好。构造函数如何创建一个字符串对象可以从无到有默认构造也可以从C风格字符串、另一个String对象甚至是一串字符来构造。拷贝构造函数当用一个String对象初始化另一个时应该发生什么是共享数据浅拷贝还是复制一份新数据深拷贝这里是我们理解深拷贝的第一个战场。析构函数对象生命周期结束时如何安全地释放它所占用的堆内存防止内存泄漏容量操作了解和管理字符串的“房子”有多大。size()/length()获取字符串长度。capacity()获取当前容量。empty()判断是否为空串。reserve(size_t n)一个非常重要的函数它允许我们提前预留至少n个字符的空间不改变_size。这能有效避免后续追加操作时频繁的扩容和数据拷贝是性能优化的关键。resize(size_t n, char ch \0)改变字符串的_size。如果n _size则用字符ch填充多出的部分如果n _size则截断字符串。它可能会触发reserve。元素访问安全地读写字符串中的某个字符。operator[](size_t pos)像数组一样通过下标访问字符。我们需要提供const和非const两个版本以分别支持只读和可写访问。at(size_t pos)与operator[]功能类似但通常会进行下标越界检查虽然我们简易实现可能先不做异常抛出但要理解其思想。front()/back()访问首尾字符。c_str()返回一个C风格字符串const char*以便与那些只接受C风格字符串的旧式API如很多C库函数交互。注意返回的指针应该是const的防止外部修改导致内部状态不一致。修改操作改变字符串的内容。append/operator在末尾追加字符或字符串。push_back(char ch)/pop_back()在末尾插入/删除一个字符。assign清空并重新赋值。insert/erase/replace在指定位置插入、删除或替换子串。这些是相对复杂的操作因为它们涉及到内存的移动。clear()清空字符串内容_size设为0但_capacity通常不变_str[0]设为\0。字符串操作对字符串本身进行处理。find/rfind查找子串或字符。substr获取子串。compare比较两个字符串。非成员函数一些方便的操作符。operator/operator用于流的输入输出。operator字符串连接通常作为非成员函数实现因为它不修改操作数而是返回一个新的字符串。relational operators (, !, , , ...)比较运算符用于两个String对象的比较。在本次“上篇”实现中我们的目标是搭建起这个类的骨架并实现其中最基础、最核心的部分构造、析构、拷贝构造、赋值重载、容量操作和简单的修改访问。像insert,erase,find等更复杂的操作我们留到“下篇”再深入探讨。饭要一口一口吃路要一步一步走。3. 地基与承重墙构造、拷贝与析构的实现这是整个String类最需要小心谨慎的部分任何一个失误都可能导致内存泄漏、重复释放或程序崩溃。我们将遵循C的“三/五法则”如果一个类需要自定义析构函数、拷贝构造函数或拷贝赋值运算符那么它很可能也需要全部这三个。3.1 默认构造函数与带参构造函数默认构造函数需要创建一个空的字符串对象。一个常见的做法是让_str指向一个只包含结束符\0的堆内存块。class MiniString { private: char* _str; size_t _size; size_t _capacity; public: // 默认构造函数 MiniString() : _str(new char[1]), _size(0), _capacity(0) { _str[0] \0; } // 从C风格字符串构造 MiniString(const char* str) : _str(nullptr), _size(0), _capacity(0) { if (str nullptr) { // 处理空指针可以按默认构造处理或抛出异常这里我们按默认构造处理 _str new char[1]; _str[0] \0; } else { _size strlen(str); _capacity _size; // 初始容量刚好够用 _str new char[_capacity 1]; // 1 给 \0 strcpy(_str, str); // 拷贝内容包括结尾的 \0 } } // ... 其他成员函数 };注意在带参构造函数中我们先将成员初始化为安全状态nullptr和 0然后再进行真正的分配和拷贝。这是一种良好的防御性编程习惯可以避免在new失败抛出异常时对象处于一个部分初始化的无效状态。3.2 拷贝构造函数深拷贝的经典案例这是理解“深拷贝”与“浅拷贝”区别的最佳示例。浅拷贝只复制指针的值导致两个对象指向同一块内存深拷贝则是复制指针所指向的数据。class MiniString { public: // 拷贝构造函数 MiniString(const MiniString other) : _size(other._size), _capacity(other._capacity) { // 分配一块新的、大小足够的内存 _str new char[_capacity 1]; // 拷贝数据包括结尾的 \0 strcpy(_str, other._str); } };为什么必须深拷贝想象一下如果s2(s1)是浅拷贝那么s1和s2的_str指向同一地址。当s1和s2的析构函数被调用时这块内存会被释放两次导致未定义行为通常是程序崩溃。这就是著名的“双重释放”错误。3.3 析构函数资源的最终守卫者析构函数的职责很单纯释放对象在生命周期内申请的所有资源。对于我们来说就是释放_str指向的堆内存。class MiniString { public: ~MiniString() { // 检查 _str 是否为空是良好的习惯虽然 delete[] nullptr 是安全的 if (_str) { delete[] _str; _str nullptr; // 避免悬空指针 _size _capacity 0; } } };3.4 拷贝赋值运算符赋值不仅仅是拷贝赋值操作s1 s2比拷贝构造更复杂一些因为它涉及到将一个已有对象s1的资源替换为另一个对象s2的副本。这里有一个经典的、具有强异常安全性的实现方法——拷贝并交换copy-and-swap。class MiniString { public: // 拷贝赋值运算符 MiniString operator(const MiniString other) { if (this ! other) { // 1. 防止自我赋值s s; // 2. 创建一个临时副本调用了拷贝构造函数 MiniString temp(other); // 3. 交换当前对象和临时副本的内容 swap(temp); // 4. 临时对象 temp 离开作用域其析构函数会释放旧资源 } return *this; // 5. 支持链式赋值s1 s2 s3; } void swap(MiniString other) noexcept { // 使用标准库的 swap 交换各个成员 std::swap(_str, other._str); std::swap(_size, other._size); std::swap(_capacity, other._capacity); } };这个实现为什么好自我赋值安全if (this ! other)检查避免了无意义的操作和潜在错误。强异常安全性在MiniString temp(other);这一步如果内存分配失败new抛出std::bad_alloc异常会直接抛出而*this的原始状态完全没有被改变。这是异常安全性的最高等级。代码复用它复用了拷贝构造函数和析构函数的逻辑避免了代码重复。自动清理通过交换旧资源的所有权转移给了局部变量temp函数结束时temp的析构函数会自动将其释放我们无需手动delete[]。至此我们完成了String类最核心、也最容易出错的生命周期管理部分。这组函数构造、拷贝、析构、赋值是C类设计的基石理解它们你就理解了C资源管理的一半精髓。4. 空间管理艺术reserve、resize与容量增长策略字符串是动态增长的因此高效、合理地管理其底层内存空间至关重要。频繁地重新分配和拷贝数据是性能杀手。std::string的reserve和resize就是为此而生的利器。4.1 reserve(size_t 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当你预先知道将会进行大量追加操作比如在一个循环中拼接很多小字符串时提前调用reserve预留足够大的空间可以避免在循环体内多次触发扩容从而极大提升性能。这是一种典型的“空间换时间”的优化。4.2 resize(size_t n, char ch)改变尺寸按需填充resize函数直接改变字符串的长度_size。它可能涉及扩容也可能涉及截断。void resize(size_t n, char ch \0) { if (n _size) { // 新长度小于等于当前长度截断 _size n; _str[_size] \0; // 在新结尾处添加结束符 } else { // 新长度大于当前长度需要扩容并填充 if (n _capacity) { // 需要扩容通常我们会多分配一些避免刚好够用下次又立刻扩容 // 这里采用一个简单的增长策略例如 new_capacity max(n, _capacity * 1.5) size_t new_capacity std::max(n, _capacity * 3 / 2); reserve(new_capacity); } // 填充额外的空间 for (size_t i _size; i n; i) { _str[i] ch; } _size n; _str[_size] \0; // 设置新的结束符 } }4.3 隐式的容量增长策略push_back 与 append当用户通过push_back或append添加字符导致_size 1 _capacity时我们就必须扩容。这里的策略直接影响性能。一个糟糕的策略比如每次只增加1个字符的空间会导致每次添加都触发一次O(n)的重新分配和拷贝使连续追加n个字符的操作时间复杂度退化为O(n²)。std::string通常采用一种指数增长策略例如每次扩容为当前容量的1.5倍或2倍。这是摊销分析Amortized Analysis中的经典案例它能保证连续追加操作的平均时间复杂度为O(1)。void push_back(char ch) { if (_size 1 _capacity) { // 容量不足需要扩容 // 如果当前容量为0则至少分配一个初始空间比如4或15 size_t new_capacity (_capacity 0) ? 4 : _capacity * 2; reserve(new_capacity); } _str[_size] ch; _size; _str[_size] \0; // 别忘了结束符 } MiniString append(const char* str) { size_t len strlen(str); if (_size len _capacity) { // 预留足够的空间 reserve(_size len); // 注意这里可以更激进比如按倍数增长 } strcpy(_str _size, str); // 从原字符串结尾处开始拷贝 _size len; // strcpy 已经拷贝了结束符所以这里不需要再设置 _str[_size] \0 return *this; }实操心得容量增长的“黄金比例”1.5倍或2倍增长是一个经验值。为什么不是3倍或1.1倍倍数太大如3倍可能导致内存浪费严重倍数太小如1.1倍则扩容次数过于频繁。1.5倍在内存利用率和扩容频率之间取得了较好的平衡。许多标准库实现如GCC的libstdc使用2倍而MSVC使用1.5倍。在我们的实现中选择1.5倍或2倍都是可以接受的。5. 便捷接口与操作符重载让类用起来像内置类型一个好的类不仅要功能正确还要接口友好。操作符重载是C让自定义类型用起来像内置类型的关键魔法。5.1 元素访问operator[] 与 atoperator[]应该提供高效的、不检查越界的访问。我们提供const和 非const两个版本以满足不同的使用场景。// 非const版本允许修改 char operator[](size_t pos) { // 断言检查在Debug模式下帮助发现问题Release模式下通常无开销 assert(pos _size); return _str[pos]; } // const版本用于const对象只允许读 const char operator[](size_t pos) const { assert(pos _size); return _str[pos]; } // at 函数理论上应该进行越界检查并抛出 std::out_of_range 异常 // 这里我们先做一个简单的断言版本 char at(size_t pos) { assert(pos _size); return _str[pos]; } const char at(size_t pos) const { assert(pos _size); return _str[pos]; }5.2 流操作符重载 与 为了让我们的MiniString能像内置类型一样用cin和cout进行输入输出我们需要重载和操作符。它们通常被实现为非成员友元函数。class MiniString { // ... 声明友元函数 friend std::ostream operator(std::ostream os, const MiniString str); friend std::istream operator(std::istream is, MiniString str); }; // 输出操作符 std::ostream operator(std::ostream os, const MiniString str) { os str._str; // 直接输出内部的C风格字符串 return os; } // 输入操作符简易版遇到空白字符停止 std::istream operator(std::istream is, MiniString str) { // 简单起见我们用一个临时字符数组来读取 // 注意这不是工业级实现工业级实现会处理任意长度的输入。 const size_t BUFFER_SIZE 1024; char buffer[BUFFER_SIZE]; if (is buffer) { // is buffer 会在遇到空白字符时停止 str buffer; // 利用我们已实现的赋值运算符 } return is; }注意上面这个operator实现是极简的有缓冲区大小限制。std::string的实现可以动态读取任意长度的输入。实现一个健壮的operator需要更复杂的逻辑比如循环读取直到遇到空白符并动态扩展MiniString的容量。这可以作为读者的一个扩展练习。5.3 关系操作符, !, , 等比较两个字符串是常见操作。我们可以通过实现和然后利用它们推导出其他操作符!,,,。// 相等比较 bool operator(const MiniString lhs, const MiniString rhs) { // 先比较长度长度不同必然不等这是一个快速路径 if (lhs._size ! rhs._size) return false; // 长度相同再逐字符比较 return strcmp(lhs._str, rhs._str) 0; } // 小于比较字典序 bool operator(const MiniString lhs, const MiniString rhs) { return strcmp(lhs._str, rhs._str) 0; } // 利用 和 定义 ! bool operator!(const MiniString lhs, const MiniString rhs) { return !(lhs rhs); } // 同理可以定义 , , 将这些操作符实现为非成员函数通常是友元的好处是支持左右操作数的隐式类型转换。例如hello myString这样的表达式如果operator是成员函数它只接受MiniString在右侧左侧必须是MiniString对象。而非成员函数版本如果MiniString有从const char*转换的构造函数那么上述表达式就能正常工作。6. 收尾与测试验证我们的MiniString在完成了上述核心功能后我们的MiniString类已经具备了基本的使用形态。让我们写一个简单的测试程序来验证它的正确性。#include iostream #include cassert #include cstring // 假设我们的 MiniString 类定义在一个头文件里 // #include MiniString.h int main() { // 1. 测试默认构造和带参构造 MiniString s1; // 默认构造 assert(s1.size() 0); assert(std::strcmp(s1.c_str(), ) 0); MiniString s2(Hello); assert(s2.size() 5); assert(std::strcmp(s2.c_str(), Hello) 0); // 2. 测试拷贝构造 MiniString s3(s2); assert(s3.size() 5); assert(std::strcmp(s3.c_str(), Hello) 0); assert(s3.c_str() ! s2.c_str()); // 必须是深拷贝指针地址不同 // 3. 测试赋值运算符 MiniString s4; s4 s2; assert(s4.size() 5); assert(std::strcmp(s4.c_str(), Hello) 0); assert(s4.c_str() ! s2.c_str()); // 深拷贝 // 4. 测试自我赋值 s4 s4; // 应该安全 assert(std::strcmp(s4.c_str(), Hello) 0); // 5. 测试 operator[] s2[0] h; assert(std::strcmp(s2.c_str(), hello) 0); assert(s2[0] h); const MiniString cs s2; assert(cs[1] e); // 测试 const 版本 // 6. 测试 append 和 push_back s1.append(World); assert(std::strcmp(s1.c_str(), World) 0); s1.push_back(!); assert(std::strcmp(s1.c_str(), World!) 0); // 7. 测试 reserve 和 resize MiniString s5; s5.reserve(100); assert(s5.capacity() 100); assert(s5.size() 0); // reserve 不改变 size assert(std::strcmp(s5.c_str(), ) 0); s5.resize(3, A); assert(s5.size() 3); assert(std::strcmp(s5.c_str(), AAA) 0); s5.resize(1); assert(s5.size() 1); assert(s5[0] A); assert(s5[1] \0); // 被截断了 // 8. 测试关系操作符 MiniString a(apple); MiniString b(banana); assert(a b); assert(a ! b); assert(a MiniString(apple)); // 9. 测试流操作符 MiniString in_str; std::cout Please enter a string (no spaces): ; // std::cin in_str; // 可以测试但注意我们简易实现的限制 std::cout You entered: in_str std::endl; std::cout All basic tests passed! std::endl; return 0; }运行这个测试程序如果所有断言都通过那么恭喜你你已经成功搭建了一个C String类的核心框架这个框架虽然简陋但它已经涵盖了动态内存管理、拷贝控制、基本操作等核心概念。在这个过程中你亲手处理了指针、内存分配、深拷贝、操作符重载等C的经典问题。当然我们的MiniString距离工业级的std::string还有巨大差距比如缺少迭代器、缺少find/replace等复杂字符串操作、没有实现移动语义C11、没有小字符串优化SSO等高级特性。但这些正是“下篇”可以继续探索的内容。通过这个“造轮子”的过程希望你再回头看std::string时眼中不再是一个神秘的黑盒而是一个由清晰逻辑和精妙设计构成的、可以理解的作品。这才是模拟实现最大的价值。