F#中返回派生类时类型不匹配报错求助

这个问题其实是F#处理继承类型时的一个特性——F#默认不会自动将派生类实例隐式向上转换为基类类型，哪怕派生类确实继承自基类。虽然在C#这类语言里这种隐式转换是允许的，但F#为了类型安全和推断的清晰性，要求你显式指定这个转换。

修复方法 #

你只需要在return_square函数中，把new square(n)显式转换为shape类型即可，有两种常用写法：

方法1：使用:>类型转换操作符

let return_square(n): shape = new square(n) :> shape

方法2：使用upcast关键字

let return_square(n): shape = upcast new square(n)

修改后的完整代码如下：

open System
[<AbstractClass>]
type shape() =
    abstract area : int
type square(side) =
    inherit shape()
    override this.area = side * side
let return_square(n): shape = new square(n) :> shape
[<EntryPoint>]
let main argv =
    let foo = new square (3)
    printfn "%d" foo.area
    let bar = return_square(4)
    printfn "%d" bar.area
    0 // Return 0 to OS

为什么会这样？ #

F#的类型系统设计更偏向于显式性，避免隐式转换带来的意外类型问题。当你声明函数返回shape类型时，编译器需要明确知道你返回的实例确实符合这个类型，而不会自动假设派生类实例可以直接作为基类返回——必须通过显式转换来确认你的意图。

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