在F#中创建本地函数

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

根据我所知,两个innerFns将分别编译为FSharpFunc<int,int>和FSharpFunc<unit,int>,并且每次调用add2或被add2'调用时都会被初始化.

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

Answer 1

你可能不必担心这个.在Debug构建中,每个本地函数都成为委托.在发布版本中,函数被内联或不成为静态类的静态方法.

通过在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);
}

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

在Release中,这变为:

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