C++结构体vector元素删除异常、越界访问等技术疑问

问题背景 #

我创建了一个存储结构体类型的vector，尝试用vector.erase()删除元素后出现不符合预期的情况，代码如下：

#include <iostream>
#include <string>
#include <vector>

using std::cout; using std::endl;
using std::vector; using std::string;

struct Person{
    string name;
    string surname;
    int age;
};


int main(){
    vector<Person> parr1 = {{"John", "Cooper", 32},
                                {"Theo", "Parrot", 23},
                                {"Kim", "Colbert", 53}};



    int i=0;
    parr1.erase(parr1.begin()+0);
    for (const auto &arr : parr1) {
       
        cout << i << endl;
      
        cout << "Name: " << arr.name << endl
             << "Surname: " << arr.surname << endl
             << "Age: " << arr.age << endl;
         i++;  
         
    }
    cout<<parr1[2].age<<endl;

    return 0;
}

运行输出：

0
Name: Theo
Surname: Parrot
Age: 23
1
Name: Kim
Surname: Colbert
Age: 53
53

我有以下疑问：

• 访问vector越界元素为何未触发报错？
• 删除vector中的结构体元素后，指向该元素的指针会发生什么？
• 结构体是否需要自定义析构函数？

疑问解答 #

1. 访问vector越界元素为何未触发报错？ #

C++标准规定，vector::operator[]不执行越界检查，它的设计优先考虑性能而非安全性。当你访问parr1[2]时，此时parr1在删除第一个元素后仅包含2个元素（合法索引为0和1），访问索引2属于未定义行为——可能输出残留的内存值、程序崩溃，或是像你这次一样出现看似正常的结果（原内存区域的数据尚未被覆盖）。

如果需要强制越界检查，应使用vector::at()方法，例如parr1.at(2)，它会在越界时抛出std::out_of_range异常，明确触发错误提示。

2. 删除vector中的结构体元素后，指向该元素的指针会发生什么？ #

调用erase()删除vector元素后，会产生以下影响：

• 被删除元素的所有指针、引用、迭代器立即失效，成为野指针，后续访问会触发未定义行为。
• 删除位置之后的所有元素会向前移动一位，填补被删除元素的空缺，因此这些元素原来的指针、引用、迭代器也会失效——它们的内存地址已发生变化。
• 只有删除位置之前的元素的指针、引用、迭代器仍然保持有效。

以你的代码为例，删除第一个元素后，原指向第二个元素的指针现在指向新的第一个元素（原第二个元素），原指向第三个元素的指针现在指向新的第二个元素。

3. 结构体是否需要自定义析构函数？ #

不需要。你的Person结构体成员均为标准库类型（std::string）和基本类型（int）：

• std::string自带析构函数，会自动管理内部的堆内存。
• 基本类型（如int）无需额外析构操作。

C++编译器会自动为结构体生成默认析构函数，该函数会依次调用成员变量的析构函数，完全能处理资源释放。只有当结构体包含需要手动管理的资源（如new分配的内存、文件句柄、网络连接等）时，才需要自定义析构函数来清理这些资源。

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