Warum wird Stapelspeicher zugewiesen, wenn er nicht verwendet wird?

Betrachten Sie das folgende Beispiel:

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

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

Der generierte Assemblycode für vector::empty(durch Klirren, mit Optimierungen):

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

Warum wird Stapelspeicher zugewiesen? Es wird überhaupt nicht verwendet. Das pushund popkönnte weggelassen werden. Optimierte Builds von MSVC und gcc verwenden für diese Funktion auch Stapelspeicher (siehe Godbolt ), daher muss es einen Grund geben.

Es weist Stapelspeicherplatz zu, sodass der Stapel 16-Byte-ausgerichtet ist. Dies ist erforderlich, da die Rücksprungadresse 8 Byte benötigt. Daher wird ein zusätzlicher 8-Byte-Speicherplatz benötigt, um den Stapel mit 16 Byte ausgerichtet zu halten.

Die Ausrichtung von Stapelrahmen kann für einige Compiler mit Befehlszeilenargumenten konfiguriert werden.

• MSVC : Die Dokumentation besagt, dass der Stapel immer 16-Byte-ausgerichtet ist. Kein Befehlszeilenargument kann dies ändern. Das Godbolt-Beispiel zeigt, dass 40 Bytes von subtrahiert werdenrsp zu Beginn der Funktion werden, was bedeutet, dass dies auch von etwas anderem beeinflusst wird.
• clang : Die -mstack-alignmentOption gibt die Stapelausrichtung an. Es scheint, dass der Standardwert 16 ist, obwohl er nicht dokumentiert ist. Wenn Sie 8 festlegen, wird die Stapelzuordnung ( pushund pop) aus dem generierten Assemblycode entfernt.
• gcc : Die-mpreferred-stack-boundary Option gibt die Stapelausrichtung an. Wenn der angegebene Wert N ist, bedeutet dies 2 ^ N Bytes Ausrichtung. Der Standardwert ist 4, was 16 Bytes bedeutet. Wenn Sie 3 (dh 8 Byte) festlegen, verschwindet die Stapelzuordnung ( subund addfür rsp) aus dem generierten Assemblycode.

Schauen Sie sich Godbolt an .