Типы данных¶

AQL поддерживает как примитивные типы данных, состоящие ровно из одного значения, так и составные типы данных, состоящие из нескольких значений. Доступны следующие типы:

Примитивные типы¶

Значение Null¶

Значение null может использоваться для представления пустого или отсутствующего значения. Оно отличается от нулевого числового значения (null != 0) и других ложных значений (false или строки нулевой длины ""). Он также известен как nil или None на других языках.

Система может вернуть null при отсутствии значения, например, если вы вызываете функцию с неподдерживаемыми значениями в качестве аргументов или пытаетесь получить доступ к несуществующему атрибуту.

Тип Boolean¶

Тип данных Boolean имеет два возможных значения: true и false. Они представляют два значения истинности в логике и математике.

Числовые литералы¶

Числовые литералы могут быть целыми числами или вещественными значениями (числа с плавающей запятой). При желании они могут быть подписаны символами + или -. Десятичная точка . используется в качестве разделителя для необязательной дробной части. Также поддерживается научная нотация (E-нотация).

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11

  1
 +1
 42
 -1
-42
  1.23
-99.99
  0.5
   .5
 -4.87e103
 -4.87E103

Следующие обозначения недопустимы и вызовут синтаксическую ошибку:

1
2
3
4

 1.
01.23
00.23
00

Все числовые значения обрабатываются как 64-битные целые числа со знаком или 64-битные значения с плавающей запятой двойной точности внутри. Используемый внутренний формат с плавающей запятой — IEEE 754.

Начиная с ArangoDB v3.7.7, числовые целые литералы также могут быть выражены как двоичные (по основанию 2) или шестнадцатеричные (по основанию 16) числовые литералы.

• рефикс для двоичных целочисленных литералов — 0b, например. 0b10101110.
• Префикс для литералов шестнадцатеричных целых чисел равен 0x, например. 0xabcdef02.

Двоичные и шестнадцатеричные целые литералы могут использоваться только для целых чисел без знака. Максимальное поддерживаемое значение для двоичных и шестнадцатеричных числовых литералов — 2³² - 1, т. е. 0b11111111111111111111111111111111 (двоичное) или 0xffffffff (шестнадцатеричное).

Строковые литералы¶

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

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11

"yikes!"
"don't know"
"this is a \"quoted\" word"
"this is a longer string."
"the path separator on Windows is \\"

'yikes!'
'don\'t know'
'this is a "quoted" word'
'this is a longer string.'
'the path separator on Windows is \\'

Все строковые литералы должны иметь кодировку UTF-8. В настоящее время невозможно использовать произвольные двоичные данные, если они не закодированы в кодировке UTF-8. Обходной путь для использования двоичных данных — кодировать данные с помощью Base64 или других алгоритмов на стороне приложения перед сохранением и декодировать их на стороне приложения после извлечения.

Составные типы¶

AQL поддерживает два составных типа:

• array: Композиция безымянных значений, каждое из которых доступно по своей позиции. Иногда называется списком.
• object: Композиция именованных значений, каждое из которых доступно по имени. Документ — это объект верхнего уровня.

Массивы / списки¶

Первый поддерживаемый составной тип — это тип массива (array). Массивы фактически представляют собой последовательности (безымянных/анонимных) значений. Доступ к отдельным элементам массива можно получить по их позициям (индексам). Порядок элементов в массиве важен.

Объявление массива начинается с левой квадратной скобки [ и заканчивается правой квадратной скобкой ]. Объявление содержит ноль, одно или несколько выражений, разделенных друг от друга запятой ,. Пробелы вокруг элементов в объявлении игнорируются, поэтому для форматирования можно использовать разрывы строк, позиции табуляции и пробелы.

В самом простом случае массив пуст и выглядит так:

1

[]

Элементы массива могут быть любыми допустимыми значениями выражений. Поддерживается вложенность массивов.

1
2
3

[true][(1, 2, 3)][(-99, "yikes!", [false, ["no"], []], 1)][
  ["fox", "marshal"]
]

Запятая после последнего элемента разрешена (появилось в версии 3.7.0):

1
2
3
4
5

[
  1,
  2,
  3, // завершающая запятая
]

