命名空間 (F#)

  • 發行項

命名空間可讓您將名稱附加至 F# 程式元素的群組，以將程式碼依相關功能分類。 命名空間通常是 F# 檔案中的最上層元素。

語法

namespace [rec] [parent-namespaces.]identifier

備註

如果您想要將程式碼放在命名空間中，檔案中的第一個宣告必須宣告命名空間。 整個檔案的內容隨後將成為命名空間的一部分，前提是檔案中沒有其他命名空間宣告存在。 若是如此，則下一個命名空間宣告之前的所有程式碼，都會被視為在第一個命名空間內。

命名空間無法直接包含值和函式。 值和函式必須包含在模組中，而模組再包含於命名空間中。 命名空間可包含型別和模組。

XML 文件註解可宣告於命名空間之上，但會被忽略。 編譯器指示詞也可宣告於命名空間之上。

命名空間可以使用 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

如需詳細資訊，請參閱模組。

巢狀命名空間

在建立巢狀命名空間時，必須完整加以限定。 否則，您會建立新的最上層命名空間。 命名空間宣告會忽略縮排。

下列範例說明如何宣告巢狀命名空間。

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

您也可以使用全域來參考最上層 .NET 命名空間，例如，用來解決與其他命名空間的名稱衝突。

global.System.Console.WriteLine("Hello World!")

遞迴命名空間

命名空間也可以宣告為遞迴，以允許所有內含的程式碼相互遞迴。 這可透過 namespace rec 來完成。 使用 namespace rec 可以減輕無法撰寫在類型和模組之間相互參考之程式碼的一些困擾。 以下是一個範例：

namespace rec MutualReferences

type Orientation = Up | Down
type PeelState = Peeled | Unpeeled

// This exception depends on the type below.
exception DontSqueezeTheBananaException of Banana

type Banana(orientation : Orientation) =
    member val IsPeeled = false with get, set
    member val Orientation = orientation with get, set
    member val Sides: PeelState list = [ Unpeeled; Unpeeled; Unpeeled; Unpeeled] with get, set

    member self.Peel() = BananaHelpers.peel self // Note the dependency on the BananaHelpers module.
    member self.SqueezeJuiceOut() = raise (DontSqueezeTheBananaException self) // This member depends on the exception above.

module BananaHelpers =
    let peel (b: Banana) =
        let flip (banana: Banana) =
            match banana.Orientation with
            | Up ->
                banana.Orientation <- Down
                banana
            | Down -> banana

        let peelSides (banana: Banana) =
            banana.Sides
            |> List.map (function
                         | Unpeeled -> Peeled
                         | Peeled -> Peeled)

        match b.Orientation with
        | Up ->   b |> flip |> peelSides
        | Down -> b |> peelSides

請注意，例外狀況 DontSqueezeTheBananaException 和類別 Banana 會彼此參考。 此外，模組 BananaHelpers 和類別 Banana 也會彼此參考。 如果您已從 MutualReferences 命名空間中移除 rec 關鍵字，就無法在 F# 中表達。

此功能也適用於最上層模組。

另請參閱