9.17. Условные выражения
В этом разделе описаны SQL-совместимые условные выражения, которые поддерживаются в PostgreSQL.
Подсказка
Если возможностей этих условных выражений оказывается недостаточно, вероятно, имеет смысл перейти к написанию хранимых процедур на более мощном языке программирования.
9.17.1. CASE
Выражение CASE
в SQL представляет собой общее условное выражение, напоминающее операторы if/else в других языках программирования:
CASE WHENусловие
THENрезультат
[WHEN ...] [ELSEрезультат
] END
Предложения CASE
можно использовать везде, где допускаются выражения. Каждое условие
в нём представляет собой выражение, возвращающее результат типа boolean
. Если результатом выражения оказывается true, значением выражения CASE
становится результат
, следующий за условием, а остальная часть выражения CASE
не вычисляется. Если же условие не выполняется, за ним таким же образом проверяются все последующие предложения WHEN
. Если не выполняется ни одно из условий
WHEN
, значением CASE
становится результат
, записанный в предложении ELSE
. Если при этом предложение ELSE
отсутствует, результатом выражения будет NULL.
Пример:
SELECT * FROM test; a --- 1 2 3 SELECT a, CASE WHEN a=1 THEN 'one' WHEN a=2 THEN 'two' ELSE 'other' END FROM test; a | case ---+------- 1 | one 2 | two 3 | other
Типы данных всех выражений результатов
должны приводиться к одному выходному типу. Подробнее это описано в Разделе 10.5.
Существует также «простая» форма выражения CASE
, разновидность вышеприведённой общей формы:
CASEвыражение
WHENзначение
THENрезультат
[WHEN ...] [ELSEрезультат
] END
В такой форме сначала вычисляется первое выражение
, а затем его результат сравнивается с выражениями значений
в предложениях WHEN
, пока не будет найдено равное ему. Если такого не значения не находится, возвращается результат
предложения ELSE
(или NULL). Эта форма больше похожа на оператор switch
, существующий в языке C.
Показанный ранее пример можно записать по-другому, используя простую форму CASE
:
SELECT a, CASE a WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'other' END FROM test; a | case ---+------- 1 | one 2 | two 3 | other
В выражении CASE
вычисляются только те подвыражения, которые необходимы для получения результата. Например, так можно избежать ошибки деления на ноль:
SELECT ... WHERE CASE WHEN x <> 0 THEN y/x > 1.5 ELSE false END;
Примечание
Как было описано в Подразделе 4.2.14, всё же возможны ситуации, когда подвыражения вычисляются на разных этапах, так что железной гарантии, что в «CASE
вычисляются только необходимые подвыражения», в принципе нет. Например, константное подвыражение 1/0
обычно вызывает ошибку деления на ноль на этапе планирования, хотя эта ветвь CASE
может вовсе не вычисляться во время выполнения.
9.17.2. COALESCE
COALESCE
(значение
[, ...])
Функция COALESCE
возвращает первый попавшийся аргумент, отличный от NULL. Если же все аргументы равны NULL, результатом тоже будет NULL. Это часто используется при отображении данных для подстановки некоторого значения по умолчанию вместо значений NULL:
SELECT COALESCE(description, short_description, '(none)') ...
Этот запрос вернёт значение description
, если оно не равно NULL, либо short_description
, если оно не NULL, и строку (none)
, если оба эти значения равны NULL.
Аргументы должны быть приводимыми к одному общему типу, который и будет типом результата (подробнее об этом говорится в Разделе 10.5).
Как и выражение CASE
, COALESCE
вычисляет только те аргументы, которые необходимы для получения результата; то есть, аргументы правее первого отличного от NULL аргумента не вычисляются. Эта функция соответствует стандарту SQL, а в некоторых других СУБД её аналоги называются NVL
и IFNULL
.
9.17.3. NULLIF
NULLIF
(значение1
,значение2
)
Функция NULLIF
выдаёт значение NULL, если значение1
равно значение2
; в противном случае она возвращает значение1
. Это может быть полезно для реализации обратной операции к COALESCE
. В частности, для примера, показанного выше:
SELECT NULLIF(value, '(none)') ...
В данном примере если value
равно (none)
, выдаётся null, а иначе возвращается значение value
.
Два её аргумента должны быть сравнимых типов. Если говорить точнее, они сравниваются точно так же, как сравнивались бы в записи
, так что для этих типов должен существовать подходящий оператор значение1
= значение2
=
.
Результат будет иметь тот же тип, что и первый аргумент, но есть одна тонкость. Эта функция фактически возвращает первый аргумент подразумеваемого оператора =
, который в некоторых случаях преобразуется к типу второго аргумента. Например, NULLIF(1, 2.2)
возвращает numeric
, так как оператор integer
=
numeric
не существует, существует только оператор numeric
=
numeric
.
9.17.4. GREATEST
и LEAST
GREATEST
(значение
[, ...])
LEAST
(значение
[, ...])
Функции GREATEST
и LEAST
выбирают наибольшее или наименьшее значение из списка выражений. Все эти выражения должны приводиться к общему типу данных, который станет типом результата (подробнее об этом в Разделе 10.5). Значения NULL в этом списке игнорируются, так что результат выражения будет равен NULL, только если все его аргументы равны NULL.
Заметьте, что функции GREATEST
и LEAST
не описаны в стандарте SQL, но часто реализуются в СУБД как расширения. В некоторых других СУБД они могут возвращать NULL, когда не все, а любой из аргументов равен NULL.
9.17. Conditional Expressions
This section describes the SQL-compliant conditional expressions available in PostgreSQL.
Tip
If your needs go beyond the capabilities of these conditional expressions, you might want to consider writing a stored procedure in a more expressive programming language.
9.17.1. CASE
The SQL CASE
expression is a generic conditional expression, similar to if/else statements in other programming languages:
CASE WHENcondition
THENresult
[WHEN ...] [ELSEresult
] END
CASE
clauses can be used wherever an expression is valid. Each condition
is an expression that returns a boolean
result. If the condition's result is true, the value of the CASE
expression is the result
that follows the condition, and the remainder of the CASE
expression is not processed. If the condition's result is not true, any subsequent WHEN
clauses are examined in the same manner. If no WHEN
condition
yields true, the value of the CASE
expression is the result
of the ELSE
clause. If the ELSE
clause is omitted and no condition is true, the result is null.
An example:
SELECT * FROM test; a --- 1 2 3 SELECT a, CASE WHEN a=1 THEN 'one' WHEN a=2 THEN 'two' ELSE 'other' END FROM test; a | case ---+------- 1 | one 2 | two 3 | other
The data types of all the result
expressions must be convertible to a single output type. See Section 10.5 for more details.
There is a “simple” form of CASE
expression that is a variant of the general form above:
CASEexpression
WHENvalue
THENresult
[WHEN ...] [ELSEresult
] END
The first expression
is computed, then compared to each of the value
expressions in the WHEN
clauses until one is found that is equal to it. If no match is found, the result
of the ELSE
clause (or a null value) is returned. This is similar to the switch
statement in C.
The example above can be written using the simple CASE
syntax:
SELECT a, CASE a WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'other' END FROM test; a | case ---+------- 1 | one 2 | two 3 | other
A CASE
expression does not evaluate any subexpressions that are not needed to determine the result. For example, this is a possible way of avoiding a division-by-zero failure:
SELECT ... WHERE CASE WHEN x <> 0 THEN y/x > 1.5 ELSE false END;
Note
As described in Section 4.2.14, there are various situations in which subexpressions of an expression are evaluated at different times, so that the principle that “CASE
evaluates only necessary subexpressions” is not ironclad. For example a constant 1/0
subexpression will usually result in a division-by-zero failure at planning time, even if it's within a CASE
arm that would never be entered at run time.
9.17.2. COALESCE
COALESCE
(value
[, ...])
The COALESCE
function returns the first of its arguments that is not null. Null is returned only if all arguments are null. It is often used to substitute a default value for null values when data is retrieved for display, for example:
SELECT COALESCE(description, short_description, '(none)') ...
This returns description
if it is not null, otherwise short_description
if it is not null, otherwise (none)
.
The arguments must all be convertible to a common data type, which will be the type of the result (see Section 10.5 for details).
Like a CASE
expression, COALESCE
only evaluates the arguments that are needed to determine the result; that is, arguments to the right of the first non-null argument are not evaluated. This SQL-standard function provides capabilities similar to NVL
and IFNULL
, which are used in some other database systems.
9.17.3. NULLIF
NULLIF
(value1
,value2
)
The NULLIF
function returns a null value if value1
equals value2
; otherwise it returns value1
. This can be used to perform the inverse operation of the COALESCE
example given above:
SELECT NULLIF(value, '(none)') ...
In this example, if value
is (none)
, null is returned, otherwise the value of value
is returned.
The two arguments must be of comparable types. To be specific, they are compared exactly as if you had written
, so there must be a suitable value1
= value2
=
operator available.
The result has the same type as the first argument — but there is a subtlety. What is actually returned is the first argument of the implied =
operator, and in some cases that will have been promoted to match the second argument's type. For example, NULLIF(1, 2.2)
yields numeric
, because there is no integer
=
numeric
operator, only numeric
=
numeric
.
9.17.4. GREATEST
and LEAST
GREATEST
(value
[, ...])
LEAST
(value
[, ...])
The GREATEST
and LEAST
functions select the largest or smallest value from a list of any number of expressions. The expressions must all be convertible to a common data type, which will be the type of the result (see Section 10.5 for details). NULL values in the list are ignored. The result will be NULL only if all the expressions evaluate to NULL.
Note that GREATEST
and LEAST
are not in the SQL standard, but are a common extension. Some other databases make them return NULL if any argument is NULL, rather than only when all are NULL.