我可以使用 always emplace 替换 insert 以进行单个元素插入吗？

Question

我想知道在将单个元素插入 STL 容器（如 set、unordered_set）时，是否可以始终使用 emplace 替换 insert？

从签名来看，emplace 更简单，不涉及重载。停止使用insert 并一直使用emplace 有什么问题吗？

注意：有一些问题询问emplace 和insert/push_back 等之间的区别（例如here、here 和here）我理解其中的区别，而且看起来对我来说，emplace 在各方面都更好。我只是想确认是否可以弃用insert。

Answer 1

有一些示例here 可以适应emplace 和insert，显示何时行为可能不同。

这些例子可能看起来有点人为，所以我将给出一个希望看起来不那么真实的例子：

#include <set>

template <typename T>
T id(T x) { return x; }

int main() {
    std::set<int(*)(int)> s;
    s.insert(id);       // OK
    s.emplace(id);      // error
    s.emplace(id<int>); // OK
}

insert可以推导出id的模板参数，因为它知道自己想要什么类型。对于emplace，除非您明确指定，否则您会收到错误消息。

Answer 2

总是？不，当然不是。

考虑以下示例，为简单起见，它使用std::vector（假设uptr 是一个智能指针，通常作用类似于std::unique_ptr）：

std::vector<uptr<T>> vec;
vec.insert(vec.begin(), new T());

它是异常安全的。创建一个临时的uptr 以传递给insert，该insert 被移动到向量中。如果向量的重新分配失败，分配的T 归智能指针所有，智能指针会正确删除它。

比较：

std::vector<std::uptr<T>> vec;
vec.emplace(vec.begin(), new T());

emplace 不允许创建临时对象。 uptr 将在向量中就地创建一次。如果重新分配失败，就没有就地创建的位置，也不会初始化智能指针。 T 将被泄露。

当然，最好的选择是：

std::vector<std::unique_ptr<T>> vec;
vec.insert(vec.begin(), make_unique<T>());

它使用标准智能指针并明确创建智能指针。