命名空间 (F#)
通过使用命名空间,可以为程序元素的分组附加名称,从而将代码组织到相关的功能区域中。
namespace [parent-namespaces.]identifier
备注
如果要将代码放置到某个命名空间中,则文件中的第一个声明必须是声明该命名空间。 然后,整个文件的内容将成为该命名空间的组成部分。
命名空间不能直接包含值和函数。 而必须将值和函数包括在模块中,然后将模块包括在命名空间中。 命名空间可以包含类型和模块。
既可以使用 namespace 关键字显式声明命名空间,也可以在声明模块时隐式声明命名空间。 若要显式声明一个命名空间,请使用 namespace 关键字并后跟相应的命名空间名称。 以下示例演示的代码文件声明了一个命名空间 Widgets,并在其中包括一个类型和一个模块。
namespace Widgets
type MyWidget1 =
member this.WidgetName = "Widget1"
module WidgetsModule =
let widgetName = "Widget2"
如果文件的全部内容都位于一个模块中,则还可以通过使用 module 关键字并在完全限定的模块名称中提供新的命名空间名,来隐式声明命名空间。 以下示例演示的代码文件声明了一个命名空间 Widgets 和一个模块 WidgetsModule(其中包含一个函数)。
module Widgets.WidgetModule
let widgetFunction x y =
printfn "%A %A" x y
下面的代码与上面的代码等效,但模块是局部模块声明。 在这种情况下,命名空间必须单独占用一行。
namespace Widgets
module WidgetModule =
let widgetFunction x y =
printfn "%A %A" x y
如果相同文件中的一个或多个命名空间需要多个模块,则必须使用局部模块声明。 当使用局部模块声明时,不能在模块声明中使用限定的命名空间。 以下代码演示包含一个命名空间声明和两个局部模块声明的文件。 在这种情况下,模块直接包含在命名空间中;不存在与该文件的名称相同的隐式创建的模块。 该文件中的任何其他代码(如 do 绑定)都位于命名空间中,而不在内部模块中,因此,您需要通过使用模块名称来限定模块成员 widgetFunction。
namespace Widgets
module WidgetModule1 =
let widgetFunction x y =
printfn "Module1 %A %A" x y
module WidgetModule2 =
let widgetFunction x y =
printfn "Module2 %A %A" x y
module useWidgets =
do
WidgetModule1.widgetFunction 10 20
WidgetModule2.widgetFunction 5 6
此示例的输出如下所示。
Module1 10 20
Module2 5 6
有关更多信息,请参见模块 (F#)。
嵌入的命名空间
当创建嵌套的命名空间时,必须对其进行完全限定。 否则,将会新建一个顶级命名空间。 在命名空间声明中将忽略缩进。
下面的示例演示如何声明嵌套的命名空间。
namespace Outer
// Full name: Outer.MyClass
type MyClass() =
member this.X(x) = x + 1
// Fully qualify any nested namespaces.
namespace Outer.Inner
// Full name: Outer.Inner.MyClass
type MyClass() =
member this.Prop1 = "X"
文件和程序集中的命名空间
命名空间可以跨单个项目或编译中的多个文件。 术语“命名空间片段”描述包含在一个文件中的部分命名空间。 命名空间还可以跨多个程序集。 例如,System 命名空间包含整个 .NET Framework,而后者又跨多个程序集并包含许多嵌套的命名空间。
全局命名空间
使用预定义命名空间 global 将名称放在 .NET 顶级命名空间中。
namespace global
type SomeType() =
member this.SomeMember = 0
还可使用 global 来引用顶级的 .NET 命名空间以(举例来说)解决与其他命名空间的名称冲突。
global.System.Console.WriteLine("Hello World!")