Operators.Checked 模組 (F#)
這個模組包含具有溢位檢查的基本算術運算
命名空間/模組路徑： Microsoft.FSharp.Core.Operators
組件：FSharp.Core (在 FSharp.Core.dll 中)
module Checked
值
值 |
說明 |
|---|---|
( * ) : ^T1 -> ^T2 -> ^T3 |
多載的乘法運算子 (溢位檢查)。 |
( + ) : ^T1 -> 'T2 -> 'T3 |
多載的加法運算子 (溢位檢查)。 |
( - ) : ^T1 -> ^T2 -> ^T3 |
多載的減法運算子 (溢位檢查)。 |
( ~- ) : ^T -> ^T |
多載的一元否定 (溢位檢查)。 |
byte : ^T -> byte |
將引數轉換成 byte。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 對於字串，輸入被轉換使用 Parse()與 InvariantCulture設定。 否則，作業需要在輸入型別上使用適當的靜態轉換方法 |
char : ^T -> char |
將引數轉換成 char。 使用檢查過的轉換，依據字元的 UTF-16 編碼來轉換數值輸入。 字串輸入的長度必須剛好是一個字元。 針對其他輸入類型，作業需要在輸入型別上使用適當的靜態轉換方法。 |
int : ^T -> int |
將引數轉換成 int。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 對於字串，輸入被轉換使用 Parse()與 InvariantCulture設定。 否則，作業需要在輸入型別上使用適當的靜態轉換方法 |
int16 : ^T -> int16 |
將引數轉換成 int16。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 對於字串，輸入被轉換使用 Parse()與 InvariantCulture設定。 否則，作業需要在輸入型別上使用適當的靜態轉換方法 |
int32 : ^T -> int32 |
將引數轉換成 int32。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 對於字串，輸入被轉換使用 Parse()與 InvariantCulture設定。 否則，作業需要在輸入型別上使用適當的靜態轉換方法 |
int64 : ^T -> int64 |
將引數轉換成 int64。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 對於字串，輸入被轉換使用 Parse()與 InvariantCulture設定。 否則，作業需要在輸入型別上使用適當的靜態轉換方法 |
nativeint : ^T -> nativeint |
將引數轉換成 nativeint。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 否則，作業需要在輸入型別上使用適當的靜態轉換方法。 |
sbyte : ^T -> sbyte |
將引數轉換成 sbyte。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 對於字串，輸入被轉換使用 Parse()與 InvariantCulture設定。 否則，作業需要在輸入型別上使用適當的靜態轉換方法 |
uint16 : ^T -> uint16 |
將引數轉換成 uint16。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 對於字串，輸入被轉換使用 Parse()與 InvariantCulture設定。 否則，作業需要在輸入型別上使用適當的靜態轉換方法 |
uint32 : ^T -> uint32 |
將引數轉換成 uint32。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 對於字串，輸入被轉換使用 Parse()與 InvariantCulture設定。 否則，作業需要在輸入型別上使用適當的靜態轉換方法 |
uint64 : ^T -> uint64 |
將引數轉換成 uint64。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 對於字串，輸入被轉換使用 Parse()與 InvariantCulture設定。 否則，作業需要在輸入型別上使用適當的靜態轉換方法 |
unativeint : ^T -> unvativeint |
將引數轉換成 unativeint。 這是針對所有基本數字類資料型別之直接、已檢查的轉換。 否則，作業需要在輸入型別上使用適當的靜態轉換方法。 |
平台
Windows 7、Windows Vista SP2、Windows XP SP3、Windows XP x64 SP2、Windows Server 2008 R2、Windows Server 2008 SP2、Windows Server 2003 SP2
版本資訊
F# 執行階段
支援版本：2.0、4.0
Silverlight
支援版本：3