Бөлісу құралы:

Пространства имен (F#)

Пространство имен позволяет упорядочивать код в области связанных функциональных возможностей, позволяя прикрепить имя к группировке элементов программы F#. Пространства имен обычно являются элементами верхнего уровня в файлах F#.

Синтаксис

namespace [rec] [parent-namespaces.]identifier

Замечания

Если вы хотите поместить код в пространство имен, первое объявление в файле должно объявить пространство имен. Содержимое всего файла становится частью пространства имен, если в файле нет других объявлений пространств имен. Если это так, все коды до следующего объявления пространства имен считаются в пределах первого пространства имен.

Пространства имен не могут напрямую содержать значения и функции. Вместо этого значения и функции должны быть включены в модули, а модули включаются в пространства имен. Пространства имен могут содержать типы и модули.

Комментарии к XML-документам можно объявить над пространством имен, но они игнорируются. Директивы компилятора также можно объявить над пространством имен.

Пространства имен можно объявлять явно с помощью ключевого слова пространства имен или неявно при объявлении модуля. Чтобы явно объявить пространство имен, используйте ключевое слово пространства имен, за которым следует имя пространства имен. В следующем примере показан файл кода, объявляющий пространство 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 (banana: Banana) =
        let flip (banana: Banana) =
            match banana.Orientation with
            | Up ->
                banana.Orientation <- Down
                banana
            | Down -> banana

        // Update the peel state for all sides of the banana.
        let peelSides (banana: Banana) =
            banana.Sides
            |> List.map (function
                         | Unpeeled -> Peeled
                         | Peeled -> Peeled)

        // Apply the flipping and peeling logic based on the orientation.
        match banana.Orientation with
        | Up ->   banana |> flip |> peelSides
        | Down -> banana |> peelSides

Обратите внимание, что исключение DontSqueezeTheBananaException и класс Banana ссылаются друг на друга. Кроме того, модуль BananaHelpers и класс Banana также ссылаются друг на друга. Это не удастся выразить в F#, если вы удалили rec ключевое слово из MutualReferences пространства имен.

Эта функция также доступна для модулей верхнего уровня.

См. также

  • Last updated on