3

假设我有一个名为“C”的库（.NETStandard 2.0），它定义了一个名为“CRecord”（一条记录）的类型。

假设我从一个名为“B”的 .NET 4.7.2 库中使用这个库。有一个使用“CRecord”类型的“B”类型。

现在假设我有一个名为“A”的可执行 .NET4.7.2 项目，它使用“B”中的类型，但并不真正使用“C”中的组件。

在编译“A”时，你认为你会在下面得到这个编译器错误吗？

错误 FS0074：通过“C.CRecord”引用的类型在未引用的程序集中定义。您必须添加对程序集“C”的引用。(FS0074) (一)

经过大量测试，我开始意识到这个问题的答案是“视情况而定”。关键似乎在于“B”中的类型实际实现的方式。例子：

namespace B

module BModule =

    type BSimpleRecord =
        { Baz: uint32; C: CRecord }

    type BComplexRecord = private { baz: uint32; c: CRecord } with
        member public this.Baz = this.baz
        member internal this.C = this.c
        static member public New(baz, c) =
            { baz = baz; c = c }

    type BComplexType internal (baz: uint32, c: CRecord) =
        member val Baz = baz with get
        member val internal C = c with get

您会说哪种类型会产生编译器错误？最合乎逻辑的想法是 answer BSimpleRecord，因为它根本不努力隐藏C元素。正确的？正确的？？？？

作为参考，这是 A 和 C 代码（以及返回 B 实例的 B 函数）：

namespace C

type CRecord =
    { Foo: int; Bar: string }

namespace B

module BModule =

    let FunctionThatReturnsBSimpleRecord () =
        let c = { Foo = 1; Bar = "" }
        let b = { Baz = 1u; C = c }
        b

    let FunctionThatReturnsBComplexRecord () =
        let c = { Foo = 1; Bar = "" }
        let baz = 10u
        let b = BComplexRecord.New(baz, c)
        b

    let FunctionThatReturnsBComplexType () =
        let c = { Foo = 1; Bar = "" }
        let baz = 10u
        let b = BComplexType(baz, c)
        b

(* Program.fs of A project below *)

[<EntryPoint>]
let main argv =
    let b = B.BModule.FunctionThatReturnsBComplexType()
    printfn "%s" (b.Baz.ToString())
    0 // return an integer exit code

好吧，我的 F-sharpers 伙伴们，答案实际上是最不期望的一个：它是当你使用BSimpleRecord时没有得到编译器错误（并且你得到其他两个错误）。

所以我仍然想知道为什么？为什么？？？我完全不明白这一点。也许这是 F# 编译器中的错误？

4

1 回答 1

0

常规 F# 记录类型由以下属性标识：

[<CompilationMapping(SourceConstructFlags.RecordType)>]

每当您更改记录的访问级别时SourceConstructFlags，

RecordType | NonPublicRepresentation

对于普通课程（例如BComplexType），它只是

ObjectType

这是您的工作案例与其他案例之间的主要区别。

我无法弄清楚 F# 编译器的确切位置，但它会进行汇编探索，除非它是RecordType- 这很可能发生NameResolution.fs在其中一个resolve调用中。

堆栈跟踪在这里。它发生在ResolveExprDotLongIdentAndComputeRange（对于b.Baz）。

于 2020-06-09T18:54:33.003 回答