std/typeinfo

Этот модуль реализует интерфейс для сведений о типе во время выполнения (RTTI) в Nim. См. модуль marshal для примера использования.

Пример:

import std/typeinfo
var x: Any

var i = 42
x = i.toAny
assert x.kind == akInt
assert x.getInt == 42

var s = @[1, 2, 3]
x = s.toAny
assert x.kind == akSequence
assert x.len == 3

Импорты

strimpl

Типы

Any = object
  when defined(js):
  else:

Тип, который может представлять любое значение Nim.

Осторожно: Обёртка может модифицировать значение! Это означает, что Any хранит не отслеживаемую ссылку на обёрнутое значение и не должно существовать дольше, чем обёрнутое значение.

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

AnyKind = enum
  akNone = 0,               ## invalid
  akBool = 1,               ## bool
  akChar = 2,               ## char
  akEnum = 14,              ## enum
  akArray = 16,             ## array
  akObject = 17,            ## object
  akTuple = 18,             ## tuple
  akSet = 19,               ## set
  akRange = 20,             ## range
  akPtr = 21,               ## ptr
  akRef = 22,               ## ref
  akSequence = 24,          ## sequence
  akProc = 25,              ## proc
  akPointer = 26,           ## pointer
  akString = 28,            ## string
  akCString = 29,           ## cstring
  akInt = 31,               ## int
  akInt8 = 32,              ## int8
  akInt16 = 33,             ## int16
  akInt32 = 34,             ## int32
  akInt64 = 35,             ## int64
  akFloat = 36,             ## float
  akFloat32 = 37,           ## float32
  akFloat64 = 38,           ## float64
  akFloat128 = 39,          ## float128
  akUInt = 40,              ## uint
  akUInt8 = 41,             ## uint8
  akUInt16 = 42,            ## uin16
  akUInt32 = 43,            ## uint32
  akUInt64 = 44              ## uint64

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

Процедуры

proc `[]`(x: Any): Any {....raises: [], tags: [], forbids: [].}

Оператор разыменования для Any. x должен представлять указатель или ссылку. Source Edit

proc `[]`(x: Any; fieldName: string): Any {....raises: [ValueError], tags: [],
    forbids: [].}

Получает поле x. x должен представлять объект или кортеж. Source Edit

proc `[]`(x: Any; i: int): Any {....raises: [], tags: [], forbids: [].}

Аксессор для любого x, представляющего массив или последовательность. Source Edit

proc `[]=`(x, y: Any) {....raises: [], tags: [], forbids: [].}

Оператор разыменования для Any. x должен представлять указатель или ссылку. Source Edit

proc `[]=`(x: Any; fieldName: string; value: Any) {....raises: [ValueError],
    tags: [], forbids: [].}

Устанавливает поле x. x должен представлять объект или кортеж. Source Edit

proc `[]=`(x: Any; i: int; y: Any) {....raises: [], tags: [], forbids: [].}

Аксессор для любого x, представляющего массив или последовательность. Source Edit

proc assign(x, y: Any) {....raises: [], tags: [], forbids: [].}

Копирует значение y в x. Оператор присваивания для Any этого НЕ делает; вместо этого он выполняет поверхностное копирование! Source Edit

proc base(x: Any): Any {....raises: [], tags: [], forbids: [].}

Возвращает базовый тип x (полезно для унаследованных типов объектов). Source Edit

proc baseTypeKind(x: Any): AnyKind {.inline, ...raises: [], tags: [], forbids: [].}

Получает тип базового типа. Если у x нет базового типа, возвращается akNone. Source Edit

proc baseTypeSize(x: Any): int {.inline, ...raises: [], tags: [], forbids: [].}

Возвращает размер базового типа x. Если у x нет базового типа, возвращается 0. Source Edit

proc extendSeq(x: Any) {....raises: [], tags: [], forbids: [].}

Выполняет setLen(x, x.len+1). x должен представлять seq. Source Edit

proc getBiggestFloat(x: Any): BiggestFloat {....raises: [], tags: [], forbids: [].}

Извлекает значение с плавающей точкой из x. x должен представлять некоторое число с плавающей точкой. Значение расширяется до BiggestFloat. Source Edit

proc getBiggestInt(x: Any): BiggestInt {....raises: [], tags: [], forbids: [].}

Извлекает целое значение из x. x должен представлять целое число, логическое значение, символ, перечисление или достаточно малый набор битов. Значение может быть расширено со знаком до BiggestInt. Source Edit

proc getBiggestUint(x: Any): uint64 {....raises: [], tags: [], forbids: [].}

Извлекает беззнаковое целое значение из x. x должен представлять беззнаковое целое число. Source Edit

proc getBool(x: Any): bool {....raises: [], tags: [], forbids: [].}

Извлекает bool значение из x. x должен представлять bool. Source Edit

proc getChar(x: Any): char {....raises: [], tags: [], forbids: [].}

Извлекает char значение из x. x должен представлять char. Source Edit

proc getCString(x: Any): cstring {....raises: [], tags: [], forbids: [].}

Извлекает cstring значение из x. x должен представлять cstring. Source Edit

proc getEnumField(x: Any): string {....raises: [], tags: [], forbids: [].}

Получает имя поля перечисления в виде строки. x должен представлять перечисление. Source Edit

proc getEnumField(x: Any; ordinalValue: int): string {....raises: [], tags: [],
    forbids: [].}

Получает имя поля перечисления в виде строки. x должен представлять перечисление, но используется только для доступа к информации о типе. Возвращается имя поля ordinalValue. Source Edit

proc getEnumOrdinal(x: Any; name: string): int {....raises: [], tags: [],
    forbids: [].}

