6.12.7 Определение выравнивания функций, типов или переменных

Ключевое слово __alignof__ определяет требование к выравниванию функции, объекта или типа либо минимальное выравнивание, обычно требуемое для типа. Его синтаксис такой же, как у sizeof и _Alignof из C11.

Например, если целевая машина требует, чтобы значение double выравнивалось по границе в 8 байт, то __alignof__ (double) равно 8. Так происходит на многих машинах с архитектурой RISC. В более традиционных конструкциях машин __alignof__ (double) равно 4 или даже 2.

Некоторым машинам выравнивание на практике никогда не требуется; они допускают ссылки на данные любого типа даже по нечётному адресу. Для таких машин __alignof__ сообщает минимальное выравнивание, которое GCC задаёт для типа данных, обычно в соответствии с требованиями целевого ABI.

Если операнд __alignof__ является lvalue, а не типом, его значение — требуемое выравнивание для его типа с учётом минимального выравнивания, заданного атрибутом aligned (см. Общие атрибуты переменных). Например, после следующего объявления:

struct foo { int x; char y; } foo1;

значение __alignof__ (foo1.y) равно 1, хотя фактическое выравнивание, вероятно, равно 2 или 4, как и у __alignof__ (int). Запрашивать выравнивание неполного типа, отличного от void, нельзя.

Если операнд выражения __alignof__ является функцией, выражение возвращает выравнивание функции, которое можно задать атрибутом aligned (см. Общие атрибуты функций).