域类型
============

.. container:: sect1
   :name: DOMAINS

   .. container:: titlepage

      .. container::

         .. container::

            .. rubric:: 域类型
               :name: 域类型
               :class: title

   \ **域**\ 是一种用户定义的数据类型，它基于另一种\ **底层类型**\ 。根据需要，它可以有约束来限制其有效值为底层类型所允许值的一个子集。如果没有约束，它的行为就和底层类型一样
   例如，任何适用于底层类型的操作符或函数都对该域类型有效。底层类型可以是任何内建或者用户定义的基础类型、枚举类型、数组类型、组合类型、范围类型或者另一个域。
   例如，我们可以在整数之上创建一个域，它只接受正整数：

   .. code:: programlisting

      CREATE DOMAIN posint AS integer CHECK (VALUE > 0);
      CREATE TABLE mytable (id posint);
      INSERT INTO mytable VALUES(1);   -- works
      INSERT INTO mytable VALUES(-1);  -- fails

   当底层类型的一个操作符或函数适用于一个域值时，域会被自动向下造型为底层类型。因此，\ ``mytable.id - 1``\ 的结果会被认为是类型\ ``integer``\ 而不是\ ``posint``\ 。
   我们可以写成\ ``(mytable.id - 1)::posint``\ 来把结果转换回\ ``posint``\ ，这会导致域的约束被重新检查。在这种情况下，如果该表达式被应用于一个值为1的\ ``id``\ 就会错误。把底层类型的值赋给域类型的一个字段或者变量不需要写显式的造型，但是域的约束将会被检查。

   更多信息请参考\ `CREATE DOMAIN <sql-createdomain.html>`__\ 。