9.19. 范围函数和运算符

有关范围类型的概述，请参见Section 8.17。

Table 9.50显示可用于范围类型的运算符。

表 9.50. 范围运算符

Operator	Description	Example	Result
=	equal	int4range(1,5) = '[1,4]'::int4range	t
<>	not equal	numrange(1.1,2.2) <> numrange(1.1,2.3)	t
<	less than	int4range(1,10) < int4range(2,3)	t
>	greater than	int4range(1,10) > int4range(1,5)	t
<=	小于或等于	numrange(1.1,2.2) <= numrange(1.1,2.2)	t
>=	大于或等于	numrange(1.1,2.2) >= numrange(1.1,2.0)	t
@>	contains range	int4range(2,4) @> int4range(2,3)	t
@>	contains element	'[2011-01-01,2011-03-01)'::tsrange @> '2011-01-10'::timestamp	t
<@	范围包含在	int4range(2,4) <@ int4range(1,7)	t
<@	元素包含在	42 <@ int4range(1,7)	f
&&	重叠(有共同点)	int8range(3,7) && int8range(4,12)	t
<<	严格离开	int8range(1,10) << int8range(100,110)	t
>>	严格的权利	int8range(50,60) >> int8range(20,30)	t
&<	不延伸到	int8range(1,20) &< int8range(18,20)	t
&>	不延伸到的左侧	int8range(7,20) &> int8range(5,10)	t
-|-	与...相邻	numrange(1.1,2.2) -|- numrange(2.2,3.3)	t
+	union	numrange(5,15) + numrange(10,20)	[5,20)
*	intersection	int8range(5,15) * int8range(10,20)	[10,15)
-	difference	int8range(5,15) - int8range(10,20)	[5,10)

简单比较运算符<，>，<=和>=首先比较下限，并且只有在相等时才比较上限。这些比较通常对于范围不是很有用，但是提供这些比较是为了允许在范围上构造 B 树索引。

当涉及到空范围时，左/右/相邻运算符始终返回 false；也就是说，不将空范围视为任何其他范围之前或之后。

如果结果范围需要包含两个不相交的子范围，则合并运算符和差异运算符将失败，因为这样的范围无法表示。

Table 9.51显示了可用于范围类型的功能。

表 9.51. 范围功能

Function	Return Type	Description	Example	Result
lower(anyrange)	范围的元素类型	范围下限	lower(numrange(1.1,2.2))	1.1
upper(anyrange)	范围的元素类型	范围上限	upper(numrange(1.1,2.2))	2.2
isempty(anyrange)	boolean	范围是空的吗？	isempty(numrange(1.1,2.2))	false
lower_inc(anyrange)	boolean	下限是包容性的吗？	lower_inc(numrange(1.1,2.2))	true
upper_inc(anyrange)	boolean	上限包括在内吗？	upper_inc(numrange(1.1,2.2))	false
lower_inf(anyrange)	boolean	下界是无限的吗？	lower_inf('(,)'::daterange)	true
upper_inf(anyrange)	boolean	上限是无限的吗？	upper_inf('(,)'::daterange)	true
range_merge(anyrange, anyrange)	anyrange	包含两个给定范围的最小范围	range_merge('[1,2)'::int4range, '[3,4)'::int4range)	[1,4)

如果范围为空或请求的边界为无限，则lower和upper函数返回 null。 lower_inc，upper_inc，lower_inf和upper_inf函数对于空范围均返回 false。