Questa pagina è stata utile?
I suggerimenti relativi al contenuto di questa pagina sono importanti. Comunicaceli.
Altri suggerimenti?
1500 caratteri rimanenti
Parametri di tipo risolti staticamente (F#)
Collapse the table of content
Expand the table of content
Il presente articolo è stato tradotto manualmente. Passare il puntatore sulle frasi nell'articolo per visualizzare il testo originale. Ulteriori informazioni.
Traduzione
Originale

Parametri di tipo risolti staticamente (F#)

Un parametro di tipo risolto in modo statico è un parametro di tipo sostituito da un tipo effettivo in fase di compilazione anziché al runtime. Viene preceduto da un simbolo punto di inserimento (^).

ˆtype-parameter

Nel linguaggio F# esistono due tipi distinti di parametri di tipo. Il primo tipo è il parametro standard di tipo generico, indicato con un apostrofo ('), come in 'T e 'U. Questo tipo equivale al parametro di tipo generico in altri linguaggi di .NET Framework. L'altro tipo viene risolto in modo statico ed indicato con un simbolo punto di inserimento, come in ^T e ^U.

I parametri di tipo risolti in modo statico risultano principalmente utili insieme ai vincoli di membro, che consentono di specificare che un argomento di tipo debba disporre di uno o più membri particolari per poter essere utilizzato. Non è possibile in alcun modo creare questo tipo di vincolo tramite un parametro standard di tipo generico.

Nella tabella seguente vengono riepilogate le analogie e le differenze tra i due tipi di parametri di tipo.

Funzionalità

Generico

Risolto in modo statico

Sintassi

'T, 'U

^T, ^U

Tempo di risoluzione

Fase di esecuzione

Fase di compilazione

Vincoli di membro

Non utilizzabile con vincoli di membro.

Utilizzabile con vincoli di membro.

Generazione del codice

Un tipo (o metodo) con parametri standard di tipo generico comporta la creazione di un solo tipo o metodo generico.

Vengono generate più istanze di tipi e metodi, una per ogni tipo necessario.

Utilizzo con i tipi

Utilizzabile con i tipi.

Non utilizzabile con i tipi.

Utilizzo con le funzioni inline

No. Non è parametrizzare una funzione inline con un parametro standard di tipo generico.

Sì. Non è possibile utilizzare parametri di tipo risolti in modo statico con funzioni o metodi non inline.

Molte funzioni della libreria di base di F#, soprattutto gli operatori, dispongono di parametri di tipo risolti in modo statico. Tali funzioni e operatori sono inline e comportano la generazione di codice efficiente per calcoli numerici.

Anche i metodi e le funzioni inline che utilizzano operatori o funzioni con parametri di tipo risolti in modo statico possono utilizzare parametri di tipo risolti in modo statico. L'inferenza del tipo deduce spesso che tali funzioni inline dispongano di parametri di tipo risolti in modo statico. Nell'esempio seguente viene illustrata una definizione dell'operatore che si deduce disponga di un parametro di tipo risolto in modo statico.


let inline (+@) x y = x + x * y
// Call that uses int.
printfn "%d" (1 +@ 1)
// Call that uses float.
printfn "%f" (1.0 +@ 0.5)


Il tipo risolto di (+@) è basato sull'utilizzo di (+) e (*). Entrambi fanno in modo che l'inferenza del tipo deduca i vincoli di membro nei parametri di tipo risolti in modo statico. Il tipo risolto, come mostrato nell'interprete F#, risulta nel modo indicato di seguito.

^a -> ^c -> ^d
when (^a or ^b) : (static member (+) : ^a * ^b -> ^d) and
     (^a or ^c) : (static member (+) : ^a * ^c -> ^b)

L'output è indicato di seguito.

2
1.500000
Mostra:
© 2015 Microsoft