ラムダマクロはどのようにラムダを作成しますか？

GitHubでこのコードを見つけましたが、よくわかりませんでした。

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

次に：

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

内部でアンダースコアは何をしていて、#defineどのようにして関数ポインタを返しますか？

このマクロを使用して、

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

展開する：

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

中括弧では、GCCの入れ子関数を使用して、目的の操作を実行する関数を作成します。内部スコープ内では、名前は_です。

次に、interjayによって指摘されているように、GCCのステートメント式が使用されます。事実上、関数_はポインターに割り当てられますmax。

そのようなマクロが使用されていない場合、これは別の方法で記述して次のように使用できます。

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);
}

このコード例では、3つの方法を比較できます。

これはステートメント式と呼ばれ、「ラムダ」（またはネストされた関数）を作成し、それへのポインターを返します。これはGNU C固有です。

マクロは次のように展開されます。

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

_最後には次のようですreturn。

下線は、実際には作成されて「返される」関数の名前です。これ_は、あまり使用されない識別子であるために使用されます（正当な理由により、おそらく最も記述的な識別子ではありません）。

ステートメント式が使用される理由は、ステートメント式_のスコープが終了した後で定義されないためです。

だから、マクロを通過する：

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

ret_type「ラムダ」の戻り値の型です。_これは一般的でない識別子名であるため、その中で使用される関数の名前です。_body関数の引数と本体で構成されます。末尾_は「ラムダ」を「返します」。

このコードはLet's Destroy C（適切な名前）にあります。使用しないでください。これにより、GNU C拡張をサポートするコンパイラでのみコードが機能します。代わりに、関数またはマクロを記述してください。

このような構成を多く使用するか、より多くの機能が必要な場合は、C ++を使用することをお勧めします。C ++を使用すると、これと同様のことができ、移植可能なコードを作成できます。