此模块包含带溢出检查的基本算术运算。
命名空间/模块路径： 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。 这是所有基元数值类型的直接有检查转换。 对于字符串，将使用具有 InvariantCulture 设置的 Parse() 来转换输入。 否则，操作需要对输入类型使用适当的静态转换方法。 |
char : ^T -> char |
将参数转换为 char。 根据字符的 UTF-16 编码并使用有检查转换来转换数字输入。 字符串输入的长度必须恰好为一个字符。 对于其他输入类型，操作需要对输入类型使用适当的静态转换方法。 |
int : ^T -> int |
将参数转换为 int。 这是所有基元数值类型的直接有检查转换。 对于字符串，将使用具有 InvariantCulture 设置的 Parse() 来转换输入。 否则，操作需要对输入类型使用适当的静态转换方法。 |
int16 : ^T -> int16 |
将参数转换为 int16。 这是所有基元数值类型的直接有检查转换。 对于字符串，将使用具有 InvariantCulture 设置的 Parse() 来转换输入。 否则，操作需要对输入类型使用适当的静态转换方法。 |
int32 : ^T -> int32 |
将参数转换为 int32。 这是所有基元数值类型的直接有检查转换。 对于字符串，将使用具有 InvariantCulture 设置的 Parse() 来转换输入。 否则，操作需要对输入类型使用适当的静态转换方法。 |
int64 : ^T -> int64 |
将参数转换为 int64。 这是所有基元数值类型的直接有检查转换。 对于字符串，将使用具有 InvariantCulture 设置的 Parse() 来转换输入。 否则，操作需要对输入类型使用适当的静态转换方法。 |
nativeint : ^T -> nativeint |
将参数转换为 nativeint。 这是所有基元数值类型的直接有检查转换。 否则，操作需要对输入类型使用适当的静态转换方法。 |
sbyte : ^T -> sbyte |
将参数转换为 sbyte。 这是所有基元数值类型的直接有检查转换。 对于字符串，将使用具有 InvariantCulture 设置的 Parse() 来转换输入。 否则，操作需要对输入类型使用适当的静态转换方法。 |
uint16 : ^T -> uint16 |
将参数转换为 uint16。 这是所有基元数值类型的直接有检查转换。 对于字符串，将使用具有 InvariantCulture 设置的 Parse() 来转换输入。 否则，操作需要对输入类型使用适当的静态转换方法。 |
uint32 : ^T -> uint32 |
将参数转换为 uint32。 这是所有基元数值类型的直接有检查转换。 对于字符串，将使用具有 InvariantCulture 设置的 Parse() 来转换输入。 否则，操作需要对输入类型使用适当的静态转换方法。 |
uint64 : ^T -> uint64 |
将参数转换为 uint64。 这是所有基元数值类型的直接有检查转换。 对于字符串，将使用具有 InvariantCulture 设置的 Parse() 来转换输入。 否则，操作需要对输入类型使用适当的静态转换方法。 |
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