push_back vs emplace_back: в чем разница и что выбрать в C++?

Основное различие: конструирование на месте vs копирование/перемещение

Ключевое отличие между push_back и emplace_back — в том, как создается элемент в контейнере. push_back принимает уже готовый объект (по значению, ссылке или rvalue-ссылке) и копирует/перемещает его в память вектора. emplace_back же конструирует объект непосредственно в памяти вектора, используя переданные аргументы для вызова конструктора.

Рассмотрим детально ваш пример:

// push_back: создается временный объект Person, затем перемещается или копируется
people.push_back(Person("Alice", 30));

// emplace_back: Person конструируется прямо в памяти вектора
people.emplace_back("Bob", 25);

При push_back происходит следующее:

• Создается временный объект Person в стеке (вызов конструктора).
• Вектор выделяет память (если нужно) и вызывает конструктор копирования или перемещения для переноса объекта.
• Временный объект уничтожается.

При emplace_back:

• Вектор выделяет память (если нужно).
• Вызывается конструктор Person(const std::string&, int) напрямую в выделенной памяти.
• Никакого временного объекта не создается.

Когда emplace_back действительно эффективнее?

Основной выигрыш — избежание лишнего копирования/перемещения. Это особенно заметно для:

• Тяжелых объектов с дорогим копированием (например, std::vector<std::string> или большие структуры).
• Некопируемых типов (например, std::unique_ptr): push_back потребует перемещения, а emplace_back сработает напрямую.
• Конструкторов с несколькими аргументами, где создание временного объекта выглядит громоздко.

Пример с std::unique_ptr:

std::vector<std::unique_ptr<int>> vec;
// push_back не сработает без std::move
vec.push_back(std::make_unique<int>(42)); // OK, но требует перемещения
vec.emplace_back(std::make_unique<int>(42)); // Тоже OK, но без лишнего перемещения

Когда push_back предпочтительнее?

Несмотря на преимущества emplace_back, есть ситуации, где push_back лучше:

• Читаемость кода: push_back явно показывает, что добавляется объект. Для простых типов (int, double) разницы нет.
• Конструкторы с explicit: emplace_back может вызвать неявное преобразование, что приведет к неожиданным результатам.
• Работа с initializer_list: push_back({1, 2, 3}) работает, а emplace_back — нет (нужно писать emplace_back(std::initializer_list<int>{1, 2, 3})).

Пример с explicit:

struct Widget {
    explicit Widget(int) {}
};

std::vector<Widget> w;
// w.emplace_back(42); // OK
// w.push_back(42);    // Ошибка! Нельзя неявно преобразовать int в Widget
w.push_back(Widget(42)); // OK, явное создание

Связь с move-семантикой

С появлением C++11 и move-семантики разница между push_back и emplace_back стала менее критичной. Если у объекта есть эффективный конструктор перемещения (как у std::string или std::vector), то push_back с временным объектом может быть почти таким же быстрым, как emplace_back. Однако для объектов без move-семантики (или с удаленным конструктором копирования) emplace_back — единственный вариант.

Итоговая рекомендация: используйте emplace_back когда:

• Вы передаете аргументы для конструктора напрямую (особенно для сложных типов).
• Объект не поддерживает копирование или перемещение.
• Вы пишете производительный код и хотите избежать лишних операций.

Используйте push_back когда:

• У вас уже есть готовый объект (например, переменная).
• Код должен быть максимально читаемым и очевидным.
• Вы работаете с initializer_list или explicit-конструкторами.

std::vector<std::vector<int>> v;
v.emplace_back(10, 20); // Создает vector из 10 элементов со значением 20
v.push_back({10, 20});  // Создает vector из двух элементов: 10 и 20

Person p("Charlie", 35);
people.push_back(std::move(p)); // Явно показываем намерение переместить
// people.emplace_back(std::move(p)); // Равнозначно, но менее очевидно