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 8 中， Windows 7， Windows Server 2012 上， Windows Server 2008 R2
版本資訊
F# 核心程式庫版本
支援版本:2.0， 4.0，可攜式執行檔 (PE)。