Примитивные типы данных

Термины «простые», «примитивные» и «элементарные» типы данных используются как синонимы.

Числовые типы

Строковые типы

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

За счет индексированного представления JsonDocument позволяет обходить документную модель с использованием JsonPath без необходимости парсинга всего содержимого. Это позволяет эффективно выполнять операции из JSON API, уменьшая задержки и стоимость пользовательских запросов. Выполнение запросов над JsonDocument может быть до нескольких раз эффективнее в зависимости от типа нагрузки.

Из-за добавленной избыточности JsonDocument менее эффективен в хранении. Дополнительные накладные расходы на хранение зависят от конкретного содержимого и в среднем составляют 20–30% от исходного объема. Сохранение данных в формате JsonDocument требует дополнительной конвертации из текстового представления, что делает его запись менее эффективной. Тем не менее, для большинства read-intensive сценариев, подразумевающих обработку данных из JSON, этот тип данных является предпочтительным и рекомендуется к использованию.

Дата и время

Базовые типы

Диапазон значений всех базовых временных типов – от полуночи¹ 01.01.1970 до полуночи¹ 01.01.2106.
Диапазон значений базового типа интервала – от -136 лет до +136 лет.

¹ Полночью считаем такой момент времени, в которой все компоненты времени равны нулю.

Расширенные типы

Диапазон значений всех расширенных временных типов – от полуночи¹ 01.01.144169 до н.э. до полуночи¹ 01.01.148107.
Диапазон значений расширенного типа интервала – от -292277 лет до +292277 лет.

¹ Полночью считаем такой момент времени, в которой все компоненты времени равны нулю.

Особенности поддержки типов с меткой временной зоны

Метка временной зоны у типов TzDate, TzDatetime, TzTimestamp это атрибут, который используется:

• При преобразовании (CAST, DateTime::Parse, DateTime::Format) в строку и из строки.
• В DateTime::Split — появляется компонент таймзоны в Resource<TM>.

Само значение позиции во времени у этих типов хранится в UTC, и метка таймзоны никак не участвует в прочих расчётах. Например:

SELECT --эти выражения всегда true для любых таймзон: таймзона не влияет на точку во времени.
    AddTimezone(CurrentUtcDate(), "Europe/Moscow") ==
        AddTimezone(CurrentUtcDate(), "America/New_York"),
    AddTimezone(CurrentUtcDatetime(), "Europe/Moscow") ==
        AddTimezone(CurrentUtcDatetime(), "America/New_York");

Важно понимать, что при преобразованиях между TzDate и TzDatetime или TzTimestamp дате соответствует не полночь по локальному времени таймзоны, а полночь по UTC для даты в UTC.

Приведение простых типов данных

Явное приведение

Явное приведение при помощи CAST:

Приведение к численным типам

¹ True преобразуется в 1, False преобразуется в 0.
² Любое значение кроме 0 преобразуется в True, 0 преобразуется в False.
³ Возможно только в случае неотрицательного значения.
⁴ Возможно только в случае попадания в диапазон допустимых значений.
⁵ При помощи встроенной функции Yson::ConvertTo.

Приведение к типам данных даты и времени

Базовые типы

Расширенные типы

Приведение к другим типам данных

¹ При помощи встроенной функции Yson::ConvertTo.

Примеры

SELECT
    CAST("12345" AS Double),                -- 12345.0
    CAST(1.2345 AS Uint8),                  -- 1
    CAST(12345 AS String),                  -- "12345"
    CAST("1.2345" AS Decimal(5, 2)),        -- 1.23
    CAST("xyz" AS Uint64) IS NULL,          -- true, так как не удалось
    CAST(-1 AS Uint16) IS NULL,             -- true, отрицательное в беззнаковое
    CAST([-1, 0, 1] AS List<Uint8?>),             -- [null, 0, 1]
        --Тип элемента опциональный: неудачный элемент в null.
    CAST(["3.14", "bad", "42"] AS List<Float>),   -- [3.14, 42]
        --Тип элемента не опциональный: неудачный элемент удалён.
    CAST(255 AS Uint8),                     -- 255
    CAST(256 AS Uint8) IS NULL              -- true, выходит за диапазон

Неявное приведение

Неявное приведение типов, которое возникает в базовых операциях (+, -, *, /, %) между разными типами данных. В ячейках таблицы указан тип результата операции, если она возможна:

Численные типы

При несовпадении численных типов сначала выполняется BitCast обоих аргументов к типу результата, а потом уже операция.

Типы даты и времени

Базовые типы

Расширенные типы