9.11. 几何函数和操作符
几何类型point、box、 lseg、line、path、 polygon和circle有一大堆本地支持函数和操作符,如表 9.34、表 9.35和表 9.36中所示。
小心
请注意”操作符(~=),表示point、box、polygon和circle类型的一般相等概念。这些类型中的某些还有一个=操作符,但是=只比较相同的。其它的标量比较操作符 (<=等等)也是为这些类型比较面积。
表 9.34. 几何操作符
| 操作符 | 描述 | 例子 |
|---|---|---|
+ |
平移 | 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))' |
注意
在之前,包含操作符@>和<@被分别称为~和@。 这些名字仍然可以使用,但是已被废除并且最终将被移除。
表 9.35. 几何函数
| 函数 | 返回类型 | 描述 | 例子 |
|---|---|---|---|
|
double precision |
面积 | area(box '((0,0),(1,1))') |
|
point |
中心 | center(box '((0,0),(1,2))') |
|
double precision |
圆的直径 | diameter(circle '((0,0),2.0)') |
|
double precision |
方框的垂直尺寸 | height(box '((0,0),(1,1))') |
|
boolean |
一个封闭路径? | isclosed(path '((0,0),(1,1),(2,0))') |
|
boolean |
一个开放路径? | isopen(path '[(0,0),(1,1),(2,0)]') |
|
double precision |
长度 | length(path '((-1,0),(1,0))') |
|
int |
点数 | npoints(path '[(0,0),(1,1),(2,0)]') |
|
int |
点数 | npoints(polygon '((1,1),(0,0))') |
|
path |
将路径转换成封闭的 | pclose(path '[(0,0),(1,1),(2,0)]') |
|
path |
将路径转换成开放 | popen(path '((0,0),(1,1),(2,0))') |
|
double precision |
圆的半径 | radius(circle '((0,0),2.0)') |
|
double precision |
方框的水平尺寸 | width(box
'((0,0),(1,1))') |
表 9.36. 几何类型转换函数
我们可以把一个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都画在一张图纸上,你就明白了。
「喜欢这篇文章,您的关注和赞赏是给作者最好的鼓励」
关注作者
【版权声明】本文为墨天轮用户原创内容,转载时必须标注文章的来源(墨天轮),文章链接,文章作者等基本信息,否则作者和墨天轮有权追究责任。如果您发现墨天轮中有涉嫌抄袭或者侵权的内容,欢迎发送邮件至:contact@modb.pro进行举报,并提供相关证据,一经查实,墨天轮将立刻删除相关内容。




