F# 中的签名文件和访问修饰符

Question

我最近一直在尝试学习 F# 的面向对象方面，并且对如何限制对语言中类型/模块的访问感到好奇。

更具体地说，我想知道写这个的区别：

Example.fsi

module Stack =
    val foo : string

Example.fs

module Stack =
    let foo = "foo"
    let bar = "bar"

或者这个：

module Stack =
    let foo = "foo"
    let private bar = "bar"

他们最终不会完成完全相同的事情吗？来自 C# 背景，我更倾向于使用访问修饰符而不是签名 (FSI) 文件。它们似乎更通用（例如，可以应用于命名空间中的模块/类型），而我在任何情况下都没有签名文件提供访问修饰符不提供的东西。

Answer 1

他们完成几乎相同的事情。 （请注意，您也可以将 .fsi 文件用于命名空间中的类型，不确定您对此的评论是什么意思。）

签名文件有几个优点：

• 您可以在文件期间创建实体public，然后在项目的后续文件中创建private。
• 您可以在签名文件中仅包含简短摘要，因此公共界面易于阅读，无需扫描大量代码。

第一个要点不容小觑 - 像这样的程序集内封装对于非常大的项目来说实际上是一个相当大的功能。能够在 File1.fs 中定义一些相互公开的类型，但只有这些类型/方法的子集对其余类型（File2.fs、File3.fs 等）是公开的，这是非常有用的（有点像 C++ 中的“朋友”）。