9.11. 几何函数和操作符

有许多内置函数和操作符支持几何类型pointboxlseglinepathpolygon, andcircle, 在Table 9-30Table 9-31Table 9-32中展示。

Caution

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

Table 9-30. 几何操作符

操作符描述示例
+平移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))'

Note: PostgreSQL8.2 之前,包含操作符@><@被分别称为~@。 我们反对使用这两个旧名字(当前仍然可以使用),它们将来会被废除。

Table 9-31. 几何函数

函数返回类型描述示例
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))')

Table 9-32. 几何类型转换函数

函数返回类型描述示例
box(circle)box将圆转换成矩形box(circle '((0,0),2.0)')
box(pointpoint)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(pointdouble 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(pointpoint)lseg将点转换成线段lseg(point '(-1,0)', point '(1,0)')
path(polygon)point将多边形转换成路径path(polygon '((0,0),(1,1),(2,0))')
point(double precisiondouble 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(nptscircle)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 座标。 同样,boxlseg的值可以当作两个point的数组值看待

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