Question

有许多内置函数和操作符支持几何类型 point, box, lseg, line, path, polygon, circle ，在表9-28, 表9-29, 表9-30中展示。

警告

请注意"相同"操作符 ~= 表示 point, box, polygon, circle 类型在一般意义上相同。这些类型有些还有一个 = 操作符，不过它只是比较相同的面积。其它的标量比较操作符(<= 等)也是为这些类型比较面积。

表9-28. 几何操作符

操作符	描述	例子
+	平移	box '((0,0),(1,1))' + point '(2.0,0)'
-	平移	box '((0,0),(1,1))' - point '(2.0,0)'
*	伸缩/旋转	box '((0,0),(1,1))' * point '(2.0,0)'
/	伸缩/旋转	box '((0,0),(2,2))' / point '(2.0,0)'
#	交点或者交面	'((1,-1),(-1,1))' # '((1,1),(-1,-1))'
#	路径或多边形顶点数	# '((1,0),(0,1),(-1,0))'
@-@	长度或者周长	@-@ path '((0,0),(1,0))'
@@	中心	@@ circle '((0,0),10)'
##	第一个操作数相对第二个操作数的最近点	point '(0,0)' ## lseg '((2,0),(0,2))'
<->	间距	circle '((0,0),1)' <-> circle '((5,0),1)'
&&	重叠?	box '((0,0),(1,1))' && box '((0,0),(2,2))'
<<	是否严格在左?	circle '((0,0),1)' << circle '((5,0),1)'
>>	是否严格在右?	circle '((5,0),1)' >> circle '((0,0),1)'
&<	是否没有延伸到右边?	box '((0,0),(1,1))' &< box '((0,0),(2,2))'
&>	是否没有延伸到左边?	box '((0,0),(3,3))' &> box '((0,0),(2,2))'
<<|	严格在下?	box '((0,0),(3,3))' <<| box '((3,4),(5,5))'
|>>	严格在上?	box '((3,4),(5,5))' |>> box '((0,0),(3,3))'
&<|	没有延伸到上面?	box '((0,0),(1,1))' &<| box '((0,0),(2,2))'
|&>	没有延伸到下面?	box '((0,0),(3,3))' |&> box '((0,0),(2,2))'
<^	低于(允许接触)?	circle '((0,0),1)' <^ circle '((0,5),1)'
>^	高于(允许接触)?	circle '((0,5),1)' >^ circle '((0,0),1)'
?#	相交?	lseg '((-1,0),(1,0))' ?# box '((-2,-2),(2,2))'
?-	水平?	?- lseg '((-1,0),(1,0))'
?-	水平对齐?	point '(1,0)' ?- point '(0,0)'
?|	竖直?	?| lseg '((-1,0),(1,0))'
?|	竖直对齐?	point '(0,1)' ?| point '(0,0)'
?-|	垂直?	lseg '((0,0),(0,1))' ?-| lseg '((0,0),(1,0))'
?||	平行?	lseg '((-1,0),(1,0))' ?|| lseg '((-1,2),(1,2))'
@>	包含?	circle '((0,0),2)' @> point '(1,1)'
<@	包含或在...上?	point '(1,1)' <@ circle '((0,0),2)'
~=	与...相同?	polygon '((0,0),(1,1))' ~= polygon '((1,1),(0,0))'

【注意】在 PostgreSQL 8.2 之前，包含操作符 @> 和 <@ 被分别称为 ~ 和 @ 。我们反对使用这两个旧名字(当前仍然可以使用)，它们将来会被废除。

表9-29. 几何函数

函数	返回类型	描述	例子
area(object)	double precision	面积	area(box '((0,0),(1,1))')
center(object)	point	中心	center(box '((0,0),(1,2))')
diameter(circle)	double precision	圆直径	diameter(circle '((0,0),2.0)')
height(box)	double precision	矩形的竖直高度	height(box '((0,0),(1,1))')
isclosed(path)	boolean	闭合路径?	isclosed(path '((0,0),(1,1),(2,0))')
isopen(path)	boolean	开路径?	isopen(path '[(0,0),(1,1),(2,0)]')
length(object)	double precision	长度	length(path '((-1,0),(1,0))')
npoints(path)	int	点数	npoints(path '[(0,0),(1,1),(2,0)]')
npoints(polygon)	int	点数	npoints(polygon '((1,1),(0,0))')
pclose(path)	path	把路径转换为闭合	pclose(path '[(0,0),(1,1),(2,0)]')
popen(path)	path	把路径转换为开放	popen(path '((0,0),(1,1),(2,0))')
radius(circle)	double precision	圆半径	radius(circle '((0,0),2.0)')
width(box)	double precision	矩形的水平尺寸	width(box '((0,0),(1,1))')

表9-30. 几何类型转换函数

函数	返回类型	描述	例子
box(circle)	box	将圆转换成矩形	box(circle '((0,0),2.0)')
box(point, point)	box	将点转换成矩形	box(point '(0,0)', point '(1,1)')
box(polygon)	box	将多边形转换成矩形	box(polygon '((0,0),(1,1),(2,0))')
circle(box)	circle	矩形转换成圆	circle(box '((0,0),(1,1))')
circle(point, double precision)	circle	将圆心和半径转换成圆	circle(point '(0,0)', 2.0)
circle(polygon)	circle	将多边形转换成园	circle(polygon '((0,0),(1,1),(2,0))')
lseg(box)	lseg	矩形对角线转化成线段	lseg(box '((-1,0),(1,0))')
lseg(point, point)	lseg	点转换成线段	lseg(point '(-1,0)', point '(1,0)')
path(polygon)	point	多边形转换成路径	path(polygon '((0,0),(1,1),(2,0))')
point(double precision, double precision)	point	结点	point(23.4, -44.5)
point(box)	point	矩形的中心	point(box '((-1,0),(1,0))')
point(circle)	point	圆心	point(circle '((0,0),2.0)')
point(lseg)	point	线段的中心	point(lseg '((-1,0),(1,0))')
point(polygon)	point	多边形的中心	point(polygon '((0,0),(1,1),(2,0))')
polygon(box)	polygon	矩形转换成 4 点多边形	polygon(box '((0,0),(1,1))')
polygon(circle)	polygon	圆转换成 12 点多边形	polygon(circle '((0,0),2.0)')
polygon(npts, circle)	polygon	圆转换成 npts 点多边形	polygon(12, circle '((0,0),2.0)')
polygon(path)	polygon	路径转换成多边形	polygon(path '((0,0),(1,1),(2,0))')

我们可以把一个 point 的两个组成部分当作索引分别为 0 和 1 的数组元素进行访问。比如，如果 t.p 是一个 point 字段，那么 SELECT p[0] FROM t 检索 X 座标而 UPDATE t SET p[1] = ... 改变 Y 座标。同样，box 或 lseg 的值可以当作两个 point 的数组值看待。

area 函数可以用于 box, circle, path 类型。area 函数操作 path 数据类型的时候，只有在 path 的点没有交叉的情况下才可用。比如，path '((0,0),(0,1),(2,1),(2,2),(1,2),(1,0),(0,0))'::PATH 是不行的，而下面的视觉等效 path '((0,0),(0,1),(1,1),(1,2),(2,2),(2,1),(1,1),(1,0),(0,0))'::PATH 就可以。如果交叉和不交叉的 path 概念让你胡涂，那么把上面两个 path 都画在纸上，你就明白了。