.net - 当所有使用的类型都是先验已知时，为什么此代码片段会导致 "Lookup on object of indeterminate type..."？

Question

我在 VS2013 上使用 F# 3.1。以下代码导致以下错误信息

“根据此程序点之前的信息查找不确定类型的对象。在此程序点之前可能需要类型注释以约束对象的类型。这可能允许解析查找。 ”。

我不明白为什么会发生这种情况，因为这里使用的所有类型都是众所周知的(来自 .Net 框架本身)。任何人都可以告诉我吗？

open System.IO
open System.Collections.Generic

type A() as me =
    let drives = new List<DriveInfo>()

    let x = me.SelectedDrive
    let y = x.RootDirectory     // this causes "Lookup on object of indeterminate type..."

    member this.SelectedDrive with get() = drives.[0]

Answer 1

F# 编译器以自上而下的方向读取文件，因此当必须确定 y 的类型时，this.SelectedDrive 的类型尚不清楚编译器。这就是您收到此错误的原因。