Wie funktioniert generisches Lambda in C ++ 14?

Wie funktioniert generischen lambda-Arbeit (auto Stichwort als argument-Typ) in C++14-standard?

Ist es, basierend auf C++ - templates, in denen für jeden unterschiedlichen argument-Typ der compiler erzeugt eine neue Funktion mit dem gleichen Körper, sondern ersetzt-Typen (compile-Zeit-Polymorphismus), oder ist es eher ähnlich zu Java ' s generics (type erasure)?

Code Beispiel:

auto glambda = [](auto a) { return a; };

InformationsquelleAutor der Frage sasha.sochka | 2013-06-21

  1. 114

    Generische Lambda-Ausdrücke eingeführt wurden, in C++14.

    Einfach, der Verschluss Typ definiert durch den lambda-Ausdruck wird ein Vorlagen call operator statt der regulären, nicht-template-Aufruf-operator von C++11's lambdas (natürlich, wenn auto erscheint mindestens einmal in der Parameterliste).

    Also dein Beispiel:

    auto glambda = [] (auto a) { return a; };

    Machen glambda eine Instanz dieses Typs:

    class /* unnamed */
{
public:
    template<typename T>
    T operator () (T a) const { return a; }
};

    Absatz 5.1.2/5 des C++14-Standard-Entwurf n3690 angibt, wie der Anruf Betreiber der Verschluss Typ einer gegebenen lambda-Ausdruck definiert ist:

    Verschluss Typ für eine nicht-generische lambda-Ausdruck hat einen öffentlichen inline-function-call-operator (13.5.4)
    deren Parameter und den Rückgabetyp beschrieben werden durch die lambda-Ausdrucks parameter-Erklärung-Klausel
    und trailing-return-Typ bzw.. Für eine generische lambda -, Verschluss-Typ hat einen öffentlichen inline-Funktion aufrufen
    Betreiber Mitglied Vorlage (14.5.2), deren template-parameter-Liste besteht aus einer erfunden Typ template-parameter
    für jedes vorkommen von auto in den lambda-parameter-Erklärung-Klausel, in der Reihenfolge des Auftretens    .
    Der erfundene Typ template-parameter ist ein parameter-pack, wenn der entsprechende parameter-Erklärung deklariert
    eine Funktion parameter pack (8.3.5). Der Rückgabetyp und die Parameter der Funktion die Funktion aufrufen
    operator-template abgeleitet vom lambda-Ausdrucks trailing-return-Typ-und parameter-declarationclause
    durch ersetzen jedes Vorkommens von auto in den decl-Bezeichner der parameter-Deklaration-Klausel mit
    der name der entsprechenden erfunden template-parameter.

    Schließlich:

    Ist es ähnlich wie templates, in denen für jeden unterschiedlichen argument-Typ compiler-Funktionen mit dem gleichen Körper, sondern verändert-Typen, oder ist es eher ähnlich zu Java ' s generics?

    Als der obige Absatz erklärt, generische lambdas sind nur syntaktischer Zucker für einzigartige, Unbenannte funktoren mit einer Vorlagen-Aufruf-operator. Das sollte Ihre Frage beantworten 🙂

    InformationsquelleAutor der Antwort Andy Prowl

  2. 23

    LeiderSie sind nicht Teil von C++11 (http://ideone.com/NsqYuq):

    auto glambda = [](auto a) { return a; };

int main() {}

    Mit g++ 4.7:

    prog.cpp:1:24: error: parameter declared ‘auto’
...

    Jedochwie es sein könnte implementiert in C++14 als pro die Portland Vorschlag für generische lambdas:

    [](const& x, & y){ return x + y; }

    Dies ergäbe für den größten Teil der üblichen Erstellung von einem anonymen functor-Klasse, aber mit dem Mangel an Typen, die der compiler emittieren würde eine Vorlagen-Mitglied-operator():

    struct anonymous
{
    template <typename T, typename U>
    auto operator()(T const& x, U& y) const -> decltype(x+y)
    { return x + y; }
};

    Oder gemäß der neueren Vorschlag Vorschlag für Generische (Polymorphe) Lambda-Ausdrücke

    auto L = [](const auto& x, auto& y){ return x + y; };

--->

struct /* anonymous */
{
    template <typename T, typename U>
    auto operator()(const T& x, U& y) const //N3386 Return type deduction
    { return x + y; }
} L;

    Also ja, für jede permutation der Parameter, eine neue Instanziierung entstehen würde, jedoch die Mitglieder der functor würde noch geteilt werden (D. H. die erfassten Argumente).

    InformationsquelleAutor der Antwort Sebastian Mach

  3. 13

    Es ist eine geplante C++14-Funktion (nicht in C++11) ähnliche (oder auch äquivalent) Vorlagen. Zum Beispiel, N3559 bietet in diesem Beispiel:

    Beispielsweise das generische lambda-Ausdruck, Anweisung:

    auto L = [](const auto& x, auto& y){ return x + y; };

    möglicherweise die Schaffung eines Verschluss-Typ und Objekt, das verhält sich ähnlich der struct unten:

    struct /* anonymous */
{
    template <typename T, typename U>
    auto operator()(const T& x, U& y) const //N3386 Return type deduction
    { return x + y; }
} L;

    InformationsquelleAutor der Antwort Cassio Neri

Schreibe einen Kommentar