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

Question

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

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

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

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

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

经过多次测试，我开始意识到这个问题的答案是“视情况而定”。关键似乎在于“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

您会说哪种类型会产生编译器错误？最合乎逻辑的事情是回答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# 编译器的错误？

Answer 1

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

[<CompilationMapping(SourceConstructFlags.RecordType)>]

每当您更改记录的访问级别时，SourceConstructFlags 就会变为

RecordType | NonPublicRepresentation

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

ObjectType

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

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

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