2016-01-04 15 views
7

Jedes Lambda sollte einen eindeutigen unbekannten Typ haben. Ist es garantiert, dass zwei Lambdas im gleichen Bereich unterschiedliche Typen haben?Haben Lambdas unterschiedliche Typen?

Dies funktioniert, aber ich würde gerne wissen, ob es garantiert ist, dass die Behauptung nie feuern wird.

Antwort

12

Ja, jeder Lambda-Ausdruck erzeugt einen einzigartigen Typ ([expr.prim.lambda]/3):

Der Typ des lambda-Ausdruck (der auch die Art des Verschlusses Objekt ist) ist, a unique, unbenannter Nicht-Gruppentyp - der so genannte Verschlusstyp -, dessen Eigenschaften im Folgenden beschrieben werden.

[Hervorhebung hinzugefügt]

+1

Jede Chance, dass Sie einen Link auf die Quelle des Zitats auf Vollständigkeit hinzufügen könnten, da das Zitat endet „wie unten beschrieben“? –

+3

@IStanley: Das '[expr.prim.lambda]/3' ist eine Attributierung (es bezeichnet einen Abschnitt im C++ Standard). –

+0

lernen Sie jeden Tag etwas Neues! Vielen Dank. –

Verwandte Themen