Правила для типов данных SQL

Область применения: Отмечено «Да» Databricks SQL Databricks Runtime

Azure Databricks использует несколько правил для устранения конфликтов между типами данных:

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

Также можно выполнить явное приведение между различными типами:

Функция преобразования преобразует между большинством типов и возвращает ошибки, если это невозможно.
функция try_cast работает как функция приведения , но возвращает значение NULL при передаче недопустимых значений.
Другие встроенные функции выполняют приведение между типами с помощью указанных директив форматирования.

Повышение типа

Повышение типа — это процесс приведения типа к другому типу того же семейства, который содержит все возможные значения исходного типа. Таким образом, повышение типа является безопасной операцией. Например, TINYINT использует диапазон -128–127. Все возможные значения можно безопасно повысить до уровня INTEGER.

Список приоритета типов

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

Тип данных	Список предшествования (от узкого к широкому)
TINYINT	TINYINT -> SMALLINT -> INT -> BIGINT -> DECIMAL -> FLOAT (1) -> DOUBLE
SMALLINT	SMALLINT - INT ->> BIGINT> - ДЕСЯТИЧНЫЙ -> FLOAT (1) -> DOUBLE
INT	INT - BIGINT ->> DECIMAL -> FLOAT (1) -> DOUBLE
BIGINT	BIGINT - ДЕСЯТИЧНОЕ ->> FLOAT (1) -> ДВОЙНОЕ
DECIMAL	DECIMAL -> FLOAT (1) -> DOUBLE
FLOAT	FLOAT (1) —> DOUBLE
DOUBLE	DOUBLE
DATE	ДАТА -> МЕТКА ВРЕМЕНИ
TIMESTAMP	TIMESTAMP
ARRAY	ARRAY (2)
BINARY	BINARY
BOOLEAN	BOOLEAN
INTERVAL	INTERVAL
ГЕОГРАФИЯ	ГЕОГРАФИЯ(ЛЮБОЙ)
ГЕОМЕТРИЯ	GEOMETRY(ANY)
MAP	КАРТА (2)
STRING	STRING
STRUCT	СТРУКТ (2)
VARIANT	VARIANT
OBJECT	OBJECT (3)

(1) Разрешение наименее общего типаFLOAT пропускается, чтобы избежать потери точности.

(2) Для сложного типа правило приоритета применяется рекурсивно к его элементам компонента.

(3)OBJECT существует только в пределах VARIANT.

Строки и NULL

Специальные правила применяются к STRING и нетипизированным значениям NULL:

NULL можно преобразовать в любой другой тип.
STRING можно повысить до уровней BIGINT, BINARY, BOOLEAN, DATE, DOUBLE, INTERVAL и TIMESTAMP. Если фактическое строковое значение не может быть приведено к наименее распространённому типу, Azure Databricks вызовет ошибку во время выполнения. При повышении до уровня INTERVAL строковое значение должно совпадать с единицами интервалов.

Граф приоритета типов

Это графическое изображение иерархии приоритетов, объединяющее список приоритета типов и правила для строк и значений NULL.

Графическое представление правил приоритета

Разрешение наименьшего общего типа

Наименьший общий тип из набора типов является самым узким типом, который доступен всем элементам набора типов из графа приоритета типов.

Разрешение наименее общего типа используется для:

Чтобы решить, можно ли вызвать функцию, ожидающую параметр данного типа, с помощью аргумента более узкого типа.
Определите тип аргумента для функции, требующей общего типа аргумента для нескольких параметров, таких как coalesce, in, least или greatest.
Определите типы операндов для таких операторов, как арифметические операции или сравнения.
Определите тип результата для выражений, таких как выражение case.
Определите типы элемента, ключа или значения для конструкторов массивов и словари.
Определите тип результата операторов объединения множеств UNION, INTERSECT или EXCEPT.

Если наименьший общий тип разрешается в FLOAT, то применяются специальные правила. Если любой из участвующих типов представляет собой точный числовой тип (TINYINT, SMALLINT, INTEGER, BIGINT или DECIMAL), для предотвращения возможной потери цифр за наименьший общий тип берется DOUBLE.

Если наименее распространенный тип является STRING, сопоставление вычисляется по правилам приоритета сортировки .

Неявное нисходящее приведение типа и кросскастинг

Azure Databricks использует эти формы неявного приведения только при вызове функций и операторов, и только в тех случаях, когда можно однозначно определить намерение.

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

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

Нисходящее приведение применяет список приоритетов типов в обратном порядке. Типы данных GEOGRAPHY и GEOMETRY никогда не будут понижены.

Неявное перекрестное приведение типов

Неявный кросскастинг приводит значение из одного семейства типов к типу из другого семейства, не требуя явно указывать приведение.

Azure Databricks поддерживает неявную перекрестную рассылку из:
- Любой простой тип, за исключением BINARY, GEOGRAPHY, и GEOMETRY, в STRING.
- STRING ко всем простым типам, за исключением GEOGRAPHY и GEOMETRY.

Приведение вызовов функции

При наличии разрешенной функции или оператора применяются следующие правила (в порядке их перечисления) для каждой пары "параметр-аргумент":

Если поддерживаемый тип параметра является частью графа приоритета типа аргумента, Azure Databricks способствует аргументу этого типа параметра.

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

Например, sin(expr) работает на DOUBLE; но будет принимать любой числовой тип.
Если ожидаемый тип параметра - это STRING, и аргумент является простым типом, Azure Databricks привидит аргумент к строковому типу параметра.

Например, substr(str, start, len) ожидает, что типом str будет STRING. Вместо этого можно передать числовой тип или тип даты-времени.
Если тип аргумента является STRING, и ожидаемый тип параметра является простым типом, Azure Databricks перекрестно преобразует строковый аргумент в самый широкий поддерживаемый тип параметра.

