================
 条件表达式
================


.. container:: sect1
   :name: FUNCTIONS-CONDITIONAL

   .. container:: titlepage

      .. container::

         .. container::

            .. rubric:: 条件表达式
               :name: 条件表达式
               :class: title

   .. container:: toc
      

   本节描述在OushuDB中可用的SQL兼容的条件表达式。

   .. tip::

      .. rubric:: 提示
         :name: 提示
         :class: title

      如果你的需求超过这些条件表达式的能力，你可能会希望用一种更富表现力的编程语言写一个服务器端函数。

   .. note::

      .. rubric:: 注意
         :name: 注意
         :class: title

      尽管\ ``COALESCE``\ 、\ ``GREATEST``\ 和\ ``LEAST``\ 在语法上类似于函数，但它们不是普通的函数，因此不能使用显式\ ``VARIADIC``\ 数组参数。

   .. container:: sect2
      :name: FUNCTIONS-CASE

      .. container:: titlepage

         .. container::

            .. container::

               .. rubric:: ``CASE``
                  :name: case
                  :class: title

      SQL ``CASE``\ 表达式是一种通用的条件表达式，类似于其它编程语言中的
      if/else 语句：

      .. code:: synopsis

         CASE WHEN condition THEN result
              [WHEN ...]
              [ELSE result]
         END

      ``CASE``\ 子句可以用于任何表达式可以出现的地方。每一个\ ``condition``\ 是一个返回\ ``boolean``\ 结果的表达式。如果结果为真，那么\ ``CASE``\ 表达式的结果就是符合条件的\ ``result``\ ，并且剩下的\ ``CASE``\ 表达式不会被处理。如果条件的结果不为真，那么以相同方式搜寻任何随后的\ ``WHEN``\ 子句。如果没有\ ``WHEN``
      ``condition``\ 为真，那么\ ``CASE``\ 表达式的值就是在\ ``ELSE``\ 子句里的\ ``result``\ 。如果省略了\ ``ELSE``\ 子句而且没有条件为真，结果为空。

      例子：

      .. code:: screen

         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

      所有\ ``result``\ 表达式的数据类型都必须可以转换成单一的输出类型。
      参阅\ `UNION、CASE和相关结构 <typeconv-union-case.html>`__\ 获取细节。

      下面这个“简单”形式的\ ``CASE``\ 表达式是上述通用形式的一个变种：

      .. code:: synopsis

         CASE expression
             WHEN value THEN result
             [WHEN ...]
             [ELSE result]
         END

      第一个\ ``expression``\ 会被计算，然后与所有在\ ``WHEN``\ 子句中的每一个\ ``value``\ 对比，直到找到一个相等的。如果没有找到匹配的，则返回在\ ``ELSE``\ 子句中的\ ``result``\ （或者控制）。
      这类似于 C 里的\ ``switch``\ 语句。

      上面的例子可以用简单\ ``CASE``\ 语法来写：

      .. code:: screen

         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``\ 表达式并不计算任何无助于判断结果的子表达式。例如，下面是一个可以避免被零除错误的方法：

      .. code:: programlisting

         SELECT ... WHERE CASE WHEN x <> 0 THEN y/x > 1.5 ELSE false END;

      .. note::

         .. rubric:: 注意
            :name: 注意-1
            :class: title

         如\ `值表达式 <sql-expressions.html#SYNTAX-EXPRESS-EVAL>`__\ 中所述，在有几种情况中一个表达式的子表达式
         会被计算多次，因此“\ ``CASE``\ 只计算必要的表达式\ ”这
         一原则并非不可打破。例如一个常量子表达式\ ``1/0``\ 通常将会在规划时导致一次
         除零错误，即便它位于一个执行时永远也不会进入的\ ``CASE``\ 分支时也是
         如此。

   .. container:: sect2
      :name: FUNCTIONS-COALESCE-NVL-IFNULL

      .. container:: titlepage

         .. container::

            .. container::

               .. rubric:: ``COALESCE``
                  :name: coalesce
                  :class: title

      .. code:: synopsis

         COALESCE(value [, ...])

      ``COALESCE``\ 函数返回它的第一个非空参数的值。当且仅当所有参数都为空时才会返回空。它常用于在为显示目的检索数据时用缺省值替换空值。例如：

      .. code:: programlisting

         SELECT COALESCE(description, short_description, '(none)') ...

      如果\ ``description``\ 不为空，这将会返回它的值，否则如果\ ``short_description``\ 非空则返回\ ``short_description``\ 的值，如果前两个都为空则返回\ ``(none)``\ 。

      和\ ``CASE``\ 表达式一样，\ ``COALESCE``\ 将不会
      计算无助于判断结果的参数；也就是说，在第一个非空参数右边的参数不会被计算。这个
      SQL
      标准函数提供了类似于\ ``NVL``\ 和\ ``IFNULL``\ 的能力，它们被用在某些其他数据库系统中。

   .. container:: sect2
      :name: FUNCTIONS-NULLIF

      .. container:: titlepage

         .. container::

            .. container::

               .. rubric:: ``NULLIF``
                  :name: nullif
                  :class: title

      .. code:: synopsis

         NULLIF(value1, value2)

      当\ ``value1``\ 和\ ``value2``\ 相等时，\ ``NULLIF``\ 返回一个空值。
      否则它返回\ ``value1``\ 。
      这些可以用于执行前文给出的\ ``COALESCE``\ 例子的逆操作：

      .. code:: programlisting

         SELECT NULLIF(value, '(none)') ...

      在这个例子中，如果\ ``value``\ 是\ ``(none)``\ ，将返回空值，否则返回\ ``value``\ 的值。

   .. container:: sect2
      :name: FUNCTIONS-GREATEST-LEAST

      .. container:: titlepage

         .. container::

            .. container::

               .. rubric:: ``GREATEST``\ 和\ ``LEAST``
                  :name: greatest和least
                  :class: title

      .. code:: synopsis

         GREATEST(value [, ...])

      .. code:: synopsis

         LEAST(value [, ...])

      ``GREATEST``\ 和\ ``LEAST``\ 函数从一个任意的数字表达式列表里选取最大或者最小的数值。
      这些表达式必须都可以转换成一个普通的数据类型，它将会是结果类型。列表中的
      NULL 数值将被忽略。只有所有表达式的结果都是 NULL
      的时候，结果才会是 NULL。

      请注意\ ``GREATEST``\ 和\ ``LEAST``\ 都不是 SQL
      标准，但却是很常见的扩展。某些其他数据库让它们在任何参数为 NULL
      时返回 NULL，而不是在所有参数都为 NULL 时才返回 NULL。