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 F#
Supportato in: 2,0, 4,0, portabile