1. 项目概述为什么String类是C面试的“必考题”如果你正准备C的面试尤其是面向中高级岗位那么“手写一个String类”这道题你大概率逃不掉。这几乎是国内各大厂技术面、甚至很多中小公司笔试面试的“保留节目”。表面上看它考察的是对C基础语法的掌握比如构造函数、析构函数、运算符重载。但稍微深入一点你就会发现面试官真正想看的是你对C内存管理核心——浅拷贝与深拷贝——的理解深度以及你是否具备编写资源管理类的基本功。为什么偏偏是String因为它是一个完美的教学案例和试金石。它足够简单核心就是一个char*指针指向一块动态内存但它又足够复杂涉及到拷贝构造、赋值运算符这些Rule of Three或者C11后的Rule of Five的关键成员函数。一个char*指针的拷贝是直接复制地址浅拷贝还是为新对象申请新内存并复制内容深拷贝直接决定了程序的生死。浅拷贝带来的“双指针共指同一内存”问题是导致重复释放、内存泄漏、数据篡改等经典Bug的根源。能清晰、正确、高效地实现String的深拷贝证明你已经跨过了C新手常踩的“内存坑”。所以今天我们不谈八股直接上手。我会带你从零实现一个工业级的MyString类重点拆解每个接口背后的设计意图和内存操作细节。我会分享我在面试别人和被别人面试时关于这个问题的所有心得和“坑点”。无论你是正在备战面试还是想夯实C基础这篇内容都能让你对C的“对象生命周期”和“资源所有权”有全新的认识。2. 核心设计拥抱“Rule of Three”与资源管理在动手写代码之前我们必须把设计思路理清楚。一个基本的字符串类需要哪些数据成员很简单一个char*指针m_data用来指向堆上分配的字符数组以及一个size_t类型的m_size记录字符串的长度不包括结尾的\0。这里为什么不存储容量为了聚焦核心问题拷贝我们先实现一个最简单的版本。确定了成员接下来就是确定需要实现哪些成员函数。这就是著名的“Rule of Three”如果一个类需要用户自定义析构函数、拷贝构造函数或拷贝赋值运算符中的任何一个那么它很可能三个都需要。因为这三个函数共同管理着类的资源这里是动态内存。2.1 为什么是“Rule of Three”析构函数因为我们在堆上分配了内存new char[]所以必须在对象销毁时释放它delete[] m_data。这是避免内存泄漏的底线。拷贝构造函数当用一个已有的MyString对象初始化一个新对象时例如MyString str2 str1;或MyString str2(str1);默认的拷贝行为是“成员逐一拷贝”浅拷贝。这会导致str1.m_data和str2.m_data指向同一块内存。当这两个对象析构时同一块内存会被delete[]两次引发未定义行为通常是程序崩溃。因此我们必须自定义拷贝构造函数执行深拷贝。拷贝赋值运算符当对一个已存在的对象进行赋值时例如str2 str1;情况比拷贝构造更复杂。它不仅要处理深拷贝还要妥善处理str2原有的资源先释放旧内存并处理好自赋值str str;的情况。默认的赋值操作同样是浅拷贝会带来和默认拷贝构造函数一样的问题甚至更糟因为原有资源泄漏了。我们的MyString类显然符合“Rule of Three”的条件因此这三个函数是必须实现的基石。在C11之后还有移动语义Rule of Five但为了聚焦经典面试考点我们先实现这三巨头。2.2 接口设计清单基于以上分析我们的MyString类需要提供以下接口构造函数默认构造、从C风格字符串构造。“Rule of Three”函数析构函数、拷贝构造函数、拷贝赋值运算符。常用功能接口size(): 返回字符串长度。c_str(): 返回底层的C风格字符串指针常函数保证不修改对象。重载下标运算符[]支持像数组一样访问和修改字符。重载流插入运算符方便用cout输出。重载比较运算符和!用于字符串比较。连接操作或成员函数append可选用于考察更多内存操作。注意在面试中面试官可能会要求你逐步实现并不断追问。例如先实现构造和析构再问“如果这样拷贝会有什么问题”引出拷贝构造再问“那赋值呢”。清晰的思路比一口气写完所有代码更重要。3. 基础实现构造、析构与深拷贝的基石让我们开始编写MyString类的骨架和基础函数。首先我们定义类的数据成员。class MyString { private: char* m_data; // 指向存放字符的堆内存 size_t m_size; // 字符串长度不包括‘\0’ public: // 构造函数们 MyString(); // 默认构造 MyString(const char* cstr); // 从C字符串构造 // Rule of Three ~MyString(); // 析构函数 MyString(const MyString other); // 拷贝构造函数 MyString operator(const MyString other); // 拷贝赋值运算符 // 基础功能接口 size_t size() const { return m_size; } const char* c_str() const { return m_data; } // 其他接口将在后续实现... };3.1 默认构造函数与从C字符串构造默认构造函数应该创建一个空字符串。空字符串不等于nullptr它应该是一个有效的、包含结束符\0的C风格字符串。MyString::MyString() : m_data(new char[1]), m_size(0) { m_data[0] \0; // 空字符串以‘\0’结尾 }这里我们分配了1个char的空间用于存放\0。m_size为0。从C风格字符串构造是更常用的构造函数。我们需要计算输入字符串的长度分配足够的内存长度1用于\0然后复制内容。MyString::MyString(const char* cstr) { if (cstr) { m_size strlen(cstr); // 计算长度 m_data new char[m_size 1]; // 分配空间1给‘\0’ strcpy(m_data, cstr); // 复制内容包括‘\0’ } else { // 处理空指针输入行为可自定义这里选择构造为空字符串 m_size 0; m_data new char[1]; m_data[0] \0; } }实操心得在构造函数中务必检查输入指针是否为空。这是一个良好的防御性编程习惯。面试时如果你能主动提到这一点并说明你的处理策略如抛出异常、构造为空串等会是加分项。3.2 析构函数析构函数的职责很单一释放对象生命周期内申请的资源。MyString::~MyString() { delete[] m_data; // 释放字符数组 // m_data nullptr; // 非必须但好习惯防止悬空指针被误用 }这里使用delete[]是因为我们是用new char[]分配的数组。delete和delete[]必须配对使用否则行为未定义。3.3 拷贝构造函数深拷贝的核心体现这是理解深拷贝的第一个关键点。拷贝构造函数的参数是const MyString即对同类型对象的常量引用。MyString::MyString(const MyString other) { m_size other.m_size; // 复制长度 m_data new char[m_size 1]; // **关键步骤**为自己分配全新的内存 strcpy(m_data, other.m_data); // 复制内容 }看深拷贝的精髓就在这里new char[m_size 1]。我们不是简单地让this-m_data other.m_data那样就是浅拷贝共享内存了而是为当前新对象重新申请了一块独立的内存空间然后把other对象的内容复制过来。这样两个对象虽然内容相同但内存地址完全不同互不影响。4. 进阶实现拷贝赋值运算符与自赋值安全拷贝赋值运算符operator是“Rule of Three”中最容易出错的一个。它需要处理几个棘手的问题释放旧资源赋值前this对象可能已经持有资源内存必须先行释放否则会导致内存泄漏。深拷贝新资源和拷贝构造函数一样需要为this对象分配新内存并复制other的内容。处理自赋值str str;这种操作在逻辑上无害但在我们的实现中如果不加处理会先释放str.m_data然后试图从已经被释放的内存other.m_data此时就是this-m_data中复制数据导致未定义行为访问已释放内存。4.1 经典的“拷贝并交换”实现一个健壮且优雅的实现是“拷贝并交换”copy-and-swap idiom。但为了清晰展示每一步我们先实现一个基础版本。MyString MyString::operator(const MyString other) { // 1. 检查自赋值 if (this other) { return *this; // 如果是自己给自己赋值直接返回 } // 2. 释放当前对象持有的旧内存 delete[] m_data; // 3. 分配新内存并复制内容深拷贝 m_size other.m_size; m_data new char[m_size 1]; strcpy(m_data, other.m_data); // 4. 返回当前对象的引用以支持链式赋值 (a b c) return *this; }这个版本清晰易懂也是面试中常见的写法。它明确处理了自赋值问题if (this other)。但这里有一个隐蔽的风险如果在第3步new操作时内存分配失败抛出std::bad_alloc异常那么this对象的状态已经被破坏m_data已被delete但新的m_data还未成功赋值对象处于无效状态。这就是所谓的“异常不安全”。4.2 更健壮的实现先拷贝再交换为了做到异常安全一个更好的做法是“先创建一个临时副本再交换”。这样即使中间步骤出错this对象的原有状态也不会被破坏。MyString MyString::operator(const MyString other) { if (this ! other) { // 检查自赋值 // 创建一个临时对象调用拷贝构造函数执行深拷贝 MyString temp(other); // 交换当前对象和临时对象的内容 // 我们需要一个swap成员函数或使用std::swap // 这里简单实现为直接交换指针和长度 std::swap(m_data, temp.m_data); std::swap(m_size, temp.m_size); // temp在作用域结束时析构会释放旧的资源 } return *this; }这个版本的妙处在于异常安全MyString temp(other)如果失败内存不足异常会在修改this对象之前抛出this对象保持原状。自赋值安全if语句处理了自赋值。代码复用利用拷贝构造函数完成了深拷贝的核心逻辑避免了重复代码。资源清理旧的资源由临时对象temp在析构时自动释放。在面试中如果你能写出这个版本并解释清楚其相对于基础版本的优势异常安全、避免代码重复无疑会大大加分。注意事项std::swap交换的是指针值地址和整数值效率极高。交换后temp持有了this原来的旧内存随着temp析构旧内存被安全释放。这是现代C中管理资源的常用技巧。5. 功能完善常用操作符与接口实现实现了“Rule of Three”我们的MyString类就有了安全的生命期管理。接下来我们为其添加一些实用的功能让它更像标准的std::string。5.1 重载下标运算符[]我们需要两个版本一个常量版本用于读取一个非常量版本用于修改。// 常量版本用于const对象读取 const char MyString::operator[](size_t index) const { // 边界检查这是一个好习惯虽然标准库的string::operator[]不检查。 // 面试中可以讨论是否检查以及检查后是抛出异常还是断言。 // 这里我们简单处理实际项目应更严谨。 if (index m_size) { throw std::out_of_range(Index out of range); } return m_data[index]; } // 非常量版本用于非const对象读写 char MyString::operator[](size_t index) { if (index m_size) { throw std::out_of_range(Index out of range); } return m_data[index]; }为什么需要两个版本对于一个const MyString对象我们只能调用其常量成员函数。如果我们只提供了非常量版本的operator[]那么const对象就无法使用下标访问了。提供常量版本保证了const正确性。5.2 重载流插入运算符为了能用std::cout myStr;输出我们需要将operator重载为全局友元函数。// 在类声明中添加友元声明 class MyString { // ... friend std::ostream operator(std::ostream os, const MyString str); }; // 在类外实现 std::ostream operator(std::ostream os, const MyString str) { os str.m_data; // 直接输出内部的C字符串 return os; // 返回流引用以支持链式输出 }5.3 重载比较运算符和!比较两个MyString对象是否相等本质是比较它们持有的字符串内容是否相同。bool operator(const MyString lhs, const MyString rhs) { // 先比较长度长度不同必然不等这是一个快速优化 if (lhs.size() ! rhs.size()) { return false; } // 长度相同再逐字符比较。使用strcmp也可以。 return strcmp(lhs.c_str(), rhs.c_str()) 0; } bool operator!(const MyString lhs, const MyString rhs) { return !(lhs rhs); // 复用operator的实现 }同样这两个函数通常声明为全局函数可以是友元。注意参数是const MyString避免不必要的拷贝。5.4 连接操作可选拓展实现字符串连接可以进一步考察内存的重新分配。我们可以实现一个成员函数append或者重载运算符。// 成员函数append MyString MyString::append(const MyString str) { size_t new_size m_size str.m_size; char* new_data new char[new_size 1]; // 申请新的大内存 strcpy(new_data, m_data); // 拷贝原内容 strcat(new_data, str.m_data); // 拼接新内容 delete[] m_data; // 释放旧内存 m_data new_data; // 指向新内存 m_size new_size; // 更新长度 return *this; // 支持链式调用 } // 全局函数重载运算符返回新对象 MyString operator(const MyString lhs, const MyString rhs) { MyString result(lhs); // 用lhs拷贝构造一个新对象 result.append(rhs); // 将rhs的内容追加到新对象 return result; // 返回新对象可能涉及返回值优化RVO/NRVO }append函数展示了典型的“申请新空间-复制-释放旧空间”的资源管理模式。operator则是一个很好的例子它展示了如何通过组合已有的拷贝构造和append功能来实现新功能并且其返回值可能触发编译器的返回值优化。6. 深度拷问面试官可能追问的典型问题与陷阱当你流畅地写完上述代码后有经验的面试官不会就此罢休。他们会通过一系列追问探测你对细节的理解。下面是我总结的几个高频追问点及回答思路。6.1 如果没有定义拷贝构造函数直接使用默认的会怎样这就是浅拷贝的灾难现场。假设我们有一个函数void foo() { MyString str1(hello); MyString str2 str1; // 调用默认拷贝构造浅拷贝 } // 作用域结束str2和str1依次析构str2 str1执行默认的逐成员拷贝于是str2.m_data和str1.m_data指向了同一块堆内存。析构时str2先调用delete[] m_data释放了这块内存。紧接着str1析构再次对同一块已经释放的内存调用delete[]这就是“双重释放”double free会导致程序崩溃或未定义行为。同时如果其中一个对象修改了字符串内容另一个对象也会“莫名其妙”地跟着变。6.2 拷贝赋值运算符中为什么需要检查自赋值考虑我们最初那个不安全的operator实现如果没有if (this other)检查MyString MyString::operator(const MyString other) { delete[] m_data; // 第一步释放自己的内存 // 如果此时 other 就是 *this那么 other.m_data 刚被释放 m_size other.m_size; m_data new char[m_size 1]; // 第二步试图从已释放的内存读取长度 strcpy(m_data, other.m_data); // 第三步试图从已释放的内存复制数据 return *this; }当发生str str;自赋值时第一步delete[] m_data就把自己的内存释放了。紧接着第二步和第三步中的other.m_size和other.m_data访问的已经是“悬空指针”指向的无效内存区域程序行为完全不可预测通常会导致崩溃。因此自赋值检查是保证正确性的关键一步。6.3 “拷贝并交换”手法中swap交换后旧资源是如何被清理的这是理解现代C资源管理的一个优美例子。MyString MyString::operator(const MyString other) { MyString temp(other); // 深拷贝出副本 swap(*this, temp); // 交换this和temp的内容 return *this; } // temp离开作用域被析构。此时temp持有的是this原来的旧内存。假设赋值前this持有内存A。temp通过深拷贝获得了内存B内容与other相同。swap之后this获得了内存Btemp获得了内存A。函数结束时局部对象temp被销毁其析构函数delete[]被调用正好释放了旧内存A。整个过程资源管理清晰没有泄漏。6.4 你的operator[]进行了边界检查标准库的std::string::operator[]呢这是一个很好的实践与理论结合的问题。标准库的std::string::operator[]不进行边界检查访问越界是未定义行为。它追求的是极致的性能。标准库提供了另一个成员函数at(size_t pos)这个函数会进行边界检查如果越界则抛出std::out_of_range异常。 在面试中实现时你可以选择像标准库一样operator[]不检查at()函数检查并抛异常。更专业在operator[]内部进行检查并抛异常。更安全适合教学和一般应用 关键是要能说出你的设计取舍性能优先还是安全性优先。6.5 如何让你的String类支持C11的移动语义Rule of Five这是对“Rule of Three”的现代扩展。移动构造函数和移动赋值运算符通过“窃取”临时对象右值的资源来避免不必要的深拷贝提升性能。// 移动构造函数 MyString::MyString(MyString other) noexcept : m_data(other.m_data), m_size(other.m_size) { // 直接“偷”指针 other.m_data nullptr; // 重要将源对象置于有效但空的状态 other.m_size 0; } // 移动赋值运算符 MyString MyString::operator(MyString other) noexcept { if (this ! other) { delete[] m_data; // 释放自己的旧资源 m_data other.m_data; // “偷”资源 m_size other.m_size; other.m_data nullptr; other.m_size 0; } return *this; }移动操作后被移动的源对象other应处于可安全析构的状态通常将其指针成员置为nullptr。添加了移动语义后在函数返回临时对象、std::move等场景下效率会大幅提升。在面试中如果能主动提到这一点说明你对现代C有深入了解。7. 避坑指南与最佳实践总结通过完整实现一个MyString类我们几乎踩遍了C资源管理的所有经典陷阱。最后我来分享几条至关重要的避坑经验和最佳实践。7.1 牢记“Rule of Three/Five/Zero”Rule of Three如果你需要自定义析构函数、拷贝构造函数或拷贝赋值运算符中的任何一个那么你很可能需要全部自定义。MyString是典型例子。Rule of FiveC11及以后在Rule of Three基础上增加移动构造函数和移动赋值运算符以支持移动语义优化性能。Rule of Zero理想情况下类的资源管理应该委托给专门的资源管理类如std::string,std::vector,std::unique_ptr。这样你就不需要自己写析构、拷贝/移动等函数编译器自动生成的就能正确工作。这是现代C推崇的做法。MyString这个练习的目的正是为了让你理解这些规则背后的原理从而更好地使用“Rule of Zero”。7.2 在拷贝赋值运算符中实现“异常安全”如第4部分所述基础的“先删后拷”实现存在异常风险。使用“拷贝并交换”copy-and-swap idiom是实现异常安全拷贝赋值运算符的经典方法。它通过创建一个局部临时副本再交换资源确保了即使在分配内存失败时当前对象的状态也不会被破坏。7.3 注意const正确性为所有不修改对象状态的成员函数加上const修饰符。例如size(),c_str()以及operator[]的常量版本。这保证了const MyString对象也能调用这些函数提高了类的可用性和安全性。7.4 考虑使用std::swap来简化实现在“拷贝并交换”中以及实现移动操作时一个高效的、不抛异常的swap成员函数非常有用。你可以专门实现一个swap函数或者直接使用std::swap来交换各个数据成员。这能使代码更清晰、更安全。7.5 测试测试再测试对于这样的资源管理类编写全面的测试用例至关重要。至少应该测试默认构造、C字符串构造。拷贝构造深拷贝验证。拷贝赋值包括自赋值。所有访问接口如[],c_str()。在Valgrind或AddressSanitizer等内存检查工具下运行测试确保没有内存泄漏和非法访问。手写String类就像C程序员的“心脏复苏术”看似基础但在紧急情况面试、调试底层Bug下能救场。它强迫你直面指针、内存和对象生命周期这些核心概念。理解它你就能理解std::string、std::vector等所有标准库容器的设计精髓。下次面试再被问到希望你能从容不迫不仅写出代码更能讲清每一个设计决策背后的“为什么”。