为何std::vector执行delete后仍需pop_back？能否一步完成？

你编写的C++代码如下：

struct T
 {
    T(int n):x(n){};
    int print() {
       return x; 
    };
    private:
        int x;
 };

int main(int argv,char** argc)
{
    std::vector t = { new T(1),new T(2)};
    delete t.back();
    std::cout << t.size() << std::endl;
    std::cout << t.back()->print() << std::endl;

    t.pop_back();
    std::cout << t.size() << std::endl;
    std::cout << t.back()->print() << std::endl;

    return 0;
}

运行输出：

2
179185600
1
1 

你疑惑为什么必须分两步操作，以及是否有合并方法，以下是解答：

为什么要分两步？ #

• delete的作用是释放指针指向的堆内存对象，但它不会修改vector容器本身——vector里存的只是指针值，delete后这个指针变成指向已释放内存的野指针，容器的size和元素数量完全不受影响。
• pop_back()的作用是从vector中移除最后一个元素（也就是那个指针），让容器的size减1，但它不会管指针指向的对象是否需要释放。

这两个操作负责完全不同的层面：一个管堆对象的生命周期，一个管容器内元素的存在性，所以必须分开执行。你代码里delete后调用print()出现随机值，就是因为访问了野指针，属于未定义行为。

如何合并为单一操作？ #

有两种常见方案：

方案1：封装自定义函数 #

自己写一个函数把两步逻辑打包，调用时只需一次操作：

#include <vector>

template<typename T>
void safe_pop_back_and_delete(std::vector<T*>& vec) {
    if (!vec.empty()) {
        delete vec.back();
        vec.pop_back();
    }
}

使用时直接替换原来的两步：

// 替换 delete t.back(); t.pop_back();
safe_pop_back_and_delete(t);

方案2：使用智能指针（推荐） #

不要在vector里存裸指针，改用std::unique_ptr<T>（独占智能指针），它会自动管理对象的生命周期。当你调用pop_back()时，智能指针的析构函数会自动释放对应的堆对象，一步到位：

#include <vector>
#include <memory>
#include <iostream>

struct T
 {
    T(int n):x(n){};
    int print() {
       return x; 
    };
    private:
        int x;
 };

int main()
{
    std::vector<std::unique_ptr<T>> t;
    t.emplace_back(std::make_unique<T>(1));
    t.emplace_back(std::make_unique<T>(2));

    t.pop_back(); // 自动释放第二个T对象，同时从容器移除元素
    std::cout << t.size() << std::endl; // 输出1
    std::cout << t.back()->print() << std::endl; // 输出1，安全无问题

    return 0;
}

这种方式从根源上避免了手动管理内存的麻烦，也不会出现野指针问题，是C++现代编程的推荐做法。

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