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。 这是所有基元数值类型的直接有检查转换。 对于字符串，将使用具有 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

请参见

参考

Core.Operators 模块 (F#)