将std::optional<T>插入std::vector<T>的正确方法

类T的定义 #

class T {
  uint64_t id;
  std::string description;
  char status;
  uint64_t createdAt;
  uint64_t updatedAt;

  T(uint64_t c_id, std::string_view c_description, char c_status, uint64_t c_createdAt, uint64_t c_updatedAt) :
      id(c_id),
      description(c_description),
      status(c_status),
      createdAt(c_createdAt),
      updatedAt(c_updatedAt) {}

  T(T&& other) :
      id(other.id),
      description(std::move(other.description)),
      status(other.status),
      createdAt(other.createdAt),
      updatedAt(other.updatedAt) {}
  // member functions
};

业务场景与候选实现 #

需求是将std::optional<T>对象追加到std::vector<T>容器中，以下是几种候选实现：

std::optional<T> opt = myFunction();
std::vector<T> tasks;
if(opt.has_value()) {
  tasks.push_back(*opt);
  tasks.push_back(opt.value());
  tasks.push_back(std::move(*opt));

  tasks.emplace_back(*opt);
  tasks.emplace_back(opt.value());
  tasks.emplace_back(std::move(*opt));
}

各实现方式的性能分析 #

拷贝构造类（push_back/emplace_back的左值版本） #

• tasks.push_back(*opt)、tasks.push_back(opt.value())、tasks.emplace_back(*opt)、tasks.emplace_back(opt.value())：
  这四种本质都是调用T的拷贝构造函数，因为*opt和opt.value()返回的都是左值引用。会完整复制opt内部T对象的所有成员，其中std::string会触发内存分配与数据拷贝，对于大字符串来说开销较高。
  注：emplace_back直接在vector的内存空间构造对象，理论上比push_back少一次临时对象的移动，但编译器通常会优化掉这个差异，实际性能几乎一致。

移动构造类（push_back/emplace_back的右值版本） #

• tasks.push_back(std::move(*opt))、tasks.emplace_back(std::move(*opt))：
  这两种通过std::move将*opt转为右值，调用T的移动构造函数。对于std::string成员，只会转移内存所有权而不复制数据，基本类型成员直接拷贝，整体开销远低于拷贝构造。
  移动后，opt内部的T对象处于合法但未指定的状态（比如description会变成空字符串），如果后续不再使用opt，这种方式完全安全且高效。

最优方案与替代写法 #

1. 最优选择：如果后续不需要再使用opt内部的T对象，优先使用移动构造版本，即tasks.push_back(std::move(*opt))或tasks.emplace_back(std::move(*opt))，二者性能无显著差异，按需选择即可。
2. 需要保留opt对象的场景：只能选择拷贝构造版本，比如tasks.push_back(*opt)，但要承担拷贝带来的性能开销。
3. 更简洁的写法：可以用if (opt)替代if(opt.has_value())，因为std::optional支持隐式转换为bool类型。
4. C++23+的额外选项：可以使用std::optional::value_or_move，写法为tasks.push_back(opt.value_or_move())，语义更清晰，直接表示取出opt的对象并移动。

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