Question

例如，我有2个附加功能：

module Add

let add2 a =
    let innerFn a = a + 2
    innerFn a
let add2' a =
    let innerFn' () = a + 2
    innerFn' ()

let res1 = add2 0
let res2 = add2' 1

据我所知，两个innerFn将分别编译为FSharpFunc<int,int>和FSharpFunc<unit,int>，每次add2或add2'时都会初始化调用。

如何重写代码以将它们转换为静态类的静态本地函数（因此没有FSharpFunc初始化），就像在C＃7中一样？

Answer 1

您可能不必担心这一点。在Debug构建中，每个本地函数都成为委托。在发布版本中，函数是内联的，或者 do 成为静态类中的静态方法。

通过在Debug构建中构建和反编译问题的代码，您得到：

public static int add2(int a)
{
    return 5 + (new Program.innerFn@5()).Invoke(a);
}

public static int add2'(int a)
{
    return (new Program.innerFn'@8(a)).Invoke(null);
}

每次都会显示委托初始化。

在发布中，这变为：

public static int add2(int a)
{
    return a + 2;
}

public static int add2'(int a)
{
    return a + 2;
}

这些函数是内联的，没有生成任何委托。

为了避免陷入困境，我让add2更加复杂：

let add2 a =
    let innerFn a = if a < 3 then a+1 else a + 2
    5 + innerFn a
let add2' a =
    let innerFn' () = a + 2
    innerFn' ()

在这种情况下，Release版本在类中生成了一个静态方法：

public static int add2(int a)
{
    return 5 + Program.innerFn@5(a);
}

public static int add2'(int a)
{
    return a + 2;
}

internal static int innerFn@5(int a)
{
    if (a < 3)
    {
        return a + 1;
    }
    return a + 2;
}

在F＃中创建本地函数

1 个答案: