Informazioni di riferimento su simboli e operatori

Questo articolo include tabelle che descrivono i simboli e gli operatori usati in F# e fornisce una breve descrizione di ognuno. Alcuni simboli e operatori hanno due o più voci quando vengono usati in più ruoli.

Commenti, direttive del compilatore e simboli di attributo

Nella tabella seguente vengono descritti i simboli correlati a commenti, direttive del compilatore e attributi.

Simbolo o operatore	Collegamenti	Descrizione
(*...*)		Delimita un commento che potrebbe estendersi su più righe.
//		Indica l'inizio di un commento a riga singola.
///	Documentazione XML	Indica un commento XML.
#	Direttive per il compilatore	Prefissi di una direttiva del preprocessore o del compilatore.
[<...>]	Attributes (Attributi)	Delimita un attributo.

Simboli di stringa e identificatore

Nella tabella seguente vengono descritti i simboli correlati alle stringhe.

Simbolo o operatore	Collegamenti	Descrizione
"	Stringhe	Delimita una stringa di testo.
@"	Stringhe	Avvia una stringa di testo verbatim, che può includere barre rovesciate e altri caratteri.
"""	Stringhe	Delimita una stringa di testo tra virgolette, che può includere barre rovesciate, virgolette doppie e altri caratteri.
$"	Stringhe interpolate	Avvia una stringa interpolata.
'	Valori letterali	Delimita un valore letterale a carattere singolo.
``...``		Delimita un identificatore che altrimenti non sarebbe un identificatore valido, ad esempio una parola chiave del linguaggio.
\	Stringhe	Effettua l'escape del carattere successivo. Usato nei valori letterali di stringa e carattere.

Operatori aritmetici

Nella tabella seguente vengono descritti gli operatori aritmetici.

Simbolo o operatore	Collegamenti	Descrizione
+	Operatori aritmetici	Quando usato come operatore binario, aggiunge i lati sinistro e destro. Quando usato come operatore unario, indica una quantità positiva (formalmente, produce lo stesso valore con segno non modificato.)
-	Operatori aritmetici	Quando usato come operatore binario, sottrae il lato destro dal lato sinistro. Quando usato come operatore unario, esegue un'operazione di negazione.
*	Operatori aritmetici Tuple Unità di misura	Quando viene usato come operatore binario, moltiplica i lati sinistro e destro. Nei tipi, indica l'associazione in una tupla. Usato in unità di tipi di misura.
/	Operatori aritmetici Unità di misura	Divide il lato sinistro (numeratore) per il lato destro (denominatore). Usato in unità di tipi di misura.
%	Operatori aritmetici	Calcola il resto intero.
**	Operatori aritmetici	Calcola l'operazione di elevamento a potenza (x ** y indica x alla potenza di y).

Operatori di confronto

Nella tabella seguente vengono descritti gli operatori di confronto.

Simbolo o operatore	Collegamenti	Descrizione
<	Operatori aritmetici	Calcola l'operazione "minore di".
<>	Operatori aritmetici	Restituisce true se il lato sinistro non è uguale a quello destro; in caso contrario, restituisce false.
<=	Operatori aritmetici	Restituisce true se il lato sinistro è minore o uguale al lato destro; altrimenti restituisce false.
=	Operatori aritmetici	Restituisce true se il lato sinistro è uguale al lato destro; in caso contrario, restituisce false.
>	Operatori aritmetici	Restituisce true se il lato sinistro è maggiore del lato destro; in caso contrario, restituisce false.
>=	Operatori aritmetici	Restituisce true se il lato sinistro è maggiore o uguale al lato destro; in caso contrario, restituisce false.

Operatori booleani

Nella tabella seguente vengono descritti i simboli degli operatori aritmetici e booleani.

Simbolo o operatore	Collegamenti	Descrizione
&&	Operatori booleani	Calcola l'operazione AND booleana.
||	Operatori booleani	Calcola l'operazione OR booleana.

Operatori bit per bit

Nella tabella seguente vengono descritti gli operatori bit per bit.

Simbolo o operatore	Collegamenti	Descrizione
&&&	Operatori bit per bit	Calcola l'operazione AND bit per bit.
<<<	Operatori bit per bit	Sposta a sinistra i bit nella quantità sul lato sinistro indicata dal numero di bit specificato sul lato destro.
>>>	Operatori bit per bit	Sposta a destra i bit nella quantità sul lato sinistro indicata dal numero di posizioni specificato sul lato destro.
^^^	Operatori bit per bit	Calcola l'operazione di OR esclusivo bit per bit.
|||	Operatori bit per bit	Calcola l'operazione OR bit per bit.
~~~	Operatori bit per bit	Calcola l'operazione NOT bit per bit.

Simboli e operatori di funzione

Nella tabella seguente vengono descritti gli operatori e i simboli correlati alle funzioni.

Simbolo o operatore	Collegamenti	Descrizione
->	Funzioni	Nelle espressioni di funzione, separa il criterio di input dall'espressione di output.
|>	Funzioni	Passa il risultato del lato sinistro alla funzione sul lato destro (operatore pipe diretto).
||>	( || Funzione )<'T1,'T2,'U>	Passa la tupla di due argomenti sul lato sinistro alla funzione sul lato destro.
|||>	( ||| Funzione )<'T1,'T2,'T3,'U>	Passa la tupla di tre argomenti sul lato sinistro alla funzione sul lato destro.
>>	Funzioni	Compone due funzioni (operatore di composizione diretto).
<<	Funzioni	Compone due funzioni in ordine inverso. La seconda viene eseguita per prima (operatore di composizione inverso).
<|	Funzioni	Passa il risultato dell'espressione sul lato destro alla funzione sul lato sinistro (operatore pipe inverso).
<||	( || )<' Funzione T1,'T2,'U>	Passa la tupla di due argomenti sul lato destro alla funzione sul lato sinistro.
<|||	( ||| )<' Funzione T1,'T2,'T3,'U>	Passa la tupla di tre argomenti sul lato destro alla funzione sul lato sinistro.

Simboli e operatori di tipo

Nella tabella seguente vengono descritti i simboli correlati alle annotazioni dei tipi e ai test dei tipi.

Simbolo o operatore	Collegamenti	Descrizione
->	Funzioni	Nei tipi di funzione, delimita gli argomenti e i valori restituiti, restituisce anche un risultato nelle espressioni di sequenza.
:	Funzioni	In un'annotazione di tipo, separa un nome di parametro o membro dal relativo tipo.
:>	Cast e conversioni	Converte un tipo in un tipo di livello superiore nella gerarchia.
:?	Espressioni match	Restituisce true se il valore corrisponde al tipo specificato (incluso se è un sottotipo); in caso contrario, restituisce false (operatore di test del tipo).
:?>	Cast e conversioni	Converte un tipo in un tipo di livello inferiore nella gerarchia.
#	Tipi flessibili	Se usato con un tipo, indica un tipo flessibile, che fa riferimento a un tipo o a uno dei relativi tipi derivati.
'	Generalizzazione automatica	Indica un parametro di tipo generico.
<...>	Generalizzazione automatica	Delimita i parametri di tipo.
^	Parametri di tipo risolti staticamente Stringhe	Specifica i parametri di tipo che devono essere risolti in fase di compilazione, non in fase di esecuzione. Concatena le stringhe.
{}	Classe o record	Se usato con la parola type chiave , delimita una classe o un record. Il tipo è una classe quando i membri vengono dichiarati o viene usata class la parola chiave . In caso contrario, si tratta di un record.
{||}	Record anonimo	Indica un record anonimo

Simboli usati nelle espressioni di ricerca ed sezione dei membri

Nella tabella seguente vengono descritti i simboli aggiuntivi usati nelle espressioni di ricerca dei membri e di sezione.

Simbolo o operatore	Collegamenti	Descrizione
.	Members	Accede a un membro e separa i singoli nomi in un nome completo.
[...] o .[...]	Matrici Proprietà indicizzate Espressioni di sezione	Indicizza una matrice, una stringa o una raccolta o accetta una sezione di una raccolta.

Simboli usati in tupla, elenco, matrice, espressioni di unità e modelli

La tabella seguente descrive i simboli correlati a tuple, elenchi, valori di unità e matrici.

Simbolo o operatore	Collegamenti	Descrizione
( )	Tipo di unità	Rappresenta il singolo valore del tipo di unità.
,	Tuple	Separa gli elementi di una tupla o parametri di tipo.
::	Elenchi Espressioni match	Crea un elenco. L'elemento sul lato sinistro viene aggiunto all'elenco sul lato destro. Usato nella corrispondenza tra modelli per separare le parti di un elenco.
@	Elenchi	Concatena due elenchi.
[...]	Elenchi	Delimita gli elementi di un elenco.
[|...|]	Matrici	Delimita gli elementi di una matrice.

Simboli usati nelle espressioni imperative

Nella tabella seguente vengono descritti i simboli aggiuntivi usati nelle espressioni.

Simbolo o operatore	Collegamenti	Descrizione
<-	Valori	Assegna un valore a una variabile.
;	Sintassi dettagliata	Separa le espressioni (usate soprattutto nella sintassi dettagliata). Separa anche gli elementi di un elenco o di campi di un record.

Simboli aggiuntivi usati nelle sequenze e nelle espressioni di calcolo

La tabella seguente descrive i simboli aggiuntivi usati nelle sequenze e nelle espressioni di calcolo.

Simbolo o operatore	Collegamenti	Descrizione
->	Sequenze	Restituisce un'espressione (nelle espressioni di sequenza); equivale alle parole do yield chiave .
!	Espressioni di calcolo	Dopo una parola chiave, indica una versione modificata del comportamento della parola chiave come controllata da un'espressione di calcolo.

Simboli aggiuntivi usati nei modelli di corrispondenza

La tabella seguente descrive i simboli correlati ai criteri di ricerca.

Simbolo o operatore	Collegamenti	Descrizione
->	Espressioni match	Usato nelle espressioni di corrispondenza.
&	Espressioni match	Calcola l'indirizzo di un valore modificabile, da usare quando si interagisce con altri linguaggi. Usato nei modelli AND.
_	Espressioni match Generics	Indica un modello di carattere jolly. Specifica un parametro generico anonimo.
|	Espressioni match	Delimita singoli case di corrispondenza, singoli case di unione discriminata e valori di enumerazione.

Simboli aggiuntivi usati nelle dichiarazioni

Nella tabella seguente vengono descritti i simboli correlati alle dichiarazioni.

Simbolo o operatore	Collegamenti	Descrizione
(|...|)	Criteri attivi	Delimita un nome di modello attivo. Chiamato anche banana clip.
?	Parametri e argomenti	Specifica un argomento facoltativo.
~~	Overload degli operatori	Usato per dichiarare un overload per l'operatore di negazione unario.
~-	Overload degli operatori	Usato per dichiarare un overload per l'operatore meno unario.
~+	Overload degli operatori	Usato per dichiarare un overload per l'operatore più unario.

Simboli aggiuntivi usati nelle virgolette

Nella tabella seguente vengono descritti i simboli correlati alle virgolette di codice.

Simbolo o operatore	Collegamenti	Descrizione
<@...@>	Citazioni di codice	Delimita una citazione di codice tipizzato.
<@@...@@>	Citazioni di codice	Delimita una citazione di codice non tipizzato.
%	Citazioni di codice	Usato per lo splicing delle espressioni in citazioni di codice tipizzato.
%%	Citazioni di codice	Usato per lo splicing delle espressioni in citazioni di codice non tipizzato.

Operatori di ricerca dinamica

Nella tabella seguente vengono descritti i simboli aggiuntivi usati nelle espressioni di ricerca dinamica. Non vengono in genere usati nella programmazione F# di routine e non vengono fornite implementazioni di questi operatori nella libreria di base F#.

Simbolo o operatore	Collegamenti	Descrizione
?		Usato come operatore per le chiamate di metodo e proprietà dinamiche.
? ... <- ...		Usato come operatore per l'impostazione delle proprietà dinamiche.

Operatori nullable nelle query

Gli operatori nullable vengono definiti per l'uso nelle espressioni di query. Nella tabella seguente vengono illustrati questi operatori.

Simbolo o operatore	Collegamenti	Descrizione
%?	Operatori nullable	Calcola il resto intero, quando il lato destro è un tipo nullable.
*?	Operatori nullable	Moltiplica il lato sinistro e destro, quando il lato destro è un tipo nullable.
+?	Operatori nullable	Addiziona il lato sinistro e destro, quando il lato destro è un tipo nullable.
-?	Operatori nullable	Sottrae il lato destro dal lato sinistro, quando la parte destra è un tipo nullable.
/?	Operatori nullable	Divide il lato sinistro dal lato destro, quando il lato destro è un tipo nullable.
<?	Operatori nullable	Calcola l'operazione "minore di", quando la parte destra è un tipo nullable.
<>?	Operatori nullable	Calcola l'operazione "diverso da" quando la parte destra è un tipo nullable.
<=?	Operatori nullable	Calcola l'operazione "minore o uguale a" quando la parte destra è un tipo nullable.
=?	Operatori nullable	Calcola l'operazione "uguale a" quando la parte destra è un tipo nullable.
>?	Operatori nullable	Calcola l'operazione "maggiore di" quando il lato destro è un tipo nullable.
>=?	Operatori nullable	Calcola l'operazione "maggiore o uguale a" quando la parte destra è un tipo nullable.
?>=, ?>, ?<=, ?<, ?=, ?<>, ?+, ?-, ?*, ?/	Operatori nullable	Equivalente per i corrispondenti operatori senza il prefisso ?, per cui un tipo nullable è a sinistra.
>=?, >?, <=?, <?, =?, <>?, +?, -?, *?, /?	Operatori nullable	Equivalente per i corrispondenti operatori senza il suffisso ?, per cui un tipo nullable è a destra.
?>=?, ?>?, ?<=?, ?<?, ?=?, ?<>?, ?+?, ?-?, ?*?, ?/?	Operatori nullable	Equivalente per i corrispondenti operatori non racchiusi da punti interrogativi, dove entrambi i lati sono tipi nullable.

Operatori di cella di riferimento (deprecati)

Nella tabella seguente vengono descritti i simboli correlati alle celle di riferimento. L'uso di questi operatori genera messaggi di avviso a livello di F# 6. Per altre informazioni, vedere Messaggi di consulenza sulle operazioni sulle celle di riferimento.

Simbolo o operatore	Collegamenti	Descrizione
!	Celle di riferimento	Dereferenzia una cella di riferimento.
:=	Celle di riferimento	Assegna un valore a una cella di riferimento.

Precedenza tra gli operatori

La tabella seguente illustra l'ordine di precedenza degli operatori e di altre parole chiave di espressione in F#, in ordine dalla precedenza più bassa alla precedenza più alta. È anche elencata l'associatività, se applicabile.

Operatore	Associatività
as	Destra
when	Destra
| (pipe)	Sinistra
;	Destra
let	Non associativo
function, fun, match, try	Non associativo
if	Non associativo
not	Destra
->	Destra
:=	Destra
,	Non associativo
or, ||	Sinistra
&, &&	Sinistra
:>, :?>	Destra
<<, >>, =, |=, &|, &, $ (inclusi <<<, >>>, |||, &&&)	Sinistra
^^ (incluso ^^^)	Destra
::	Destra
:?	Non associativa
--, ++	Si applica agli usi infissi di questi simboli
**, //, %%	Sinistra
****	Destra
f x (applicazione di funzione) (incluso lazy x, assert x)	Sinistra
| (corrispondenza con il modello)	Destra
operatori di prefisso (++, --, %, %%, &, &&, !%, ~%%)	Sinistra
.	Sinistra
f(x)	Sinistra
f<f<>	Sinistra

F# supporta l'overload degli operatori personalizzati. Ciò significa che è possibile definire operatori personalizzati. Nella tabella precedente, op può essere qualsiasi sequenza valida (possibilmente vuota) di caratteri dell'operatore, predefinita o definita dall'utente. In questo modo, è possibile usare questa tabella per determinare la sequenza di caratteri da usare in modo che un operatore personalizzato raggiunga il livello di priorità desiderato. I caratteri . iniziali vengono ignorati quando il compilatore determina la precedenza.

Vedi anche

• Riferimenti al linguaggio F#
• Overload degli operatori