自定义string与vector类添加元素时触发Segmentation Fault求助

我之前踩过一模一样的坑！这种偶尔但稳定复现的段错误，90%以上是自定义类的拷贝控制逻辑没写对——毕竟vector在管理元素时，会在扩容、插入等操作中频繁拷贝对象，要是string类的拷贝构造、赋值运算符没处理好内存，很容易出现野指针重复释放的情况。

结合你说的现象，我给你拆解下可能的原因和修复步骤：

1. 优先排查「拷贝构造函数」是否缺失或错误 #

你只提到了三个构造函数，但没说有没有自定义拷贝构造。如果没写的话，编译器会自动生成一个浅拷贝的默认拷贝构造——它只会直接复制char*指针的值，而不是分配新内存去复制字符串内容。

举个例子：当vector扩容时，会把旧内存里的string对象拷贝到新内存，这时候新旧两个string对象的buf指针会指向同一块堆内存。当旧对象被析构时，这块内存已经被释放了，新对象的buf就变成了野指针，后续析构新对象时，程序就会尝试释放已经被释放的内存（或者野指针），直接触发Segmentation Fault。

修复方案：补全深拷贝的拷贝构造函数：

// 假设你的string类里有char* buf成员
string(const string& other) {
    // 先计算需要的内存大小（加1是为了存结束符'\0'）
    size_t len = strlen(other.buf) + 1;
    // 分配新内存
    buf = new char[len];
    // 复制字符串内容
    strcpy(buf, other.buf);
}

2. 检查赋值运算符重载的逻辑漏洞 #

你提到赋值运算符会触发段错误，那大概率是这个函数没处理好自赋值或者内存管理：

• 如果没做自赋值检查，当a = a时，会先释放a自己的buf，然后再去访问a.buf复制内容，这时候buf已经是野指针了；
• 如果还是用浅拷贝的逻辑，同样会导致多个对象共享同一块内存，重复释放出问题。

推荐两种修复写法：

写法一：传统写法（做自赋值检查） #

string& operator=(const string& other) {
    // 先判断是不是自赋值，避免自己释放自己的内存
    if (this == &other) {
        return *this;
    }
    // 释放当前对象的旧内存
    delete[] buf;
    // 分配新内存并复制内容
    size_t len = strlen(other.buf) + 1;
    buf = new char[len];
    strcpy(buf, other.buf);
    return *this;
}

写法二：拷贝交换 Idiom（更简洁安全） #

这种写法自动处理了自赋值，还能利用编译器的优化：

// 先实现一个swap函数（可以是类成员或友元）
void swap(string& other) {
    std::swap(this->buf, other.buf);
}

// 赋值运算符传值（触发拷贝构造），然后交换资源
string& operator=(string other) {
    swap(other);
    return *this;
}

3. 确保所有构造函数都正确初始化buf #

如果你的默认构造函数没把buf初始化为nullptr或者合法的内存地址，那对象创建时buf会是一个随机的垃圾值，析构时delete[] buf就会释放随机内存，直接炸。

比如默认构造函数应该这么写：

// 方式1：初始化为空字符串
string() : buf(new char[1]) {
    buf[0] = '\0';
}

// 方式2：初始化为nullptr，同时析构函数要加判断
string() : buf(nullptr) {}

// 对应的析构函数要改成：
~string() {
    if (buf) { // 只有buf不为nullptr时才释放
        delete[] buf;
    }
}

调试小技巧：加日志追踪内存变化 #

如果还是找不到问题，给每个构造、拷贝构造、赋值、析构函数加个日志，打印对象地址和buf指针的值，就能清晰看到内存的分配、拷贝、释放过程：

#include <iostream>
using namespace std;

string() : buf(nullptr) {
    cout << "[Default Ctor] Obj: " << this << ", buf: " << (void*)buf << endl;
}

string(const string& other) {
    size_t len = strlen(other.buf) + 1;
    buf = new char[len];
    strcpy(buf, other.buf);
    cout << "[Copy Ctor] Obj: " << this << ", buf: " << (void*)buf << ", from: " << &other << endl;
}

~string() {
    cout << "[Dtor] Obj: " << this << ", buf: " << (void*)buf << endl;
    if (buf) delete[] buf;
}

运行程序后，你就能看到哪个对象的buf被重复释放，或者变成了野指针，一下子就能定位到问题点。

内容的提问来源于stack exchange，提问作者Alex