Warum aktiviert „[]{}' die Lambda-Neuzuweisung in C?

Entschlüsselung des magischen „ “-Operators: Verständnis des „[]{}“ Lambda

Eine verwirrende Beobachtung: ein einzelnes „ “-Präfix zu einem Lambda-Ausdruck in C ermöglicht auf wundersame Weise dessen Neuzuweisung. Diese rätselhafte Zauberei warf die Frage auf: Warum wird der folgende Code erfolgreich kompiliert?

int main() {
    auto test = +[]{}; // The "+" operator casts a lambda to a function pointer
    test = []{};
}

Die Antwort liegt in den dunklen Tiefen des C-Standards. Das „ “ löst eine Konvertierung in einen einfachen alten Funktionszeiger für das Lambda aus. Da das Lambda nicht einfangend ist, verfügt es von Natur aus über eine Konvertierungsfunktion in einen Funktionszeiger mit identischer Signatur. Diese Konvertierungsfunktion, wie im C-Standard definiert, gibt die Adresse einer Funktion zurück, die sich identisch mit dem Funktionsaufrufoperator des Lambda verhält.

Der unäre „ “-Operator, wenn er auf das vom Lambda generierte Abschlussobjekt angewendet wird, Aktiviert eine Reihe integrierter Überlastungen. Eine dieser Überladungen akzeptiert jeden Zeigertyp und wandelt ihn in einen Funktionszeiger um. Die Konvertierung des Abschlusstyps in einen Funktionszeiger, die einzige in Frage kommende überladene Funktion, hat daher Vorrang.

Folglich ist der Typ „test“ in „auto test = []{};“ wird als „void(*)()“ abgeleitet. Diese Funktionszeigerkompatibilität ermöglicht die Zuweisung eines zweiten Lambda-/Abschlussobjekts zum „Testen“, auch wenn sich ihre Verschlusstypen unterscheiden.

Dieses Wissen enthüllt das Geheimnis hinter dem Erfolg des „[]{}“-Lambdas. Durch die Umwandlung des Lambda in einen Funktionszeiger wird die Einschränkung bei der Neudefinition von Lambdas umgangen und die Möglichkeit freigeschaltet, ein neues Lambda-Objekt zuzuweisen.

Das obige ist der detaillierte Inhalt vonWarum aktiviert „[]{}' die Lambda-Neuzuweisung in C?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!