如何在F＃中定义T 的类型扩展名？

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

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

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

任何人都可以告诉我在F＃中这样做的权利是什么？

当然，我可以通过掩盖arrays模块并为此轻松添加function来实现这一点，但我真的想知道如何将其作为扩展方法！

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＃source（prim-types-prelude.fs）中，您可以找到以下定义：

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

Answer 2

好问题。 我无法弄清楚如何扩展'T[]但你可以利用数组实现IList<_>的事实：

 type System.Collections.Generic.IList<'T> with member x.GetOrDefault(n) = if x.Count > n then x.[n] else Unchecked.defaultof<'T> let arr = [|1; 2; 3|] arr.GetOrDefault(1) //2 arr.GetOrDefault(4) //0