Модуль 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 2008 Server R2
Сведения о версии
Основной версии библиотеки F#
Поддерживается в: 2.0, 4.0, портативное