C++中vector变量自赋值是否会产生副本？

结论 #

vec = vec;这种方式完全错误，无法生成vector的本地副本。

原因 #

C++标准库的std::vector赋值运算符（operator=）已经内置了自赋值安全处理逻辑，当执行自赋值时，不会进行任何数据复制操作，原vector的内容、地址和状态都不会发生变化。你之后对vec的修改依然会直接作用到传入的原vector实例上，完全达不到“本地修改不影响原对象”的需求。

正确实现方式 #

如果需要在满足条件时创建本地副本并修改（不影响原vector），应该显式声明局部vector对象来完成复制：

int calculate_something(std::vector<uint64_t>& vec) {
  if (some_condition) {
    // 显式创建本地副本，修改副本不会影响原vector
    std::vector<uint64_t> local_vec = vec;
    local_vec.push_back(7);
    // 对local_vec执行其他需要的本地修改操作
  } else {
    // 不需要副本时，直接修改原vector
    vec.push_back(7);
  }
  // ...其他逻辑
  return 0;
}

如果你的需求是：满足条件时将原vector替换为自身的副本（后续修改作用在副本上，原对象被覆盖），可以这样写：

int calculate_something(std::vector<uint64_t>& vec) {
  if (some_condition) {
    // 显式构造副本并赋值给vec
    vec = std::vector<uint64_t>(vec);
  }
  vec.push_back(7); // 条件满足时修改副本，否则修改原vector
  // ...其他逻辑
  return 0;
}

关键提醒 #

永远不要依赖自赋值来生成副本，这是违背C++容器设计逻辑的错误用法，必须通过显式创建新容器对象来完成复制操作。

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