Модуль Nativeint

module Nativeint: sig .. end

Целые числа, родные для процессора.

Этот модуль предоставляет операции над типом nativeint знаковыми 32-битными целыми числами (на 32-битных платформах) или знаковыми 64-битными целыми числами (на 64-битных платформах). Этот тип целых чисел имеет ровно такой же размер, как и тип указателя в компиляторе C. Все арифметические операции над nativeint выполняются по модулю 2³² или 2⁶⁴ в зависимости от размера слова архитектуры.

Примечание по производительности: значения типа nativeint занимают больше места в памяти, чем значения типа int, а арифметические операции над nativeint обычно медленнее, чем над int. Используйте nativeint только в том случае, если приложение требует дополнительной точности по сравнению с типом int.

Литералы для целых чисел типа native suffixed by n:

     let zero: nativeint = 0n
     let one: nativeint = 1n
     let m_one: nativeint = -1n

val zero : nativeint

Целое число native 0.

val one : nativeint

Целое число native 1.

val minus_one : nativeint

Целое число native -1.

val neg : nativeint -> nativeint

Унарное отрицание.

val add : nativeint -> nativeint -> nativeint

Сложение.

val sub : nativeint -> nativeint -> nativeint

Вычитание.

val mul : nativeint -> nativeint -> nativeint

Умножение.

val div : nativeint -> nativeint -> nativeint

Целочисленное деление. Это деление округляет действительное частное своих аргументов к нулю, как указано для (/).

Возбуждает Division_by_zero если второй аргумент равен нулю.

val unsigned_div : nativeint -> nativeint -> nativeint

То же, что и Nativeint.div, за исключением того, что аргументы и результат интерпретируются как беззнаковые целые числа native.

С момента 4.08.0

val rem : nativeint -> nativeint -> nativeint

Целочисленный остаток. Если y не равен нулю, результат Nativeint.rem x y удовлетворяет следующим свойствам: Nativeint.zero <= Nativeint.rem x y < Nativeint.abs y и x = Nativeint.add (Nativeint.mul (Nativeint.div x y) y) (Nativeint.rem x y). Если y = 0, Nativeint.rem x y возбуждает Division_by_zero.

val unsigned_rem : nativeint -> nativeint -> nativeint

То же, что и Nativeint.rem, за исключением того, что аргументы и результат интерпретируются как беззнаковые целые числа native.

С момента 4.08.0

val succ : nativeint -> nativeint

Последователь. Nativeint.succ x это Nativeint.add x Nativeint.one.

val pred : nativeint -> nativeint

Предшественник. Nativeint.pred x это Nativeint.sub x Nativeint.one.

val abs : nativeint -> nativeint

abs x — это абсолютное значение x. На min_int это min_int само по себе и, следовательно, остается отрицательным.

val size : int

Размер в битах целого числа native. Он равен 32 на 32-битной платформе и 64 на 64-битной платформе.

val max_int : nativeint

Наибольшее представимое целое число native, либо 2³¹ - 1 на 32-битной платформе, либо 2⁶³ - 1 на 64-битной платформе.

val min_int : nativeint

Наименьшее представимое целое число native, либо -2³¹ на 32-битной платформе, либо -2⁶³ на 64-битной платформе.

val logand : nativeint -> nativeint -> nativeint

Поразрядное логическое И.

val logor : nativeint -> nativeint -> nativeint

Поразрядное логическое ИЛИ.

val logxor : nativeint -> nativeint -> nativeint

Поразрядное логическое ИСКЛЮЧАЮЩЕЕ ИЛИ.

val lognot : nativeint -> nativeint

Поразрядное логическое НЕ.

val shift_left : nativeint -> int -> nativeint

Nativeint.shift_left x y сдвигает x влево на y битов. Результат неопределен, если y < 0 или y >= bitsize, где bitsize равно 32 на 32-битной платформе и 64 на 64-битной платформе.

val shift_right : nativeint -> int -> nativeint

Nativeint.shift_right x y сдвигает x вправо на y битов. Это арифметический сдвиг: бит знака x дублируется и вставляется в освободившиеся биты. Результат неопределен, если y < 0 или y >= bitsize.

val shift_right_logical : nativeint -> int -> nativeint

Nativeint.shift_right_logical x y сдвигает x вправо на y битов. Это логический сдвиг: нули вставляются в освободившиеся биты независимо от знака x. Результат неопределен, если y < 0 или y >= bitsize.

val of_int : int -> nativeint

Преобразовать данное целое число (тип int) в целое число native (тип nativeint).

val to_int : nativeint -> int

Преобразовать данное целое число native (тип nativeint в целое число (тип int). Старший бит теряется во время преобразования.

val unsigned_to_int : nativeint -> int option

То же, что и Nativeint.to_int, но интерпретирует аргумент как беззнаковое целое число. Возвращает None если беззнаковое значение аргумента не может уместиться в int.

С момента 4.08.0

val of_float : float -> nativeint

Преобразовать данное число с плавающей точкой в целое число native, отбросив дробную часть (округлять к 0). Если отброшенное число с плавающей точкой находится вне диапазона [Nativeint.min_int, Nativeint.max_int], исключение не возбуждается, и возвращается неопределенное, зависящее от платформы, целое число.

val to_float : nativeint -> float

Преобразовать данное целое число native в число с плавающей точкой.

val of_int32 : int32 -> nativeint

Преобразовать данное 32-битное целое число (тип int32) в целое число native.

val to_int32 : nativeint -> int32

Преобразовать данное целое число native в 32-битное целое число (тип int32). На 64-битных платформах 64-битное целое число native берется по модулю 2³², т. е. старшие 32 бита теряются. На 32-битных платформах преобразование точное.

val of_string : string -> nativeint

Преобразовать данную строку в целое число native. Строка считывается в десятичном формате (по умолчанию, или если строка начинается с 0u) или в шестнадцатеричном, восьмеричном или двоичном формате, если строка начинается с 0x, 0o или 0b соответственно.

Префикс 0u считывает вход как беззнаковое целое число в диапазоне [0, 2*Nativeint.max_int+1]. Если вход превышает Nativeint.max_int, он преобразуется в знаковое целое число Int64.min_int + input - Nativeint.max_int - 1.

Возбуждает Failure если данная строка не является допустимым представлением целого числа или если представленное целое число превышает диапазон целых чисел, представимых в типе nativeint.

val of_string_opt : string -> nativeint option

То же, что и of_string, но возвращает None вместо возбуждения исключения.

С момента 4.05

val to_string : nativeint -> string

Возвращает строковое представление своего аргумента в десятичном формате.

type t = nativeint

Псевдоним для типа целых чисел native.

val compare : t -> t -> int

Функция сравнения целых чисел native с теми же спецификациями, что и compare. В сочетании с типом t эта функция compare позволяет модулю Nativeint передаваться в качестве аргумента фукнторам Set.Make и Map.Make.

val unsigned_compare : t -> t -> int

То же, что и Nativeint.compare, за исключением того, что аргументы интерпретируются как беззнаковые целые числа native.

С момента 4.08.0

val equal : t -> t -> bool

Функция равенства для целых чисел native.

С момента 4.03.0

val min : t -> t -> t

Возвращает меньшее из двух аргументов.

С момента 4.13.0

val max : t -> t -> t

Возвращает большее из двух аргументов.

С момента 4.13.0