Mengapa memori tumpukan dialokasikan ketika tidak digunakan?

Perhatikan contoh berikut:

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

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

Kode perakitan yang dihasilkan untuk vector::empty(oleh dentang, dengan optimisasi):

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

Mengapa ia mengalokasikan ruang stack? Itu tidak digunakan sama sekali. The pushdan popbisa dihilangkan. Membangun MSVC dan gcc yang dioptimalkan juga menggunakan ruang stack untuk fungsi ini (lihat di godbolt ), jadi pasti ada alasannya.

Ini mengalokasikan ruang stack, sehingga tumpukan adalah 16-byte selaras. Dibutuhkan, karena alamat pengirim membutuhkan 8 byte, sehingga diperlukan ruang 8-byte tambahan untuk menjaga stack 16-byte tetap sejajar.

Penjajaran frame tumpukan dapat dikonfigurasi dengan argumen baris perintah untuk beberapa kompiler.

• MSVC : Dokumentasi mengatakan bahwa stack selalu selaras 16 byte. Tidak ada argumen baris perintah yang dapat mengubah ini. Contoh godbolt menunjukkan bahwa 40 byte dikurangi dari rsppada awal fungsi, yang berarti bahwa sesuatu yang lain juga mempengaruhi ini.
• Dentang : -mstack-alignmentOpsi menentukan perataan tumpukan. Tampaknya, standarnya adalah 16, meskipun tidak didokumentasikan. Jika Anda mengaturnya ke 8, alokasi tumpukan ( pushdan pop) menghilang dari kode perakitan yang dihasilkan.
• gcc : -mpreferred-stack-boundaryOpsi menentukan perataan tumpukan. Jika nilai yang diberikan adalah N, itu berarti 2 ^ N byte perataan. Nilai default adalah 4, yang berarti 16 byte. Jika Anda mengaturnya menjadi 3 (yaitu 8 byte), alokasi tumpukan ( subdan adduntuk rsp) menghilang dari kode rakitan yang dihasilkan.

Lihat di godbolt .