Modulo Operators.Checked (F#)
Questo modulo contiene le operazioni aritmetiche di base con controlli di overflow.
Percorso spazio dei nomi/modulo: Microsoft.FSharp.Core.Operators
Assembly: FSharp.Core (in FSharp.Core.dll)
module Checked
Valori
Valore |
Descrizione |
|---|---|
( * ) : ^T1 -> ^T2 -> ^T3 |
Operatore di moltiplicazione di overload (controllo dell'overflow). |
( + ) : ^T1 -> 'T2 -> 'T3 |
Operatore di addizione di overload (controllo di overflow). |
( - ) : ^T1 -> ^T2 -> ^T3 |
Operatore di sottrazione di overload (controllo dell'overflow). |
( ~- ) : ^T -> ^T |
Negazione unaria di overload (controllo dell'overflow). |
byte : ^T -> byte |
Consente di convertire l'argomento in byte. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. Per le stringhe, l'input viene convertito mediante Parse() con impostazioni InvariantCulture. Altrimenti, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
char : ^T -> char |
Consente di convertire l'argomento in char. Gli input numerici vengono convertiti mediante una conversione controllata in base alla codifica UTF-16 per i caratteri. Le stringhe di input devono avere una lunghezza esatta di un carattere. Per altri tipi di input, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
int : ^T -> int |
Consente di convertire l'argomento in int. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. Per le stringhe, l'input viene convertito mediante Parse() con impostazioni InvariantCulture. Altrimenti, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
int16 : ^T -> int16 |
Consente di convertire l'argomento in int16. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. Per le stringhe, l'input viene convertito mediante Parse() con impostazioni InvariantCulture. Altrimenti, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
int32 : ^T -> int32 |
Consente di convertire l'argomento in int32. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. Per le stringhe, l'input viene convertito mediante Parse() con impostazioni InvariantCulture. Altrimenti, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
int64 : ^T -> int64 |
Consente di convertire l'argomento in int64. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. Per le stringhe, l'input viene convertito mediante Parse() con impostazioni InvariantCulture. Altrimenti, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
nativeint : ^T -> nativeint |
Consente di convertire l'argomento in nativeint. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. In caso contrario, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
sbyte : ^T -> sbyte |
Consente di convertire l'argomento in sbyte. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. Per le stringhe, l'input viene convertito mediante Parse() con impostazioni InvariantCulture. Altrimenti, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
uint16 : ^T -> uint16 |
Consente di convertire l'argomento in uint16. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. Per le stringhe, l'input viene convertito mediante Parse() con impostazioni InvariantCulture. Altrimenti, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
uint32 : ^T -> uint32 |
Consente di convertire l'argomento in uint32. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. Per le stringhe, l'input viene convertito mediante Parse() con impostazioni InvariantCulture. Altrimenti, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
uint64 : ^T -> uint64 |
Consente di convertire l'argomento in uint64. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. Per le stringhe, l'input viene convertito mediante Parse() con impostazioni InvariantCulture. Altrimenti, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
unativeint : ^T -> unvativeint |
Consente di convertire l'argomento in unativeint. Si tratta di una conversione diretta controllata per tutti i tipi numerici primitivi. In caso contrario, l'operazione richiede un metodo di conversione statico adatto sul tipo di input. |
Piattaforme
Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2
Informazioni sulla versione
F# Runtime
Supportato in: 2.0, 4.0
Silverlight
Supportato in: 3