为何std::move无法避免对象被二次析构？

你的核心诉求是让对象仅被析构一次，但当前代码中出现两次析构的原因很明确：你创建了两个独立的对象——一个是main中生成的临时A()对象，另一个是vector中存储的对象。移动构造只是将临时对象的资源转移给vector中的对象，并没有消除临时对象本身，因此两个对象都会被析构，这是符合C++语义的正常行为。

要实现对象仅构造、析构一次，关键是避免创建任何中间临时对象，让对象直接在vector的存储空间内构造。

最优解决方案：使用emplace_back直接在vector内构造对象 #

std::vector::emplace_back()会直接在vector的预留内存中调用对象的构造函数，跳过临时对象的创建和移动步骤，从根源上避免多次析构。

修改后的代码示例：

#include <iostream>
#include <vector>

class A {
 public:
  A() { std::cout << "construct" << this << '\n'; }
  A(A&&) noexcept { std::cout << "move" << this << "\n"; }
  A(const A&) = delete;
  ~A() { std::cout << "destruct" << this << '\n'; }
};

std::vector<A> as;
void add() {
  std::cout << "add 1\n";
  as.emplace_back(); // 直接在vector内存中构造A对象
  std::cout << "add 2\n";
}

int main() {
  add();
  std::cout << "main2\n";
  return 0;
}

对应的输出结果：

construct0x151e068b0
add 1
add 2
main2
destruct0x151e068b0

可以看到对象仅被构造和析构一次，完全符合你的预期。

若需先构造对象再转移到vector #

如果业务逻辑要求必须先构造对象（比如需要提前初始化某些成员），可以通过直接转移对象所有权的方式，但此时仍会存在一次移动构造（轻量操作），但对象的析构次数依然是两次——因为栈上构造的对象和vector中的对象是两个实例。这种场景下无法实现单次析构，除非你将对象存储为智能指针（如std::unique_ptr<A>），此时析构的是指针本身，而对象仅被析构一次：

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

class A {
 public:
  A() { std::cout << "construct" << this << '\n'; }
  A(A&&) noexcept { std::cout << "move" << this << "\n"; }
  A(const A&) = delete;
  ~A() { std::cout << "destruct" << this << '\n'; }
};

std::vector<std::unique_ptr<A>> as;
void add(std::unique_ptr<A> a) {
  std::cout << "add 1\n";
  as.push_back(std::move(a));
  std::cout << "add 2\n";
}

int main() {
  add(std::make_unique<A>());
  std::cout << "main2\n";
  return 0;
}

输出结果：

construct0x151e068b0
add 1
add 2
main2
destruct0x151e068b0

这里对象仅被析构一次，而智能指针的析构是轻量的，不会影响核心对象的生命周期。

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