Yığın bellek kullanılmadığında neden ayrılıyor?

Aşağıdaki örneği düşünün:

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

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

İçin oluşturulan montaj kodu vector::empty(optimizasyon ile clang tarafından):

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

Neden yığın alanı ayırıyor? Hiç kullanılmaz. pushVe popihmal edilebilir. Optimize edilmiş MSVC ve gcc yapıları da bu işlev için yığın alanını kullanır ( godbolt'a bakın ), bu yüzden bir neden olmalı.

Yığın alanı ayırır, böylece yığın 16 bayt hizalıdır. İade adresi 8 bayt aldığından gereklidir, bu nedenle yığının 16 baytını hizalı tutmak için 8 baytlık ek bir alan gerekir.

Yığın çerçevelerinin hizalanması bazı derleyiciler için komut satırı bağımsız değişkenleriyle yapılandırılabilir.

• MSVC : Belgeler yığının her zaman 16 bayt hizalı olduğunu söylüyor. Hiçbir komut satırı argümanı bunu değiştiremez. Godbolt örneği, rspişlevin başlangıcında 40 baytın çıkarıldığını gösterir , bu da başka bir şeyin bunu da etkilediği anlamına gelir.
• clang : -mstack-alignmentSeçenek, yığın hizalamasını belirtir. Belgelenmemesine rağmen varsayılanın 16 olduğu görülmektedir. 8 olarak ayarlarsanız, yığın ayırma ( pushve pop) oluşturulan derleme kodundan kaybolur.
• gcc : -mpreferred-stack-boundarySeçenek, yığın hizalamasını belirtir. Verilen değer N ise, 2 ^ N bayt hizalama anlamına gelir. Varsayılan değer 4'tür, bu da 16 bayt anlamına gelir. 3 (yani 8 bayt) olarak ayarlarsanız, yığın ayırma ( subve addfor rsp) oluşturulan derleme kodundan kaybolur.

Üzerinde göz atın Godbolt .