使用std::replace替换元素时，如何触发被替换元素的析构函数？

现象原因 #

std::replace的内部逻辑是对匹配到的元素执行拷贝赋值操作，而非销毁原对象再构造新对象：

• 你代码里原值为40的A类实例，只是被赋值为临时对象A(25)的内容，对象本身的生命周期并未结束，因此不会触发析构。
• 你看到的Destructor 25日志是std::replace执行完赋值后，临时变量A(25)销毁触发的，原40的实例直到vector整体销毁时才会析构，此时它的成员i已经被改成25，所以最终打印的是Destructor 25。

触发被替换元素析构的实现方法 #

如果你确实需要在替换时触发原对象的析构（比如析构函数有关联的业务逻辑、日志打印等需求），可以手动结束原对象生命周期，再用定位新（placement new）构造新对象，示例如下：

#include <iostream>
#include <vector>
#include <algorithm>
#include <memory> // 用于std::destroy_at

class A {
public:
    A(const int ii) : i(ii) { std::cout << "Constructor " << i << std::endl;}
    ~A(){std::cout << "Destructor " << i << std::endl;}

    bool operator ==(const A& a) const { return i == a.i;} // 补充const限定，符合相等运算符重载规范
    int i;
};

int main()
{
    std::vector<A> v;
    v.reserve(4);
    v.emplace_back(10);
    v.emplace_back(20);
    v.emplace_back(40);
    v.emplace_back(30);
    for(const auto& elt : v){
        std::cout << elt.i << ' ';
    }
    std::cout << std::endl;

    // 自定义替换逻辑，触发原对象析构
    const A old_val(40);
    const A new_val(25);
    for(auto it = v.begin(); it != v.end(); ++it) {
        if(*it == old_val) {
            std::destroy_at(&*it); // 手动调用原对象析构函数
            new (&*it) A(new_val); // 在原内存位置构造新对象
        }
    }

    for(const auto& elt : v){
        std::cout << elt.i << ' ';
    }
    std::cout << "End of program" << std::endl;
}

运行后可以看到Destructor 40的日志，符合需求。

注意事项 #

• 普通业务场景不需要这么做：如果你的类的拷贝赋值运算符已经正确实现了资源管理逻辑（比如堆内存释放、句柄关闭等），用默认的std::replace是安全的，手动管理生命周期反而会增加出错风险。
• 要保证定位新构造的过程不会抛出异常，否则会导致vector内出现已经被析构、但未构造新对象的非法内存，引发未定义行为。

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