Espressioni di oggetto (F#)

Un'espressione di oggetto è un'espressione che consente di creare una nuova istanza di un tipo di oggetto anonimo creato dinamicamente basato su un'interfaccia, un set di interfacce o un tipo di base esistente.

// When typename is a class:
{ new typename [type-params] arguments with
   member-definitions
  [ additional-interface-definitions ]
}
// When typename is not a class:
{ new typename [generic-type-args] with
   member-definitions
  [ additional-interface-definitions ]
}

Note

Nella sintassi precedente typename rappresenta un tipo di interfaccia o di classe esistente. type-params descrive i parametri di tipo generico facoltativi. Gli elementi arguments vengono utilizzati solo per i tipi di classi che richiedono parametri dei costruttori. Gli elementi member-definitions sono override di metodi della classe di base o implementazioni di metodi astratti di un'interfaccia o una classe di base.

Nell'esempio seguente vengono illustrati diversi tipi di espressioni di oggetto.

// This object expression specifies a System.Object but overrides the
// ToString method.
let obj1 = { new System.Object() with member x.ToString() = "F#" }
printfn "%A" obj1 

// This object expression implements the IFormattable interface.
let Delimiter(delim1 : string, delim2 : string ) = { new System.IFormattable with
                member x.ToString(format : string, provider : System.IFormatProvider) =
                  if format = "D" then delim1 + x.ToString() + delim2
                  else x.ToString()
           }

let obj2 = Delimiter("{","}");

printfn "%A" (System.String.Format("{0:D}", obj2))

// This object expression implements multiple interfaces.
type IFirst =
  abstract F : unit -> unit
  abstract G : unit -> unit

type ISecond =
  inherit IFirst
  abstract H : unit -> unit
  abstract J : unit -> unit

// This object expression implements an interface chain.
let Implementer() = { new ISecond with
                         member this.H() = ()
                         member this.J() = ()
                       interface IFirst with
                         member this.F() = ()
                         member this.G() = ()
                    }

Utilizzo di espressioni di oggetto

È possibile utilizzare le espressioni di oggetto quando si desidera evitare il codice aggiuntivo e il sovraccarico necessari per la creazione di un nuovo tipo denominato. Se si utilizzano espressioni di oggetto per ridurre il numero di tipi creati in un programma, è possibile ridurre il numero di righe di codice e impedire la proliferazione non necessaria di tipi. Anziché creare numerosi tipi solo per gestire situazioni specifiche, è possibile utilizzare un'espressione di oggetto per personalizzare un tipo esistente o fornire un'implementazione appropriata di un'interfaccia per il case specifico.

Vedere anche

Altre risorse

Riferimenti per il linguaggio F#