c# - 如何在 F# 中定义 T[] 的类型扩展？

Question

在 C# 中，我可以为类型 T 的泛型数组定义一个扩展方法，如下所示:

public static T GetOrDefault<T>(this T[] arr, int n)
{
    if (arr.Length > n)
    {
        return arr[n];
    }

    return default(T);
}

但对于我的生活，我无法弄清楚如何在 F# 中做同样的事情!我试过 type 'a array with , type array<'a> with和 type 'a[] with编译器对它们中的任何一个都不满意。

谁能告诉我在 F# 中执行此操作的权利是什么？

当然，我可以通过隐藏 Array 模块并为此轻松添加一个函数来做到这一点，但我真的很想知道如何将其作为扩展方法来实现!

Answer 1

您必须使用“反引号”来编写数组类型 - 如下所示:

type 'a ``[]`` with
  member x.GetOrDefault(n) = 
    if x.Length > n then x.[n]
    else Unchecked.defaultof<'a>

let arr = [|1; 2; 3|]
arr.GetOrDefault(1) //2
arr.GetOrDefault(4) //0

编辑:语法type ``[]``<'a> with ...似乎也被允许。在 F# 源代码 (prim-types-prelude.fs) 中，您可以找到以下定义:

type ``[]``<'T> = (# "!0[]" #)