C++ emplace vs push | "성능 차이" 컨테이너 삽입 완벽 비교
이 글의 핵심
C++ emplace vs push에 대한 실전 가이드입니다.
들어가며: “emplace_back이 push_back보다 빠르다고 하던데요?"
"언제 emplace를 쓰고 언제 push를 써야 하나요?”
C++11에서 도입된 emplace는 제자리 생성(in-place construction)으로 불필요한 복사/이동을 제거합니다.
비유로 말씀드리면, push는 공장에서 만든 상자를 창고로 옮기기, emplace는 창고 안에서 부품을 조립해 상자를 완성하는 것에 가깝습니다. 한 번 덜 옮기면 그만큼 비용이 줄어듭니다.
언제 emplace 계열을, 언제 push 계열을 쓰나요?
| 관점 | push_back 등 | emplace_back 등 |
|---|---|---|
| 성능 | 이미 만든 객체를 이동하면 충분할 때 | 생성자 인자만 넘겨 임시 객체를 줄일 때 |
| 사용성 | 읽기 쉬운 경우가 많음 | explicit 생성자 호출 등 세밀한 제어 |
| 적용 시나리오 | int, 이미 만든 T | T가 무겁거나 변환 단계가 많을 때 |
// push_back: 임시 객체 생성 → 이동
std::vector<std::string> vec;
vec.push_back(std::string("Hello")); // 임시 객체 생성 → 이동
// emplace_back: 제자리 생성
std::vector<std::string> vec;
vec.emplace_back("Hello"); // 직접 생성 (복사/이동 없음)
이 글에서 다루는 것:
- emplace vs push 차이
- 성능 비교
- 사용 시나리오
- 주의사항
목차
1. emplace vs push 차이
push_back: 복사/이동
class Data {
public:
Data(int x, int y) : x_(x), y_(y) {
std::cout << "Data(" << x_ << ", " << y_ << ") 생성\n";
}
Data(const Data& other) : x_(other.x_), y_(other.y_) {
std::cout << "Data 복사\n";
}
Data(Data&& other) noexcept : x_(other.x_), y_(other.y_) {
std::cout << "Data 이동\n";
}
private:
int x_, y_;
};
int main() {
std::vector<Data> vec;
vec.reserve(10); // 재할당 방지
// push_back: 임시 객체 생성 → 이동
vec.push_back(Data(1, 2));
// 출력:
// Data(1, 2) 생성
// Data 이동
}
emplace_back: 제자리 생성
int main() {
std::vector<Data> vec;
vec.reserve(10);
// emplace_back: 제자리 생성
vec.emplace_back(1, 2);
// 출력:
// Data(1, 2) 생성
// (복사/이동 없음!)
}
비교표
| 항목 | push_back | emplace_back |
|---|---|---|
| 객체 생성 | 외부 → 이동 | 제자리 생성 |
| 생성자 인자 | 객체 전달 | 생성자 인자 전달 |
| 복사/이동 | 있음 | 없음 |
| explicit 생성자 | ❌ | ✅ |
| C++ 버전 | 모든 버전 | C++11 이후 |
2. 성능 비교
벤치마크: 단순 타입
#include <benchmark/benchmark.h>
// push_back (int)
static void BM_PushBack_Int(benchmark::State& state) {
for (auto _ : state) {
std::vector<int> vec;
vec.reserve(1000);
for (int i = 0; i < 1000; ++i) {
vec.push_back(i);
}
}
}
BENCHMARK(BM_PushBack_Int);
// emplace_back (int)
static void BM_EmplaceBack_Int(benchmark::State& state) {
for (auto _ : state) {
std::vector<int> vec;
vec.reserve(1000);
for (int i = 0; i < 1000; ++i) {
vec.emplace_back(i);
}
}
}
BENCHMARK(BM_EmplaceBack_Int);
결과 (GCC 13, -O3):
BM_PushBack_Int 1000 ns
BM_EmplaceBack_Int 1000 ns (차이 없음)
벤치마크: 복잡한 객체
struct ComplexData {
std::string name;
std::vector<int> values;
ComplexData(const std::string& n, size_t count)
: name(n), values(count, 0) {}
};
// push_back (ComplexData)
static void BM_PushBack_Complex(benchmark::State& state) {
for (auto _ : state) {
std::vector<ComplexData> vec;
vec.reserve(100);
for (int i = 0; i < 100; ++i) {
vec.push_back(ComplexData("data", 1000));
}
}
}
BENCHMARK(BM_PushBack_Complex);
// emplace_back (ComplexData)
static void BM_EmplaceBack_Complex(benchmark::State& state) {
for (auto _ : state) {
std::vector<ComplexData> vec;
vec.reserve(100);
for (int i = 0; i < 100; ++i) {
vec.emplace_back("data", 1000);
}
}
}
BENCHMARK(BM_EmplaceBack_Complex);
결과 (GCC 13, -O3):
BM_PushBack_Complex 5000 ns
BM_EmplaceBack_Complex 3000 ns (40% 빠름)
3. 사용 시나리오
emplace 사용: 복잡한 객체
// ✅ emplace: 복잡한 객체
struct Person {
std::string name;
int age;
std::vector<std::string> hobbies;
Person(const std::string& n, int a, std::initializer_list<std::string> h)
: name(n), age(a), hobbies(h) {}
};
int main() {
std::vector<Person> people;
// emplace_back: 생성자 인자 직접 전달
people.emplace_back("Alice", 30, {"독서", "음악"});
people.emplace_back("Bob", 25, {"운동", "게임"});
// push_back: 임시 객체 생성 필요
people.push_back(Person("Charlie", 35, {"요리"}));
}
emplace 사용: explicit 생성자
// ✅ emplace: explicit 생성자
class File {
std::string path_;
public:
explicit File(const std::string& path) : path_(path) {}
};
int main() {
std::vector<File> files;
// emplace_back: explicit 생성자 호출 가능
files.emplace_back("data.txt");
// push_back: explicit 생성자 호출 불가
// files.push_back("data.txt"); // 컴파일 에러
files.push_back(File("data.txt")); // OK
}
push 사용: 이미 생성된 객체
// ✅ push: 이미 생성된 객체
int main() {
std::vector<std::string> vec;
std::string str = "Hello";
// push_back: 명확한 의도
vec.push_back(str); // 복사
vec.push_back(std::move(str)); // 이동
// emplace_back: 불명확
vec.emplace_back(str); // 복사 (push_back과 동일)
}
push 사용: 단순 타입
// ✅ push: 단순 타입
int main() {
std::vector<int> vec;
// push_back: 명확하고 간결
vec.push_back(42);
// emplace_back: 불필요
vec.emplace_back(42); // push_back과 동일
}
4. 주의사항
주의 1: explicit 생성자 우회
// ❌ explicit 우회 가능
class Size {
size_t value_;
public:
explicit Size(size_t value) : value_(value) {}
};
int main() {
std::vector<Size> vec;
// push_back: explicit 생성자 호출 불가
// vec.push_back(10); // 컴파일 에러
// emplace_back: explicit 생성자 호출 가능
vec.emplace_back(10); // ⚠️ 의도하지 않은 변환 가능
}
주의 2: 초기화 리스트
// ❌ 초기화 리스트 주의
int main() {
std::vector<std::vector<int>> vec;
// push_back: 명확
vec.push_back({1, 2, 3});
// emplace_back: 모호함
vec.emplace_back({1, 2, 3}); // OK
// vec.emplace_back(3, 100); // ⚠️ 다른 의미 (크기 3, 값 100)
}
주의 3: 예외 안전성
// ❌ 예외 안전성 주의
class Resource {
public:
Resource(int* ptr) {
if (ptr == nullptr) {
throw std::runtime_error("nullptr");
}
}
};
int main() {
std::vector<Resource> vec;
try {
// emplace_back: 제자리 생성 → 예외 시 롤백 어려움
vec.emplace_back(nullptr);
} catch (...) {
// vec의 상태가 불명확할 수 있음
}
}
실전 예시
예시 1: map/unordered_map
// ✅ emplace: map 삽입
std::map<std::string, Person> people;
// emplace: 제자리 생성
people.emplace("alice", Person("Alice", 30, {}));
// emplace with piecewise_construct
people.emplace(std::piecewise_construct,
std::forward_as_tuple("bob"),
std::forward_as_tuple("Bob", 25, std::initializer_list<std::string>{}));
// insert: 임시 객체 생성
people.insert({"charlie", Person("Charlie", 35, {})});
예시 2: set/unordered_set
// ✅ emplace: set 삽입
struct Point {
int x, y;
Point(int x, int y) : x(x), y(y) {}
bool operator<(const Point& other) const {
return x < other.x || (x == other.x && y < other.y);
}
};
std::set<Point> points;
// emplace: 제자리 생성
points.emplace(10, 20);
// insert: 임시 객체 생성
points.insert(Point(30, 40));
예시 3: 조건부 삽입
// ✅ try_emplace: 조건부 삽입 (C++17)
std::map<std::string, std::string> cache;
// try_emplace: 키가 없을 때만 삽입
auto [it, inserted] = cache.try_emplace("key", "value");
if (inserted) {
std::cout << "삽입됨\n";
} else {
std::cout << "이미 존재\n";
}
// emplace: 키가 있어도 생성 시도
cache.emplace("key", "new_value"); // ⚠️ 생성 후 버림
정리
emplace vs push 선택
| 상황 | 사용 |
|---|---|
| 복잡한 객체 | emplace |
| 생성자 인자 전달 | emplace |
| explicit 생성자 | emplace |
| 이미 생성된 객체 | push |
| 단순 타입 | push |
| 명확성 우선 | push |
핵심 규칙
- 복잡한 객체 → emplace
- 단순 타입 → push
- 명확성 우선 → push
- 성능 중요 → 벤치마크
체크리스트
- 객체가 복잡한가?
- 생성자 인자를 직접 전달하는가?
- explicit 생성자를 호출하는가?
- 성능이 중요한가?
같이 보면 좋은 글 (내부 링크)
이 주제와 연결되는 다른 글입니다.
- C++ vector 기초 | 완벽 가이드
- C++ 이동 시맨틱 | std::move 가이드
- C++ 성능 최적화 | 병목 찾기
- C++ STL 컨테이너 | 완벽 가이드
이 글에서 다루는 키워드 (관련 검색어)
emplace vs push, emplace_back, push_back, 성능 차이, 제자리 생성 등으로 검색하시면 이 글이 도움이 됩니다.
실전 팁
실무에서 바로 적용할 수 있는 팁입니다.
디버깅 팁
- 생성자/소멸자에 로그를 추가해 호출 횟수를 확인하세요
- 벤치마크로 실제 성능 차이를 측정하세요
- explicit 생성자 우회를 주의하세요
성능 팁
- 복잡한 객체는 emplace가 빠릅니다
- 단순 타입은 차이가 거의 없습니다
- reserve()로 재할당을 방지하세요
코드 리뷰 팁
- 복잡한 객체 삽입을 emplace로 바꾸세요
- 단순 타입은 push를 유지하세요
- 명확성이 중요하면 push를 사용하세요
자주 하는 실수
실수 1: 모든 곳에 emplace 사용
// ❌ 실수: 불필요한 emplace
std::vector<int> vec;
vec.emplace_back(42); // push_back(42)와 동일
std::vector<std::string> names;
std::string name = "Alice";
names.emplace_back(name); // push_back(name)과 동일 (복사)
// ✅ 적절한 사용
std::vector<std::string> names;
names.emplace_back("Alice"); // 생성자 인자 직접 전달
names.push_back(name); // 이미 생성된 객체는 push_back
실수 2: explicit 생성자 우회
// ❌ 실수: explicit 우회
class Size {
public:
explicit Size(int bytes) : bytes_(bytes) {}
private:
int bytes_;
};
std::vector<Size> sizes;
// sizes.push_back(1024); // 컴파일 에러 (explicit)
sizes.emplace_back(1024); // ⚠️ 컴파일 성공 (의도하지 않은 변환)
// ✅ 명시적 생성
sizes.push_back(Size(1024));
sizes.emplace_back(1024); // 의도가 명확하면 OK
실수 3: 초기화 리스트 혼동
// ❌ 실수: 초기화 리스트
std::vector<std::vector<int>> matrix;
matrix.push_back({1, 2, 3}); // ✅ 명확
matrix.emplace_back({1, 2, 3}); // ✅ OK
matrix.emplace_back(3, 100); // ⚠️ 다른 의미! vector(3, 100)
실무 트러블슈팅
문제: 예상보다 느린 성능
증상:
// 예상: emplace가 빠를 것
std::vector<std::string> vec;
for (int i = 0; i < 1000000; ++i) {
vec.emplace_back("test"); // 여전히 느림
}
원인: reserve() 누락으로 재할당 발생
해결:
std::vector<std::string> vec;
vec.reserve(1000000); // ✅ 재할당 방지
for (int i = 0; i < 1000000; ++i) {
vec.emplace_back("test");
}
문제: 컴파일 에러
증상:
struct Point {
int x, y;
Point(int x, int y) : x(x), y(y) {}
};
std::vector<Point> points;
points.emplace_back(1, 2); // ✅ OK
points.emplace_back({1, 2}); // ❌ 컴파일 에러
원인: 중괄호 초기화는 생성자 인자가 아님
해결:
points.push_back({1, 2}); // ✅ 중괄호 초기화
points.emplace_back(1, 2); // ✅ 생성자 인자
성능 분석 상세
객체 크기별 성능
| 객체 크기 | push_back | emplace_back | 차이 |
|---|---|---|---|
| int (4B) | 1 ns | 1 ns | 0% |
| string (32B) | 3 ns | 2 ns | -33% |
| vector | 5 ns | 3 ns | -40% |
| 큰 객체 (1KB) | 100 ns | 60 ns | -40% |
// 벤치마크 코드
struct LargeObject {
std::array<int, 256> data; // 1KB
LargeObject(int value) {
data.fill(value);
}
};
// push_back: 생성 + 이동 (1KB 복사)
// emplace_back: 제자리 생성 (복사 없음)
생성자 호출 횟수
class Tracker {
static int constructorCalls;
static int copyCalls;
static int moveCalls;
public:
Tracker(int x) {
++constructorCalls;
std::cout << "생성자: " << constructorCalls << "회\n";
}
Tracker(const Tracker&) {
++copyCalls;
std::cout << "복사: " << copyCalls << "회\n";
}
Tracker(Tracker&&) noexcept {
++moveCalls;
std::cout << "이동: " << moveCalls << "회\n";
}
};
// push_back(Tracker(42))
// 출력: 생성자: 1회, 이동: 1회
// emplace_back(42)
// 출력: 생성자: 1회 (이동 없음!)
베스트 프랙티스
1. 사용 결정 플로우차트
객체를 컨테이너에 추가
↓
이미 생성된 객체인가?
├─ Yes → push_back/push
└─ No → 계속
↓
단순 타입인가? (int, double 등)
├─ Yes → push_back (명확성)
└─ No → 계속
↓
생성자 인자가 복잡한가?
├─ Yes → emplace_back
└─ No → push_back (명확성)
2. 코드 리뷰 가이드
// 🔍 리뷰 시 확인사항
// 1. 이미 생성된 객체
std::string str = "Hello";
vec.emplace_back(str); // ⚠️ push_back이 더 명확
// 2. 단순 타입
vec.emplace_back(42); // ⚠️ push_back(42)와 동일
// 3. 복잡한 생성자
vec.emplace_back("Alice", 30, std::vector<std::string>{"hobby1", "hobby2"});
// ✅ emplace가 적합
// 4. reserve() 확인
vec.emplace_back(...); // ⚠️ reserve() 있는가?
3. 성능 측정 템플릿
template <typename Container, typename... Args>
void benchmarkInsertion(const std::string& name, Args&&... args) {
auto start = std::chrono::high_resolution_clock::now();
Container container;
container.reserve(1000000);
for (int i = 0; i < 1000000; ++i) {
container.emplace_back(std::forward<Args>(args)...);
}
auto end = std::chrono::high_resolution_clock::now();
auto duration = std::chrono::duration_cast<std::chrono::milliseconds>(end - start);
std::cout << name << ": " << duration.count() << "ms\n";
}
// 사용
benchmarkInsertion<std::vector<std::string>>("emplace", "test");
실무 시나리오
시나리오 1: 게임 엔티티 생성
// ✅ 실무 예시: 게임 엔티티
struct Entity {
int id;
std::string name;
glm::vec3 position;
std::vector<Component*> components;
Entity(int id, const std::string& name, glm::vec3 pos)
: id(id), name(name), position(pos) {}
};
class EntityManager {
std::vector<Entity> entities_;
public:
void spawnEntity(int id, const std::string& name, glm::vec3 pos) {
// ✅ emplace_back: 복잡한 생성자
entities_.emplace_back(id, name, pos);
// push_back(Entity(id, name, pos))보다 효율적
}
void addEntity(Entity entity) {
// ✅ push_back: 이미 생성된 객체
entities_.push_back(std::move(entity));
}
};
// 사용
EntityManager manager;
manager.spawnEntity(1, "Player", {0.0f, 0.0f, 0.0f});
시나리오 2: 로그 버퍼
// ✅ 실무 예시: 로그 버퍼
struct LogEntry {
std::chrono::system_clock::time_point timestamp;
std::string level;
std::string message;
std::string file;
int line;
LogEntry(std::string level, std::string msg, std::string file, int line)
: timestamp(std::chrono::system_clock::now()),
level(std::move(level)),
message(std::move(msg)),
file(std::move(file)),
line(line) {}
};
class Logger {
std::vector<LogEntry> buffer_;
std::mutex mutex_;
public:
void log(const std::string& level, const std::string& msg,
const std::string& file, int line) {
std::lock_guard<std::mutex> lock(mutex_);
// ✅ emplace_back: 생성자 인자 직접 전달
buffer_.emplace_back(level, msg, file, line);
// 임시 LogEntry 객체 생성 없음
}
};
// 사용
Logger logger;
logger.log("ERROR", "File not found", __FILE__, __LINE__);
시나리오 3: 네트워크 패킷 큐
// ✅ 실무 예시: 패킷 큐
struct Packet {
uint32_t id;
std::vector<uint8_t> data;
std::chrono::steady_clock::time_point timestamp;
Packet(uint32_t id, std::vector<uint8_t> data)
: id(id),
data(std::move(data)),
timestamp(std::chrono::steady_clock::now()) {}
};
class PacketQueue {
std::deque<Packet> queue_;
std::mutex mutex_;
public:
void enqueue(uint32_t id, std::vector<uint8_t> data) {
std::lock_guard<std::mutex> lock(mutex_);
// ✅ emplace_back: 이동 의미론 활용
queue_.emplace_back(id, std::move(data));
}
std::optional<Packet> dequeue() {
std::lock_guard<std::mutex> lock(mutex_);
if (queue_.empty()) {
return std::nullopt;
}
Packet packet = std::move(queue_.front());
queue_.pop_front();
return packet;
}
};
컴파일러 최적화
RVO와의 관계
// RVO (Return Value Optimization)
std::string createString() {
return std::string("Hello"); // RVO 적용
}
std::vector<std::string> vec;
// push_back + RVO
vec.push_back(createString()); // RVO로 이동 생략 가능
// emplace_back
vec.emplace_back("Hello"); // 제자리 생성
// 최적화 수준에 따라 성능 동일할 수 있음
컴파일러 옵션
# 최적화 없음
g++ -O0 test.cpp
# emplace가 확실히 빠름
# 최적화 최대
g++ -O3 test.cpp
# 단순 타입은 차이 없음
# 어셈블리 확인
g++ -S -O3 test.cpp
# 생성된 어셈블리 코드 비교
마치며
emplace는 제자리 생성으로 불필요한 복사/이동을 제거합니다.
핵심 원칙:
- 복잡한 객체 → emplace
- 단순 타입 → push
- 명확성 우선
실무 팁:
- reserve()로 재할당 방지
- 이미 생성된 객체는 push 사용
- 성능 측정으로 검증
성능이 중요한 복잡한 객체는 emplace를 사용하세요.
다음 단계: emplace를 이해했다면, C++ 이동 시맨틱 가이드에서 더 깊이 배워보세요.
관련 글
- C++ 시리즈 전체 보기
- C++ Adapter Pattern 완벽 가이드 | 인터페이스 변환과 호환성
- C++ ADL |
- C++ Aggregate Initialization |