Что такое POD-тип?

POD (Plain Old Data) тип в C++ — это классификация типов данных, объединяющая характеристики тривиально копируемых (trivially copyable) и тривиально конструируемых/деструктируемых (trivially default constructible) типов. По сути, это типы, поведение которых при копировании и перемещении аналогично C-структурам: можно копировать побитово.

До C++11 понятие POD было менее формализованным и касалось в основном простых структур и встроенных типов. В C++11 и последующих стандартах определение стало строже:

Тип является POD, если он одновременно:

1. Тривиально копируемый (Trivially Copyable):

   • Отсутствуют определяемые пользователем операторы копирования (копирующий и перемещающий конструкторы, операторы присваивания).
   • Все нестатические члены данных тривиально копируемы.
   • Нет виртуальных функций или виртуальных базовых классов.

2. Тривиально по умолчанию конструируемый (Trivially Default Constructible):

   • Отсутствует определяемый пользователем конструктор по умолчанию.

Примеры POD-типов:

• Встроенные типы: int, float, char, bool и т.д.
• Массивы POD-типов.
• Классы/структуры, удовлетворяющие вышеописанным критериям.

c

Преимущества работы с POD-типами:

• Простота и предсказуемость поведения при копировании и перемещении.
• Возможность использовать функции C-стиля, работающие с сырой памятью (memcpy, memset).
• Возможность использования placement new для создания объектов в предварительно выделенной памяти без вызова конструктора (для тривиально конструируемых).

c

Проверить, является ли тип POD, можно с помощью трейтов типов в <type_traits>:

c

В современном C++ более точные характеристики тривиальностью и стандартным расположением (standard layout) чаще используются напрямую, но понимание концепции POD все еще важно. Тип является POD, если он одновременно тривиально копируемый и имеет стандартное расположение (хотя для тривиально конструируемых POD типов это тоже справедливо).