Например, date_add(дата, дни) ожидает DATE и INTEGER.

При вызове date_add() с двумя STRING, Azure Databricks переприсваивает первый STRING к DATE, а второй STRING к INTEGER.
Если функция ожидает числовый тип, например INTEGER тип или DATE тип, но аргумент является более общим типом, например DOUBLE или TIMESTAMP, Azure Databricks неявно понижает тип аргумента в тип этого параметра.

Например, date_add(дата, дни) ожидает DATE и INTEGER.

При вызове date_add() с TIMESTAMP и BIGINT, Azure Databricks преобразуетTIMESTAMP в DATE путем удаления компоненты времени, а BIGINT в INTEGER.
В противном случае Azure Databricks вызывает ошибку.

Examples

Функция coalesce принимает любой набор типов аргументов, если они используют наименее распространенный тип.

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

-- The least common type of TINYINT and BIGINT is BIGINT
> SELECT typeof(coalesce(1Y, 1L, NULL));
  BIGINT

-- INTEGER and DATE do not share a precedence chain or support crosscasting in either direction.
> SELECT typeof(coalesce(1, DATE'2020-01-01'));
  Error: DATATYPE_MISMATCH.DATA_DIFF_TYPES

-- Both are ARRAYs and the elements have a least common type
> SELECT typeof(coalesce(ARRAY(1Y), ARRAY(1L)))
  ARRAY<BIGINT>

-- The least common type of INT and FLOAT is DOUBLE
> SELECT typeof(coalesce(1, 1F))
  DOUBLE

> SELECT typeof(coalesce(1L, 1F))
  DOUBLE

> SELECT typeof(coalesce(1BD, 1F))
  DOUBLE

-- The least common type between an INT and STRING is BIGINT
> SELECT typeof(coalesce(5, '6'));
  BIGINT

-- The least common type is a BIGINT, but the value is not BIGINT.
> SELECT coalesce('6.1', 5);
  Error: CAST_INVALID_INPUT

-- The least common type between a DECIMAL and a STRING is a DOUBLE
>  SELECT typeof(coalesce(1BD, '6'));
  DOUBLE

-- Two distinct explicit collations result in an error
>  SELECT collation(coalesce('hello' COLLATE UTF8_BINARY,
                             'world' COLLATE UNICODE));
  Error: COLLATION_MISMATCH.EXPLICIT

-- The resulting collation between two distinct implicit collations is indeterminate
>  SELECT collation(coalesce(c1, c2))
     FROM VALUES('hello' COLLATE UTF8_BINARY,
                 'world' COLLATE UNICODE) AS T(c1, c2);
  NULL

-- The resulting collation between a explicit and an implicit collations is the explicit collation.
> SELECT collation(coalesce(c1 COLLATE UTF8_BINARY, c2))
    FROM VALUES('hello',
                'world' COLLATE UNICODE) AS T(c1, c2);
  UTF8_BINARY

-- The resulting collation between an implicit and the default collation is the implicit collation.
> SELECT collation(coalesce(c1, 'world'))
    FROM VALUES('hello' COLLATE UNICODE) AS T(c1, c2);
  UNICODE

-- The resulting collation between the default collation and the indeterminate collation is the default collation.
> SELECT collation(coalesce(coalesce('hello' COLLATE UTF8_BINARY, 'world' COLLATE UNICODE), 'world'));
  UTF8_BINARY

-- Least common type between GEOGRAPHY(srid) and GEOGRAPHY(ANY)
> SELECT typeof(coalesce(st_geogfromtext('POINT(1 2)'), to_geography('POINT(3 4)'), NULL));
  geography(any)

-- Least common type between GEOMETRY(srid1) and GEOMETRY(srid2)
> SELECT typeof(coalesce(st_geomfromtext('POINT(1 2)', 4326), st_geomfromtext('POINT(3 4)', 3857), NULL));
  geometry(any)

-- Least common type between GEOMETRY(srid1) and GEOMETRY(ANY)
> SELECT typeof(coalesce(st_geomfromtext('POINT(1 2)', 4326), to_geometry('POINT(3 4)'), NULL));
  geometry(any)

Функция substring ожидает аргументы типа STRING для строки и INTEGER для параметров начальной и длины.

-- Promotion of TINYINT to INTEGER
> SELECT substring('hello', 1Y, 2);
 he

-- No casting
> SELECT substring('hello', 1, 2);
 he

-- Casting of a literal string
> SELECT substring('hello', '1', 2);
 he

-- Downcasting of a BIGINT to an INT
> SELECT substring('hello', 1L, 2);
 he

-- Crosscasting from STRING to INTEGER
> SELECT substring('hello', str, 2)
  FROM VALUES(CAST('1' AS STRING)) AS T(str);
 he

-- Crosscasting from INTEGER to STRING
> SELECT substring(12345, 2, 2);
 23

|| (CONCAT) разрешает неявное перекрестное преобразование в строку.

-- A numeric is cast to STRING
> SELECT 'This is a numeric: ' || 5.4E10;
 This is a numeric: 5.4E10

-- A date is cast to STRING
> SELECT 'This is a date: ' || DATE'2021-11-30';
 This is a date: 2021-11-30

date_add можно вызвать с помощью или TIMESTAMPBIGINT из-за неявного переадресирования.

> SELECT date_add(TIMESTAMP'2011-11-30 08:30:00', 5L);
 2011-12-05

date_add можно вызывать с помощью STRINGs из-за неявного перекрестного переадресирования.

> SELECT date_add('2011-11-30 08:30:00', '5');
  2011-12-05

Обратная связь

Была ли эта страница полезна?

Last updated on 2025-12-05