W jaki sposób makro lambda tworzy lambda?

Znalazłem ten fragment kodu na GitHub, ale nie do końca go zrozumiałem:

#define lambda(ret_type, _body) ({ ret_type _ _body _; })

Następnie:

int (*max)(int, int) = lambda(int,
                             (int x, int y) {
                                 return x > y ? x : y;
                             });

int max_value = max(1, 2);
// max_value is 2

Co robią podkreślenia wewnątrz #definei jak zwraca wskaźnik funkcji?

Za pomocą tego makra

int (*max)(int, int) = lambda(int,
                             (int x, int y) {
                                 return x > y ? x : y;
                             });

rozwija się do:

int (*max)(int, int) = ({
    int _ (int x, int y) { return x > y ? x : y; }
    _;
});

W nawiasach klamrowych korzysta z funkcji zagnieżdżonych GCC, aby utworzyć funkcję, która wykonuje żądaną operację. W zakresie wewnętrznym ma nazwę _.

Następnie, jak zauważył interjay, używane są wyrażenia instrukcji GCC . W efekcie funkcja _jest przypisana do wskaźnika max.

Jeśli takie makro nie jest używane, można je zapisać inaczej i użyć jako:

int val1 = 4;
int val2 = -30;

int perform_operation(int (*op)(int, int)) {
    int new_val = op(val1, val2);
    val1 = val2;
    val2 = new_val;
    return new_val;
}

int enclosing_function (void) {
    // Create max "lambda"
    int (*max)(int, int);
    {
        // Curly braces limit the scope of _
        int _ (int x, int y) { return x > y ? x : y; }
        max = _;
    }

    return perform_operation(max);
}

Trzy metody można porównać w tym przykładzie kodu .

Nazywa się to wyrażeniem instrukcji i tworzy „lambda” (lub funkcję zagnieżdżoną ) i zwraca do niej wskaźnik. Jest to specyficzne dla GNU C.

Makro rozwija się do:

int (*max)(int, int) = ({ int _ (int x, int y) { return x > y ? x : y; } _; })

Na _końcu jest jak return.

Podkreślenie to tak naprawdę nazwa funkcji, która została utworzona i „zwrócona”. Jest używany, ponieważ jest to rzadko używany identyfikator (nie bez powodu; _jest to możliwie najmniej opisowy identyfikator).

Powodem użycia wyrażenia jest to, _że nie zostanie zdefiniowane po zakończeniu zakresu wyrażenia wyrażenia.

Przeglądając makro:

#define lambda(ret_type, _body) ({ ret_type _ _body _; })

ret_typejest typem zwracanym „lambda”. _to nazwa funkcji użytej w nim, ponieważ jest to rzadka nazwa identyfikatora. _bodyskłada się z argumentów i treści funkcji. Końcowy _„zwraca” „lambda”.

Ten kod znajduje się w Let's Destroy C (która jest odpowiednią nazwą). Nie powinieneś go używać. Sprawi, że Twój kod będzie działał tylko na kompilatorach obsługujących rozszerzenia GNU C. Zamiast tego po prostu napisz funkcję lub makro.

Jeśli często używasz takich konstrukcji lub chcesz więcej funkcji, sugeruję użycie C ++. Z C ++ możesz zrobić coś podobnego i mieć przenośny kod.