9.11. 几何函数和操作符

几何类型pointboxlseglinepathpolygoncircle有一大堆本地支持函数和操作符,如表 9.33表 9.34表 9.35中所示。

小心

请注意same as操作符(~=),表示pointboxpolygoncircle类型的一般相等概念。这些类型中的某些还有一个=操作符,但是=只比较相同的面积。其它的标量比较操作符 (<=等等)也是为这些类型比较面积。

表 9.33. 几何操作符

操作符描述例子
+ 平移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)'
# 相交的点或方框box '((1,-1),(-1,1))' # box '((1,1),(-2,-2))'
# 路径或多边形中的点数# path '((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之前,包含操作符@><@被分别称为~@。 这些名字仍然可以使用,但是已被废除并且最终将被移除。

表 9.34. 几何函数

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

函数返回类型描述例子
box(circle) box圆到方框box(circle '((0,0),2.0)')
box(point)box点到空方框box(point '(0,0)')
box(point, point)box点到方框box(point '(0,0)', point '(1,1)')
box(polygon)box多边形到方框box(polygon '((0,0),(1,1),(2,0))')
bound_box(box, box)box盒到边界框bound_box(box '((0,0),(1,1))', box '((3,3),(4,4))')
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 座标。同样,box或者lseg类型的值可以当作两个point值的数组值看待。

函数area可以用于类型boxcirclepatharea函数操作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都画在一张图纸上,你就明白了。