如何在F#中为泛型类型添加可索引（indexable）约束？

当然可以给F#泛型类型添加可索引约束，你之前的写法问题出在成员约束的语法细节上。下面提供两种可行的实现方案：

方案一：使用.NET标准接口约束（推荐） #

大部分可索引集合（比如数组、List<'a>）都实现了IReadOnlyList<'a>（只读）或IList<'a>（读写）接口，直接用这些接口做约束既简洁又符合.NET生态：

只读切片实现 #

type Slice<'a, 'content when 'content :> IReadOnlyList<'a>> (content: 'content, startIdx: int, length: int) =
    // 初始化时校验参数合法性
    do
        if startIdx < 0 || startIdx + length > content.Count then
            invalidArg "startIdx" "起始索引或长度超出原集合范围"
    
    // 实现切片自身的索引器
    member this.Item
        with get (idx: int) =
            if idx < 0 || idx >= length then
                invalidArg "idx" "索引超出切片范围"
            content.[startIdx + idx]
    
    member this.Length = length

可读写切片实现 #

如果需要支持修改原集合的元素，改用IList<'a>约束：

type MutableSlice<'a, 'content when 'content :> IList<'a>> (content: 'content, startIdx: int, length: int) =
    do
        if startIdx < 0 || startIdx + length > content.Count then
            invalidArg "startIdx" "起始索引或长度超出原集合范围"
    
    member this.Item
        with get (idx: int) =
            if idx < 0 || idx >= length then
                invalidArg "idx" "索引超出切片范围"
            content.[startIdx + idx]
        and set (idx: int) value =
            if idx < 0 || idx >= length then
                invalidArg "idx" "索引超出切片范围"
            content.[startIdx + idx] <- value
    
    member this.Length = length

方案二：使用成员约束（灵活场景） #

如果你的目标类型没有实现标准接口但自定义了索引器，可以用成员约束。注意F#中成员约束需要指定索引器的get/set方法名（.NET底层用get_Item和set_Item表示索引器的存取方法），而不是直接写Item：

只读切片的成员约束实现 #

type Slice<'a, 'content when 'content : (member get_Item: int -> 'a)> (content: 'content, startIdx: int, length: int) =
    do
        if startIdx < 0 then
            invalidArg "startIdx" "起始索引不能为负数"
    
    member this.Item
        with get (idx: int) =
            if idx < 0 || idx >= length then
                invalidArg "idx" "索引超出切片范围"
            // 获取索引器的get方法并调用
            let getItem = (content :?> (member get_Item: int -> 'a))
            getItem (startIdx + idx)
    
    member this.Length = length

可读写切片的成员约束实现 #

如果需要支持修改，同时添加set_Item的约束：

type MutableSlice<'a, 'content when 'content : (member get_Item: int -> 'a)
                                 and 'content : (member set_Item: int * 'a -> unit)> (content: 'content, startIdx: int, length: int) =
    do
        if startIdx < 0 then
            invalidArg "startIdx" "起始索引不能为负数"
    
    member this.Item
        with get (idx: int) =
            if idx < 0 || idx >= length then
                invalidArg "idx" "索引超出切片范围"
            let getItem = (content :?> (member get_Item: int -> 'a))
            getItem (startIdx + idx)
        and set (idx: int) value =
            if idx < 0 || idx >= length then
                invalidArg "idx" "索引超出切片范围"
            let setItem = (content :?> (member set_Item: int * 'a -> unit))
            setItem (startIdx + idx, value)
    
    member this.Length = length

为什么你的原写法出错？ #

你之前写的type Slice<'a, 'content when 'content: (member Item: int -> 'a)>不合法，因为F#的成员约束需要明确指定是索引器的get方法（get_Item）还是set方法（set_Item），直接写Item无法被编译器识别为合法的成员约束。

内容的提问来源于stack exchange，提问作者kam