system

Компилятор зависит от модуля System для правильной работы, а модуль System зависит от компилятора. Большинство процедур, перечисленных здесь, используют специальную магию компилятора.

Каждый модуль неявно импортирует модуль System; его не нужно указывать явно. Из-за этого не может быть пользовательского модуля с именем system.

Модуль System

Модуль System импортирует несколько отдельных модулей, и их документация находится в отдельных файлах:

Вот краткий обзор наиболее часто используемых функций из модуля system. Названия функций в таблицах ниже кликабельны и позволят вам перейти к полной документации функции.

Доступно гораздо больше функций. Используйте таблицу содержания слева и/или Ctrl+F, чтобы перемещаться по этому модулю.

Строки и символы

Процедура	Использование
len(s)	Возвращает длину строки
chr(i)	Преобразует целое число в диапазоне `0..255` в символ
ord(c)	Возвращает числовое значение символа
a & b	Конкатенация двух строк
s.add(c)	Добавление символа в строку
$	Преобразование различных типов в строку

См. также:

модуль strutils для общих функций строк
модуль strformat для интерполяции строк и форматирования
модуль unicode для обработки Unicode UTF-8
strscans для макросов scanf и scanp, которые предлагают более удобную экстракцию подстрок, чем регулярные выражения
модуль strtabs для эффективных хеш-таблиц (списков, в некоторых языках программирования), сопоставляющих строки со строками

Последовательности

Процедура	Использование
newSeq	Создание новой последовательности заданной длины
newSeqOfCap	Создание новой последовательности с нулевой длиной и заданной емкостью
setLen	Установка длины последовательности
len	Возвращение длины последовательности
@	Преобразование массива в последовательность
add	Добавление элемента в последовательность
insert	Вставка элемента в определённую позицию
delete	Удаление элемента, сохраняя порядок элементов (операция `O(n)`)
del	Удаление элемента, не сохраняя порядок
pop	Удаление и возврат последнего элемента последовательности
x & y	Конкатенация двух последовательностей
x[a .. b]	Срез последовательности (включая оба конца)
x[a .. ^b]	Срез последовательности, но `b` — это индекс в обратном порядке (включая оба конца)
x[a ..< b]	Срез последовательности (исключая верхнюю границу)

См. также:

модуль sequtils для операций над контейнерными типами (включая строки)
модуль json для структуры, которая позволяет иметь разнородные элементы
модуль lists для связанных списков

Множества

Встроенные битовые множества.

Процедура	Использование
incl	Включение элемента `y` в множество `x`
excl	Исключение элемента `y` из множества `x`
card	Возвращает мощность множества, т.е. число элементов
a * b	Пересечение
a + b	Объединение
a - b	Разность
contains	Проверка, содержится ли элемент в множестве
a < b	Проверка, является ли `a` подмножеством `b`

См. также:

модуль sets для хеш-множеств
модуль intsets для эффективных множеств целых чисел

Числа

Процедура	Использование	Также известно как (на других языках)
div	Целочисленное деление	`//`
mod	Целочисленный остаток (от деления)	`%`
shl	Сдвиг влево	`<<`
shr	Сдвиг вправо	`>>`
ashr	Арифметический сдвиг вправо
and	Побитовое `and`	`&`
or	Побитовое `or`	`\|`
xor	Побитовое `xor`	`^`
not	Побитовое отрицание (дополнение)	`~`
toInt	Преобразование числа с плавающей точкой в целое
toFloat	Преобразование целого числа в число с плавающей точкой

См. также:

модуль math для математических операций, таких как тригонометрические функции, логарифмы, квадратные и кубические корни и т.д.
модуль complex для операций с комплексными числами
модуль rationals для рациональных чисел

Порядковые типы

Тип Ordinal включает целые числа, булевы значения, символы и перечисления, а также их подтипы.

Процедура	Использование
succ	Последующее значение
pred	Предыдущее значение
inc	Инкремент порядка
dec	Декремент порядка
high	Возвращает наибольшее возможное значение
low	Возвращает наименьшее возможное значение
ord	Возвращает порядковое значение

Разное

Процедура	Использование
is	Проверка, являются ли два аргумента одного типа
isnot	Отрицание операции `is`
!=	Не равно
addr	Получение адреса области памяти
T and F	Булево `and`
T or F	Булево `or`
T xor F	Булево исключающее ИЛИ (XOR)
not T	Булево отрицание
a[^x]	Элемент с индексом в обратном порядке `x`
a .. b	Двухместный срез, который строит интервал `[a, b]`
a ..^ b	Интервал `[a, b]`, но `b` как индекс в обратном порядке
a ..< b	Интервал `[a, b)` (исключая верхнюю границу)
runnableExamples	Создание документируемых примеров для тестирования

Импорты

since, ansi_c, память, утверждения, итераторы, доллары, miscдоллары, stacktraces, formatfloat, широкие строки, ввод/вывод

