Share via

Operatori aritmetici

  • Articolo

In questo argomento vengono descritti gli operatori aritmetici disponibili in F#.

Riepilogo degli operatori aritmetici binari

La tabella seguente riepiloga gli operatori aritmetici binari disponibili per i tipi integrali unboxed e a virgola mobile.

Operatore binario Note
+ (aggiunta, più) Deselezionato. Possibile condizione di overflow quando i numeri vengono aggiunti insieme e la somma supera il valore assoluto massimo supportato dal tipo.
- (sottrazione, meno) Deselezionato. Condizione di underflow possibile quando i tipi senza segno vengono sottratti o quando i valori a virgola mobile sono troppo piccoli per essere rappresentati dal tipo.
* (moltiplicazione, tempi) Deselezionato. Possibile condizione di overflow quando i numeri vengono moltiplicati e il prodotto supera il valore assoluto massimo supportato dal tipo.
/ (divisione, diviso per) La divisione per zero causa un oggetto DivideByZeroException per i tipi integrali. Per i tipi a virgola mobile, la divisione per zero fornisce i valori +Infinity speciali a virgola mobile o -Infinity. Esiste anche una possibile condizione di underflow quando un numero a virgola mobile è troppo piccolo per essere rappresentato dal tipo.
% (resto, rem) Restituisce il resto di un'operazione di divisione. Il segno del risultato è uguale al segno del primo operando.
** (exponentiation, alla potenza di) Possibile condizione di overflow quando il risultato supera il valore assoluto massimo per il tipo.

L'operatore exponentiation funziona solo con tipi a virgola mobile.

Riepilogo degli operatori aritmetici unari

La tabella seguente riepiloga gli operatori aritmetici unari disponibili per i tipi integrali e a virgola mobile.

Operatore unario Note
+ (positivo) Può essere applicato a qualsiasi espressione aritmetica. Non modifica il segno del valore.
- (negazione, negativo) Può essere applicato a qualsiasi espressione aritmetica. Modifica il segno del valore.

Il comportamento in corrispondenza dell'overflow o dell'underflow per i tipi integrali consiste nell'eseguire il wrapping. Ciò causa un risultato non corretto. L'overflow integer è un problema potenzialmente grave che può contribuire ai problemi di sicurezza quando il software non viene scritto per tener conto di esso. Se si tratta di un problema per l'applicazione, è consigliabile usare gli operatori controllati in Microsoft.FSharp.Core.Operators.Checked.

Riepilogo degli operatori di confronto binario

La tabella seguente illustra gli operatori di confronto binari disponibili per i tipi integrali e a virgola mobile. Questi operatori restituiscono valori di tipo bool.

I numeri a virgola mobile non devono mai essere confrontati direttamente per verificarne l'uguaglianza, perché la rappresentazione a virgola mobile I edizione Enterprise E non supporta un'operazione di uguaglianza esatta. Due numeri che è possibile verificare facilmente per essere uguali controllando il codice potrebbero effettivamente avere rappresentazioni di bit diverse.

Operatore Note
= (uguaglianza, uguale a) Non si tratta di un operatore di assegnazione. Viene usato solo per il confronto. Si tratta di un operatore generico.
> (maggiore di) Si tratta di un operatore generico.
< (minore di) Si tratta di un operatore generico.
>= (maggiore o uguale a) Si tratta di un operatore generico.
<= (minore o uguale a) Si tratta di un operatore generico.
<> (diverso da) Si tratta di un operatore generico.

Operatori di overload e generici

Tutti gli operatori descritti in questo argomento sono definiti nello spazio dei nomi Microsoft.FSharp.Core.Operators . Alcuni operatori vengono definiti usando parametri di tipo risolti in modo statico. Ciò significa che sono presenti singole definizioni per ogni tipo specifico che funziona con tale operatore. Tutti gli operatori aritmetici unari e binari e bit per bit si trovano in questa categoria. Gli operatori di confronto sono generici e pertanto funzionano con qualsiasi tipo, non solo con tipi aritmetici primitivi. I tipi di unione e record discriminati hanno implementazioni personalizzate generate dal compilatore F#. I tipi di classe usano il metodo Equals.

Gli operatori generici sono personalizzabili. Per personalizzare le funzioni di confronto, eseguire l'override Equals per fornire un confronto di uguaglianza personalizzato e quindi implementare IComparable. L'interfaccia System.IComparable ha un singolo metodo, ovvero il CompareTo metodo .

Operatori e inferenza dei tipi

L'uso di un operatore in un'espressione vincola l'inferenza del tipo su tale operatore. Inoltre, l'uso degli operatori impedisce la generalizzazione automatica, perché l'uso degli operatori implica un tipo aritmetico. In assenza di altre informazioni, il compilatore F# deduce int come tipo di espressioni aritmetiche. È possibile eseguire l'override di questo comportamento specificando un altro tipo. Di conseguenza, i tipi di argomento e il tipo restituito di function1 nel codice seguente vengono dedotti come int, ma i tipi per function2 vengono dedotti come float.

// x, y and return value inferred to be int
// function1: int -> int -> int
let function1 x y = x + y

// x, y and return value inferred to be float
// function2: float -> float -> float
let function2 (x: float) y = x + y

Vedi anche