Позже к отдельным значениям массива можно получить доступ по их позициям с помощью аксессора []. Положение элемента, к которому осуществляется доступ, должно быть числовым значением. Позиции начинаются с 0. Также можно использовать отрицательные значения индекса для доступа к значениям массива, начиная с конца массива. Это удобно, если длина массива неизвестна и требуется доступ к элементам в конце массива.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11

// доступ к 1-му элементу массива (элементы начинаются с индекса 0)
u.friends[0]

// получить доступ к третьему элементу массива
u.friends[2]

// получить доступ к последнему элементу массива
u.friends[-1]

// доступ к предпоследнему элементу массива
u.friends[-2]

Объекты / Документы¶

Другой поддерживаемый составной тип — это тип объекта (или документа). Объекты представляют собой композицию от нуля до многих атрибутов. Каждый атрибут представляет собой пару имя/значение. Доступ к атрибутам объекта можно получить индивидуально по их именам. Этот тип данных также известен как словарь, карта, ассоциативный массив и другие названия.

Объявления объектов начинаются с левой фигурной скобки { и заканчиваются правой фигурной скобкой }. Объект содержит от нуля до многих объявлений атрибутов, разделенных друг от друга символом ,. Пробелы вокруг элементов в объявлении игнорируются, поэтому для форматирования можно использовать разрывы строк, позиции табуляции и пробелы.

В простейшем случае объект пуст. Тогда его объявление будет таким:

1

{}

Каждый атрибут в объекте представляет собой пару имя/значение. Имя и значение атрибута разделяются двоеточием :. Имя всегда является строкой, тогда как значение может быть любого типа, включая подобъекты.

Имя атрибута обязательно — в объекте не может быть анонимных значений. Он может быть указан как строка в кавычках или без кавычек:

1
2
3

{ name: … }    // без кавычек
{ 'name': … }  // в кавычках (апостроф / "одинарная кавычка")
{ "name": … }  // в кавычках (кавычка / "двойная кавычка")

Он должен быть заключен в кавычки, если он содержит пробелы, escape-последовательности или символы, отличные от букв ASCII (a-z, A-Z), цифр (0-9), символов подчеркивания (_) и знаков доллара ($). Первым символом должна быть буква, знак подчеркивания или знак доллара.

Если в качестве имени атрибута используется ключевое слово, то имя атрибута должно быть заключено в кавычки или экранировано галочками или обратными кавычками:

1
2
3
4
5

{ return: … }    // ошибка, return - это ключевое слово!
{ 'return': … }  // в кавычках
{ "return": … }  // в кавычках
{ `return`: … }  // экранируется (backticks)
{ ´return´: … }  // экранируется (ticks)

Запятая после последнего элемента разрешена (появилось в версии 3.7.0):

1
2
3
4
5

{
  "a": 1,
  "b": 2,
  "c": 3, // завершающая запятая
}

Имена атрибутов также могут быть вычислены с использованием динамических выражений. Чтобы отличить обычные имена атрибутов от выражений имен атрибутов, вычисляемые имена атрибутов должны быть заключены в квадратные скобки [ … ]:

1

{ [ CONCAT("test/", "bar") ] : "someValue" }

Существует также сокращенная запись для атрибутов, которая удобна для простого возврата существующих переменных:

1
2
3

LET name = "Peter"
LET age = 42
RETURN { name, age }

Приведенное выше является сокращенным эквивалентом общей формы:

1
2
3

LET name = "Peter"
LET age = 42
RETURN { name: name, age: age }

В качестве значения атрибута можно использовать любое допустимое выражение. Это также означает, что вложенные объекты могут использоваться в качестве значений атрибутов:

1
2
3

{ name : "Peter" }
{ "name" : "Vanessa", "age" : 15 }
{ "name" : "John", likes : [ "Swimming", "Skiing" ], "address" : { "street" : "Cucumber lane", "zip" : "94242" } }

Позже к отдельным атрибутам объекта можно получить доступ по их именам с помощью точки .:

1
2

u.address.city.name
u.friends[0].name.first

Доступ к атрибутам также можно получить, используя квадратную скобку []:

1
2

u["address"]["city"]["name"]
u["friends"][0]["name"]["first"]

В отличие от метода доступа точка, квадратные скобки позволяют использовать выражения:

1
2
3

LET attr1 = "friends"
LET attr2 = "name"
u[attr1][0][attr2][ CONCAT("fir", "st") ]

Комментарии