Чому виділяється пам'ять стека, коли вона не використовується?

Розглянемо наступний приклад:

struct vector {
    int  size() const;
    bool empty() const;
};

bool vector::empty() const
{
    return size() == 0;
}

Створений код складання для vector::empty(за допомогою кланг, з оптимізаціями):

push    rax
call    vector::size() const
test    eax, eax
sete    al
pop     rcx
ret

Чому він виділяє стековий простір? Він взагалі не використовується. pushІ popможе бути опущений. Оптимізовані збірки MSVC і gcc також використовують простір стеків для цієї функції (див. На godbolt ), тому повинна бути причина.

Він виділяє стек простору, тому стек вирівняний на 16 байт. Він необхідний, тому що зворотна адреса займає 8 байт, тому необхідний додатковий 8-байтовий простір, щоб стек 16-байт вирівнювався.

Вирівнювання кадрів стека може бути налаштовано аргументами командного рядка для деяких компіляторів.

• MSVC : У документації йдеться про те, що стек завжди вирівняний на 16 байтів. Жоден аргумент командного рядка не може змінити це. Приклад Godbolt показує, що rspна початку функції віднімається 40 байт , що означає, що на це також впливає щось інше.
• clang : -mstack-alignmentПараметр визначає вирівнювання стека. Здається, що за замовчуванням 16, хоча це не документально підтверджено. Якщо встановити його на 8, розподіл ( pushі pop) стека зникає з генерованого коду складання.
• gcc : -mpreferred-stack-boundaryПараметр визначає вирівнювання стека. Якщо задане значення N, воно означає 2 ^ N байтів вирівнювання. Значення за замовчуванням - 4, що означає 16 байт. Якщо встановити його в 3 (тобто 8 байт), розподіл стеку ( subі addдля rsp) зникає з створеного коду складання.

Перевірте на godbolt .