当前位置：首页 > news >正文

C++ 中emplace系列函数

news 2026/3/26 19:17:33

emplace的原地构造核心是定位 new（placement new）：在容器已分配的内存地址上，直接调用元素的构造函数创建对象；
借助完美转发传递构造参数，自动匹配元素的对应构造函数，无需提前创建临时对象；
相比push系列函数，emplace避免了临时对象的创建、拷贝 / 移动和销毁，效率更高（尤其适合不可拷贝对象如std::thread、大对象如std::function）。

一、核心结论先明确

emplace系列函数（emplace/emplace_back/emplace_front等）确实是直接调用元素的构造函数，并且是在容器为元素分配好的内存空间里 “就地” 构造，全程不会创建临时对象，这也是它比push/push_back更高效的核心原因。

二、emplace 的原地构造实现原理

要理解原地构造，我们先对比push_back和emplace_back的区别，再拆解底层实现：

1. 先看 “非原地构造” 的例子（push_back）

比如给vector<std::thread>添加元素时用push_back：

// 错误示例：std::thread不可拷贝，push_back会先创建临时thread，再尝试移动/拷贝 // 即使能移动，也会多一次临时对象的创建+销毁 std::vector<std::thread> vec; vec.push_back(std::thread([]() { /* 线程逻辑 */ }));

push_back的执行流程：

先在当前代码行创建一个临时的std::thread对象（调用std::thread的构造函数）；
容器（vector）为新元素分配内存；
将临时对象移动 / 拷贝到容器分配的内存中；
销毁临时对象（调用std::thread的析构函数）。

简单说：push_back是 “先造好对象→再搬到容器里”，中间多了临时对象的开销。

2. 再看 “原地构造” 的例子（emplace_back）

还是上面的场景，用emplace_back：

std::vector<std::thread> vec; // emplace_back直接在vector的内存里构造thread对象 vec.emplace_back([]() { /* 线程逻辑 */ });

emplace_back的执行流程：

容器（vector）先为新元素分配好内存空间（确定内存地址）；
emplace_back接收构造std::thread所需的参数（这里是 lambda），通过完美转发（std::forward）把参数传递到第一步分配的内存地址上；
用定位 new（placement new）在该内存地址上直接调用std::thread的构造函数，创建对象；
全程无临时对象，无拷贝 / 移动。

3. 底层关键：定位 new（placement new）

emplace的原地构造核心依赖 C++ 的定位 new语法，它的作用是 “在指定的内存地址上创建对象”，语法形式很简单：

// 普通new：分配内存 + 构造对象 T* ptr = new T(参数); // 定位new：仅在已分配的内存上构造对象（不分配新内存） void* mem = 已分配的内存地址; T* obj = new (mem) T(参数); // 直接在mem指向的地址调用T的构造函数

容器的emplace函数内部，就是用这种方式：先通过容器的内存管理逻辑（比如 vector 的扩容、queue 的节点分配）拿到一块空内存，再用定位 new 调用元素的构造函数，把对象 “造” 在这块内存上。

4. 结合线程池代码的例子

这两行emplace，都是典型的原地构造：

// 1. workers.emplace_back([this]() { ... }) workers.emplace_back([this]() { /* 线程逻辑 */ }); // 原理：vector先为新的thread分配内存，然后直接在该内存上调用std::thread的构造函数（参数是lambda），无临时thread对象 // 2. tasks.emplace(std::move(task)) tasks.emplace(std::move(task)); // 原理：queue先为新的std::function<void()>分配节点内存，然后直接在该内存上调用std::function的移动构造函数，无临时function对象