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. Altrimenti, 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. Altrimenti, l'operazione richiede l'applicazione di un metodo di conversione statico appropriato per il tipo di input. |
Piattaforme
Windows 8, Windows 7, Windows Server 2012, Windows Server 2008 R2
Informazioni sulla versione
Versioni della libreria di base di F#
Supportato in: 2.0, 4.0, portabile