需要帮助理解 lambda（柯里化）

Question

我正在阅读 Accelerated C# 我不太理解下面的代码：

public static Func<TArg1, TResult> Bind2nd<TArg1, TArg2, TResult> (
    this Func<TArg1, TArg2, TResult> func,
    TArg2 constant ) 
{
    return (x) => func( x, constant );
}

最后一行 x 指的是什么？还有另一个：

public static Func<TArg2, Func<TArg1, TResult>> Bind2nd<TArg1, TArg2, TResult>
( this Func<TArg1, TArg2, TResult> func )
{
    return (y) => (x) => func( x, y );
}

我如何评价这个？ <代码>(y) => (x)=> func( x, y ) 传递了什么......这确实令人困惑。

Answer 1

lambda 表达式是匿名方法的简写。与匿名方法一样，lambda 表达式被分配给委托类型。适用于匿名方法的所有条件也适用于 lambda 表达式。

=>称为 lambda 运算符，读作“goes to”。运算符的左侧指定以逗号分隔的输入参数，右侧指定表达式或语句块，称为 lambda 体。 (p1, p2, p3, …pN) =>表达式 如果只有一个参数，则可以跳过括号 p1 =>表达;

我在这里写了一篇解释 lambda 表达式的小博客 Lambda 表达式

Answer 2

变量 x 是未绑定变量。它表示调用 Bind2nd 返回的函数的参数。

几个小时的计划会对你有所帮助，但试试这个。

当您调用 Bind2nd 时，返回的结果是一个函数。该函数定义为

(x) => func (x, constant)

现在您已将上述内容分配给变量，比如说 lambda ，您可以通过 lambda 变量调用该函数

lambda(x);

xBind2nd 中定义的 code> 只是一个变量，代表将返回给您的函数的参数。

Answer 3

x 是 lambda 的参数，其类型为 TArg1。

发音 => 会很有帮助。 as“映射到”，如“x 映射到一个新函数，其中 TArg2 类型的常量替换为原始函数委托 func”。

Answer 4

我们先简化一下代码：

Func<int, int> B(Func<int, int, int> f, int c)
{
    return x=>f(x, c);
}

这和：

class Locals
{
    public int c;
    public Func<int, int, int> f;
    public int Magic(int x) { return f(x, c); }
}
Func<int, int> B(Func<int, int, int> f, int c)
{
    Locals locals = new Locals();
    locals.f = f;
    locals.c = c;
    return locals.Magic;
}

现在清楚x指的是什么了吗？ x 是函数“Magic”的参数。

现在你可以这样使用 B：

Func<int, int, int> adder = (a, b)=>a+b;
Func<int, int> addTen = B(adder, 10);
int thirty = addTen(20);

有意义吗？看看这里发生了什么？我们采用两个参数的函数并将其中一个参数“固定”为常数。因此它成为一个参数的函数。

第二个例子更进一步。再次简化以消除繁琐，以便您可以更轻松地理解它：

Func<int, Func<int, int>> B2(Func<int, int, int> f) 
{
    return y=>x=>f(x,y);
}

相同

class Locals3
{
    public int y;
    public int Magic3(int x)
    {
       return x + this.y;
    }
}
class Locals2
{
    public Func<int, int, int> f;
    public Func<int, int> Magic2(int y)
    {
        Locals3 locals = new Locals3;
        locals.y = y;
        return locals.Magic3;
    }
}

Func<int, Func<int, int>> B2(Func<int, int, int> f) 
{
    Locals2 locals = new Locals2();
    locals.f = f;   
    return locals.Magic2;
}

这与所以您说

Func<int, int, int> adder = (a, b)=>a+b;
Func<int, Func<int, int>> makeFixedAdder = B2(adder);
Func<int, int> add10 = makeFixedAdder(10);
int thirty = add10(20);

B 是参数固定器 。 B2为您制作一个参数修复器。

然而，这不是 B2 的要点。 B2 的要点在于：

adder(20, 10);

给出与 B2 相同的结果

B2(adder)(20)(10)

将一个两个参数的函数转换为两个各一个参数的函数。

有道理吗？