如何定义在F＃为T []一个类型扩展？(How to define a type extension

在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＃做到这一点吗？

当然，我可以通过掩盖了阵列模块做到这一点，添加一个功能，可以轻松地够了，但我真的想知道如何做到这一点作为一个扩展的方法！

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＃源（升麻类型-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

文章来源: How to define a type extension for T[] in F#?