Модуль 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. Входные строки должны содержать ровно по одному символу. При обработке входных данных других типов для выполнения операции требуется соответствующий статический метод преобразования типа входных данных. |
Целочисленное значение. : ^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, портативное