Получает порядковый номер поля перечисления из name. x должен представлять перечисление, но используется только для доступа к информации о типе. В случае ошибки возвращается low(int). Source Edit

proc getFloat(x: Any): float {....raises: [], tags: [], forbids: [].}

Извлекает float значение из x. x должен представлять float. Source Edit

proc getFloat32(x: Any): float32 {....raises: [], tags: [], forbids: [].}

Извлекает float32 значение из x. x должен представлять float32. Source Edit

proc getFloat64(x: Any): float64 {....raises: [], tags: [], forbids: [].}

Извлекает float64 значение из x. x должен представлять float64. Source Edit

proc getInt(x: Any): int {....raises: [], tags: [], forbids: [].}

Извлекает int значение из x. x должен представлять int. Source Edit

proc getInt8(x: Any): int8 {....raises: [], tags: [], forbids: [].}

Извлекает int8 значение из x. x должен представлять int8. Source Edit

proc getInt16(x: Any): int16 {....raises: [], tags: [], forbids: [].}

Извлекает значение int16 из x. x должен представлять int16. Исходный код Изменить

proc getInt32(x: Any): int32 {....raises: [], tags: [], forbids: [].}

Извлекает значение int32 из x. x должен представлять int32. Исходный код Изменить

proc getInt64(x: Any): int64 {....raises: [], tags: [], forbids: [].}

Извлекает значение int64 из x. x должен представлять int64. Исходный код Изменить

proc getPointer(x: Any): pointer {....raises: [], tags: [], forbids: [].}

Извлекает значение указателя из x. x должен быть типа akString, akCString, akProc, akRef, akPtr, akPointer или akSequence. Исходный код Изменить

proc getString(x: Any): string {....raises: [], tags: [], forbids: [].}

Извлекает значение string из x. x должен представлять string. Исходный код Изменить

proc getUInt(x: Any): uint {....raises: [], tags: [], forbids: [].}

Извлекает значение uint из x. x должен представлять uint. Исходный код Изменить

proc getUInt8(x: Any): uint8 {....raises: [], tags: [], forbids: [].}

Извлекает значение uint8 из x. x должен представлять uint8. Исходный код Изменить

proc getUInt16(x: Any): uint16 {....raises: [], tags: [], forbids: [].}

Извлекает значение uint16 из x. x должен представлять uint16. Исходный код Изменить

proc getUInt32(x: Any): uint32 {....raises: [], tags: [], forbids: [].}

Извлекает значение uint32 из x. x должен представлять uint32. Исходный код Изменить

proc getUInt64(x: Any): uint64 {....raises: [], tags: [], forbids: [].}

Извлекает значение uint64 из x. x должен представлять uint64. Исходный код Изменить

proc inclSetElement(x: Any; elem: int) {....raises: [], tags: [], forbids: [].}

Включает элемент elem в x. x должен представлять битсет Nim. Исходный код Изменить

proc invokeNew(x: Any) {....raises: [], tags: [], forbids: [].}

Выполняет new(x). x должен представлять ref. Исходный код Изменить

proc invokeNewSeq(x: Any; len: int) {....raises: [], tags: [], forbids: [].}

Выполняет newSeq(x, len). x должен представлять seq. Исходный код Изменить

proc isNil(x: Any): bool {....raises: [], tags: [], forbids: [].}

Проверяет на isNil для x, представляющего строку c-стиля, процедуру или указатель. Исходный код Изменить

proc kind(x: Any): AnyKind {.inline, ...raises: [], tags: [], forbids: [].}

Получает тип. Исходный код Изменить

proc len(x: Any): int {....raises: [], tags: [], forbids: [].}

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

proc setBiggestFloat(x: Any; y: BiggestFloat) {....raises: [], tags: [],
    forbids: [].}

Устанавливает значение плавающей точки для x. x должен представлять число с плавающей точкой. Исходный код Изменить

proc setBiggestInt(x: Any; y: BiggestInt) {....raises: [], tags: [], forbids: [].}

Устанавливает целочисленное значение для x. x должен представлять целое число, булево значение, символ, перечисление или достаточно небольшой битсет. Исходный код Изменить

proc setBiggestUint(x: Any; y: uint64) {....raises: [], tags: [], forbids: [].}

Устанавливает значение беззнакового целого числа для x. x должен представлять беззнаковое целое число. Исходный код Изменить

proc setObjectRuntimeType(x: Any) {....raises: [], tags: [], forbids: [].}

Необходимо вызвать для установки поля типа объекта времени выполнения x. Исходный код Изменить

proc setPointer(x: Any; y: pointer) {....raises: [], tags: [], forbids: [].}

Устанавливает значение указателя для x. x должен быть типа akString, akCString, akProc, akRef, akPtr, akPointer или akSequence. Исходный код Изменить

proc setString(x: Any; y: string) {....raises: [], tags: [], forbids: [].}

Устанавливает значение string для x. x должен представлять string. Исходный код Изменить

proc size(x: Any): int {.inline, ...raises: [], tags: [], forbids: [].}

Возвращает размер типа x. Исходный код Изменить

proc skipRange(x: Any): Any {....raises: [], tags: [], forbids: [].}

Пропускает информацию о диапазоне для x. Исходный код Изменить

proc toAny[T](x: var T): Any {.inline.}

Создаёт объект Any из x. Это позволяет захватить адрес x, поэтому x можно изменить с помощью его обертки Any! Вызывающий код должен убедиться, что обертка не существует дольше, чем x! Исходный код Изменить

Итераторы

iterator elements(x: Any): int {....raises: [], tags: [], forbids: [].}

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

iterator fields(x: Any): tuple[name: string, any: Any] {....raises: [], tags: [],
    forbids: [].}

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