Работали ли вы с выравниванием данных (data alignment) в C++?

Да, работа с выравниванием критична для производительности и корректности в C++, особенно при низкоуровневом программировании, использовании SIMD или взаимодействии с оборудованием.

Зачем это нужно: Процессор читает память не побайтово, а блоками (например, по 8 байт). Если данные выровнены по границе такого блока, доступ к ним происходит за одну операцию. Невыровненный доступ может привести к penalty (снижению скорости) или к hardware exception на некоторых архитектурах (ARM).

Инструменты в C++:

1. alignas спецификатор (C++11): Задает минимальное выравнивание для переменной или типа.

   // Объект будет размещен по адресу, кратному 32 байтам
   alignas(32) int buffer[1024];
   
   // Структура с выравниванием
   struct alignas(16) Vec4 {
       float x, y, z, w;
   };

2. alignof оператор (C++11): Возвращает выравнивание типа.

   std::cout << alignof(double) << std::endl; // Обычно 8

3. std::aligned_storage и std::aligned_union: Для создания неинициализированного хранилища с заданным выравниванием.
4. Атрибут [[gnu::packed]] / #pragma pack: Для отключения паддинга (выравнивания) в структурах, что необходимо при работе с сетевыми пакетами или бинарными форматами файлов.

   #pragma pack(push, 1)
   struct NetworkPacket {
       uint8_t type;
       uint32_t id; // Будет занимать 4 байта сразу после type, без паддинга
       uint16_t checksum;
   };
   #pragma pack(pop)
   static_assert(sizeof(NetworkPacket) == 7, "Packed struct size mismatch");

   Практический пример — избегание false sharing:

   // Каждый счетчик лежит в отдельной кэш-линии (обычно 64 байта)
   struct alignas(64) PerThreadCounter {
   std::atomic<long> value{0};
   // Компилятор добавит паддинг до 64 байт
   };
   PerThreadCounter counters[std::thread::hardware_concurrency()];