F#中接口方法参数为unit时无法用对象表达式实现接口的问题

问题根因 #

你原代码报错的核心原因是：对象表达式中self关键字指代的是你正在创建的AsString接口实例本身，该实例的类型并不是SomeDu，直接对self做模式匹配自然会触发类型不匹配错误。

解决方案 #

你只需要将需要实现接口的SomeDu实例作为闭包变量捕获到对象表达式中即可，不需要修改原有接口定义，也不需要添加多余的泛型参数和运行时校验：

// 定义通用转换函数，接收任意SomeDu实例，返回实现了AsString接口的对象
let toAsString (duInstance: SomeDu) =
    { new AsString with
        // 这里直接使用捕获的duInstance做模式匹配，不需要用self参数
        member _.asString () =
            match duInstance with
            | A a -> string a
            | B b -> b
            | C c -> string c }

// 使用示例
let sampleDu = A 1024
let asStringImpl = sampleDu |> toAsString
// 调用返回 "1024"
asStringImpl.asString ()

方案优势 #

• 完全类型安全，没有多余的运行时校验逻辑，也不存在类型系统无法表达的约束
• 不需要修改原有AsString接口的定义，兼容现有接口规范
• 灵活性高，可针对任意SomeDu实例快速生成对应的接口实现，批量处理时可以直接作为转换函数传入高阶函数（比如List.map toAsString someDuList）

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