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，可移植