9.11. 几何函数和操作符

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

小心

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

表 9-31. 几何操作符

操作符描述例子
+ 平移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-32. 几何函数

函数返回类型描述例子
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-33. 几何类型转换函数

函数返回类型描述例子
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))')
line(point, point)line两点成线line(point '(-1,0)', point '(1,0)')
lseg(box) lseg矩形对角线转化成线段lseg(box '((-1,0),(1,0))')
lseg(point, point)lseg点转换成线段lseg(point '(-1,0)', point '(1,0)')
path(polygon) path多边形转换成路径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 座标。同样, boxlseg的值可以当作两个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 都画在纸上,你就明白了。