9.20. 范围函数和操作符 #
范围类型的概述可参见第 8.17 节。
表 9.53 显示了范围类型的专用操作符。除此之外,表 9.1 中所示的常用比较操作符也适用于范围类型。比较操作符首先按范围下界排序,只有当它们相等时才比较上界。这通常不会导致有用的总体排序,但提供的操作符允许在范围上构造惟一索引。
表 9.53. 范围操作符
操作符 描述 示例 |
|---|
第一个范围中包含第二个(范围)吗?
|
范围是否包含元素?
|
第一个范围包含在第二个(范围)中吗?
|
元素是否包含在范围内?
|
范围是否重叠,也就是说,是否有相同的元素?
|
第一个范围是否严格地在第二个(范围)的左侧?
|
第一个范围是否严格地在第二个(范围)的右边?
|
第一个范围是否没有扩展到第二个(范围)的右侧?
|
第一个范围是否没有扩展到第二个(范围)的左侧?
|
范围是相邻的么?
|
计算范围的并集。范围必须重叠或相邻,这样的并集就是一个单一的范围(请参见
|
计算范围的交集。
|
计算范围的差集。第二个范围不能以使差集无法表示为单个范围的方式包含在第一个范围中。
|
涉及空范围时,左侧、右侧和相邻操作符总是返回假;也就是说,空范围不被视为位于任何其他范围之前或之后。
表 9.54 列出了可用于范围类型的函数。
表 9.54. 范围函数
lower_inc、upper_inc、lower_inf 和 upper_inf 函数对空范围都返回假。