Типы

float {...}{.magic: Float.}

Тип плавающей точки по умолчанию. Исходный код Редактировать

float32 {...}{.magic: Float32.}

Тип плавающей точки 32 бита. Исходный код Редактировать

float64 {...}{.magic: Float.}

Тип плавающей точки 64 бита. Исходный код Редактировать

char {...}{.magic: Char.}

Встроенный тип символа 8 бит (без знака). Исходный код Редактировать

string {...}{.magic: String.}

Встроенный тип строки. Исходный код Редактировать

cstring {...}{.magic: Cstring.}

Встроенный тип cstring (совместимая строка). Исходный код Редактировать

pointer {...}{.magic: Pointer.}

Встроенный тип указателя, используйте оператор addr для получения указателя на переменную. Исходный код Редактировать

typedesc {...}{.magic: TypeDesc.}

Метатип для обозначения описания типа. Исходный код Редактировать

ptr[T] {...}{.magic: Pointer.}

Встроенный универсальный тип указателя без отслеживания. Исходный код Редактировать

ref[T] {...}{.magic: Pointer.}

Встроенный универсальный тип отслеживаемого указателя. Исходный код Редактировать

void {...}{.magic: "VoidType".}

Метатип для обозначения отсутствия типа. Исходный код Редактировать

auto {...}{.magic: Expr.}

Метатип для автоматического определения типа. Исходный код Редактировать

any = distinct auto

Метатип для любого поддерживаемого типа. Исходный код Редактировать

untyped {...}{.magic: Expr.}

Метатип для обозначения неразрешённого выражения (для шаблонов). Исходный код Редактировать

typed {...}{.magic: Stmt.}

Метатип для обозначения разрешённого выражения (для шаблонов). Исходный код Редактировать

int {...}{.magic: "Int".}

Тип целого числа по умолчанию; разрядность зависит от архитектуры, но всегда совпадает с разрядностью указателя. Исходный код Редактировать

int8 {...}{.magic: "Int8".}

Целый тип со знаком 8 бит. Исходный код Редактировать

int16 {...}{.magic: "Int16".}

Целый тип со знаком 16 бит. Исходный код Редактировать

int32 {...}{.magic: "Int32".}

Целый тип со знаком 32 бита. Исходный код Редактировать

int64 {...}{.magic: "Int64".}

Целый тип со знаком 64 бита. Исходный код Редактировать

uint {...}{.magic: "UInt".}

Тип целого числа по умолчанию без знака. Исходный код Редактировать

uint8 {...}{.magic: "UInt8".}

Целый тип без знака 8 бит. Исходный код Редактировать

uint16 {...}{.magic: "UInt16".}

Целый тип без знака 16 бит. Исходный код Редактировать

uint32 {...}{.magic: "UInt32".}

Целый тип без знака 32 бита. Исходный код Редактировать

uint64 {...}{.magic: "UInt64".}

Целый тип без знака 64 бита. Исходный код Редактировать

bool {...}{.magic: "Bool".} = enum false = 0, true = 1

Встроенный логический тип. Исходный код Редактировать

SomeSignedInt = int | int8 | int16 | int32 | int64

Класс типа, соответствующий всем целым типам со знаком. Исходный код Редактировать

SomeUnsignedInt = uint | uint8 | uint16 | uint32 | uint64

Класс типа, соответствующий всем целым типам без знака. Исходный код Редактировать

SomeInteger = SomeSignedInt | SomeUnsignedInt

Класс типа, соответствующий всем целым типам. Исходный код Редактировать

Класс типа, соответствующий всем порядковым типам; однако это включает перечисления с пробелами. См. также Ordinal. Исходный код Редактировать

BiggestInt = int64

является псевдонимом самого большого целого типа со знаком, который поддерживает компилятор Nim. В настоящее время это int64, но в общем случае зависит от платформы. Исходный код Редактировать

SomeFloat = float | float32 | float64

Класс типа, соответствующий всем типам чисел с плавающей точкой. Исходный код Редактировать

SomeNumber = SomeInteger | SomeFloat

Класс типа, соответствующий всем числовым типам. Исходный код Редактировать

Ordinal[T] {...}{.magic: Ordinal.}

Универсальный порядковый тип. Включает целые числа, bool, символы и типы перечислений, а также их подтипы. См. также SomeOrdinal. Исходный код Редактировать

static[T] {...}{.magic: "Static".}

Метатип, представляющий все значения, которые могут быть вычислены на этапе компиляции.

Преобразование типа static(x) может быть использовано для принудительного вычисления на этапе компиляции данного выражения x.

system

Модуль System

Строки и символы

Последовательности

Множества

Числа

Порядковые типы

Разное

Импорты

Типы

Переменные

Константы

Постоянные значения

Программы

Итераторы

Макросы

Шаблоны

Экспорт