Esporta (0) Stampa
Espandi tutto
Espandi Riduci a icona
Il presente articolo è stato tradotto manualmente. Passare il puntatore sulle frasi nell'articolo per visualizzare il testo originale. Ulteriori informazioni.
Traduzione
Originale

Spazi dei nomi (F#)

Uno spazio dei nomi consente di organizzare il codice in aree di funzionalità correlate, permettendo di associare un nome a un raggruppamento di elementi di programma.

namespace [parent-namespaces.]identifier

Se si desidera inserire codice in uno spazio dei nomi, la prima dichiarazione nel file deve dichiarare lo spazio dei nomi. Il contenuto dell'intero file diventa quindi parte dello spazio dei nomi.

Gli spazi dei nomi non possono contenere direttamente valori e funzioni. I valori e le funzioni devono invece essere inclusi nei moduli e i moduli sono inclusi negli spazi dei nomi. Gli spazi dei nomi possono contenere tipi e moduli.

Gli spazi dei nomi possono essere dichiarati in modo esplicito con la parola chiave namespace o in modo implicito quando si dichiara un modulo. Per dichiarare uno spazio dei nomi in modo esplicito, utilizzare la parola chiave namespace seguita dal nome dello spazio dei nomi. Nell'esempio seguente viene illustrato un file di codice in cui viene dichiarato uno spazio dei nomi Widgets con un tipo e un modulo inclusi in tale spazio dei nomi.


namespace Widgets

type MyWidget1 =
    member this.WidgetName = "Widget1"

module WidgetsModule =
    let widgetName = "Widget2"


Se l'intero contenuto del file è incluso in un modulo, è anche possibile dichiarare gli spazi dei nomi in modo implicito utilizzando la parola chiave module e fornendo il nuovo nome dello spazio dei nomi nel nome di modulo completo. Nell'esempio seguente viene illustrato un file di codice in cui vengono dichiarati uno spazio dei nomi Widgets e un modulo WidgetsModule che contiene una funzione.


module Widgets.WidgetModule

let widgetFunction x y =
   printfn "%A %A" x y


Il codice seguente è equivalente a quello precedente, ma il modulo è costituito da una dichiarazione di modulo locale. In tal caso, lo spazio dei nomi deve trovarsi da solo su una riga.


namespace Widgets

module WidgetModule =

    let widgetFunction x y =
        printfn "%A %A" x y


Se nello stesso file è necessario più di un modulo in uno o più spazi dei nomi, è necessario utilizzare dichiarazioni di modulo locali. Quando si utilizzano dichiarazioni di modulo locali, non è possibile utilizzare lo spazio dei nomi qualificato nelle dichiarazioni di modulo. Nel codice seguente viene illustrato un file in cui sono presenti una dichiarazione di spazio dei nomi e due dichiarazioni di moduli locali. In questo caso, i moduli sono contenuti direttamente nello spazio dei nomi e non vi sono moduli creati in modo implicito con lo stesso nome del file. Qualsiasi altra parte del codice nel file, ad esempio l'associazione do, è nello spazio dei nomi ma non nei moduli interni, pertanto è necessario qualificare il membro di modulo widgetFunction utilizzando il nome del modulo.


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


Di seguito è riportato l'output di questo esempio.

Module1 10 20
Module2 5 6

Per ulteriori informazioni, vedere Moduli (F#).

Quando si crea uno spazio dei nomi annidato, è necessario utilizzare un nome completo. In caso contrario, viene creato un nuovo spazio dei nomi di primo livello. Nelle dichiarazioni di spazio dei nomi il rientro viene ignorato.

Nell'esempio seguente viene illustrato come dichiarare uno spazio dei nomi annidato.


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"


Gli spazi dei nomi possono estendersi in più file in un singolo progetto o compilazione. Il termine frammento di spazio dei nomi descrive la parte di uno spazio dei nomi inclusa in un file. Gli spazi dei nomi possono anche estendersi in più assembly. Lo spazio dei nomi System, ad esempio, include tutto il componente .NET Framework, che si estende in molti assembly e contiene numerosi spazi dei nomi annidati.

Lo spazio dei nomi global predefinito viene utilizzato per inserire nomi nello spazio dei nomi .NET di primo livello.


namespace global

type SomeType() =
    member this.SomeMember = 0


È inoltre possibile utilizzare global per fare riferimento allo spazio dei nomi .NET di primo livello, ad esempio per risolvere conflitti di nomi con altri spazi dei nomi.


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


Aggiunte alla community

AGGIUNGI
Microsoft sta conducendo un sondaggio in linea per comprendere l'opinione degli utenti in merito al sito Web di MSDN. Se si sceglie di partecipare, quando si lascia il sito Web di MSDN verrà visualizzato il sondaggio in linea.

Si desidera partecipare?
Mostra:
© 2014 Microsoft