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 8，Windows 7，Windows server 2012中，Windows server 2008 R2

版本信息

F#核心库版本

支持:2.0，4.0，可移植

请参见

参考

Core.Operators 模块 (F#)