circle

circle on a plane

当前阅读 PG 18·选择有来源记录的版本

此版本暂无所选语言的定义，以下显示原始英文内容。

Catalog name: pg_catalog.circle
Type OID: 718
Type kind: Base type
Declared length: 24 bytes
Storage strategy: plain
Input function: circle_in
Output function: circle_out
Documented declaration: circle
Storage Size: 24 bytes
Manual description: Circle
Representation: <(x,y),r> (center point and radius)
aliases: 未知
coverage: source inventory; exact declared input types for operator classes
manual documentation: dedicated family chapter
manual path: datatype-geometric.html
operator classes: map[opcdefault:t opcfamily:gist/circle_ops opcintype:circle opckeytype:box opcmethod:gist opcname:circle_ops opcnamespace:pg_catalog opcowner:POSTGRES]
ranges: 未知
signature: circle

版本定义 PG 18

8.8. Geometric Types

Geometric data types represent two-dimensional spatial objects. Table 8.20 shows the geometric types available in PostgreSQL.

Table 8.20. Geometric Types

Name	Storage Size	Description	Representation
`point`	16 bytes	Point on a plane	(x,y)
`line`	24 bytes	Infinite line	{A,B,C}
`lseg`	32 bytes	Finite line segment	[(x1,y1),(x2,y2)]
`box`	32 bytes	Rectangular box	(x1,y1),(x2,y2)
`path`	16+16n bytes	Closed path (similar to polygon)	((x1,y1),...)
`path`	16+16n bytes	Open path	[(x1,y1),...]
`polygon`	40+16n bytes	Polygon (similar to closed path)	((x1,y1),...)
`circle`	24 bytes	Circle	<(x,y),r> (center point and radius)

In all these types, the individual coordinates are stored as double precision (float8) numbers.

A rich set of functions and operators is available to perform various geometric operations such as scaling, translation, rotation, and determining intersections. They are explained in Section 9.11.

8.8.1. Points

Points are the fundamental two-dimensional building block for geometric types. Values of type point are specified using either of the following syntaxes:

( x , y )
  x , y

where x and y are the respective coordinates, as floating-point numbers.

Points are output using the first syntax.

8.8.2. Lines

Lines are represented by the linear equation Ax + By + C = 0, where A and B are not both zero. Values of type line are input and output in the following form:

{ A, B, C }

Alternatively, any of the following forms can be used for input:

[ ( x1 , y1 ) , ( x2 , y2 ) ]
( ( x1 , y1 ) , ( x2 , y2 ) )
  ( x1 , y1 ) , ( x2 , y2 )
    x1 , y1   ,   x2 , y2

where (x1,y1) and (x2,y2) are two different points on the line.

8.8.3. Line Segments

Line segments are represented by pairs of points that are the endpoints of the segment. Values of type lseg are specified using any of the following syntaxes:

[ ( x1 , y1 ) , ( x2 , y2 ) ]
( ( x1 , y1 ) , ( x2 , y2 ) )
  ( x1 , y1 ) , ( x2 , y2 )
    x1 , y1   ,   x2 , y2

where (x1,y1) and (x2,y2) are the end points of the line segment.

Line segments are output using the first syntax.

8.8.4. Boxes

Boxes are represented by pairs of points that are opposite corners of the box. Values of type box are specified using any of the following syntaxes:

( ( x1 , y1 ) , ( x2 , y2 ) )
  ( x1 , y1 ) , ( x2 , y2 )
    x1 , y1   ,   x2 , y2

where (x1,y1) and (x2,y2) are any two opposite corners of the box.

Boxes are output using the second syntax.

Any two opposite corners can be supplied on input, but the values will be reordered as needed to store the upper right and lower left corners, in that order.

8.8.5. Paths

Paths are represented by lists of connected points. Paths can be open, where the first and last points in the list are considered not connected, or closed, where the first and last points are considered connected.

Values of type path are specified using any of the following syntaxes:

[ ( x1 , y1 ) , ... , ( xn , yn ) ]
( ( x1 , y1 ) , ... , ( xn , yn ) )
  ( x1 , y1 ) , ... , ( xn , yn )
  ( x1 , y1   , ... ,   xn , yn )
    x1 , y1   , ... ,   xn , yn

where the points are the end points of the line segments comprising the path. Square brackets ([]) indicate an open path, while parentheses (()) indicate a closed path. When the outermost parentheses are omitted, as in the third through fifth syntaxes, a closed path is assumed.

Paths are output using the first or second syntax, as appropriate.

8.8.6. Polygons

Polygons are represented by lists of points (the vertices of the polygon). Polygons are very similar to closed paths; the essential semantic difference is that a polygon is considered to include the area within it, while a path is not.

An important implementation difference between polygons and paths is that the stored representation of a polygon includes its smallest bounding box. This speeds up certain search operations, although computing the bounding box adds overhead while constructing new polygons.

Values of type polygon are specified using any of the following syntaxes:

( ( x1 , y1 ) , ... , ( xn , yn ) )
  ( x1 , y1 ) , ... , ( xn , yn )
  ( x1 , y1   , ... ,   xn , yn )
    x1 , y1   , ... ,   xn , yn

where the points are the end points of the line segments comprising the boundary of the polygon.

Polygons are output using the first syntax.

8.8.7. Circles

Circles are represented by a center point and radius. Values of type circle are specified using any of the following syntaxes:

< ( x , y ) , r >
( ( x , y ) , r )
  ( x , y ) , r
    x , y   , r

where (x,y) is the center point and r is the radius of the circle.

Circles are output using the first syntax.

比较版本

完整来源事实

casts

map[castcontext:e castfunc:circle(box) castmethod:f castsource:box casttarget:circle], map[castcontext:e castfunc:circle(polygon) castmethod:f castsource:polygon casttarget:circle], map[castcontext:e castfunc:point(circle) castmethod:f castsource:circle casttarget:point], map[castcontext:e castfunc:box(circle) castmethod:f castsource:circle casttarget:box], map[castcontext:e castfunc:polygon(circle) castmethod:f castsource:circle casttarget:polygon]

catalog

{"array_type_name":"_circle","array_type_oid":"719","descr":"geometric circle, format '\u003ccenter point,radius\u003e'","oid":"718","typacl":"_null_","typalign":"d","typanalyze":"-","typarray":"0","typbasetype":"0","typbyval":"f","typcategory":"G","typcollation":"0","typdefault":"_null_","typdefaultbin":"_null_","typdelim":"','","typelem":"0","typinput":"circle_in","typisdefined":"t","typispreferred":"f","typlen":"24","typmodin":"-","typmodout":"-","typname":"circle","typnamespace":"pg_catalog","typndims":"0","typnotnull":"f","typoutput":"circle_out","typowner":"POSTGRES","typreceive":"circle_recv","typrelid":"0","typsend":"circle_send","typstorage":"p","typsubscript":"-","typtype":"b","typtypmod":"-1"}

operators

map[descr:is contained by oid:758 oprcanhash:f oprcanmerge:f oprcode:pt_contained_circle oprcom:@>(circle,point) oprjoin:contjoinsel oprkind:b oprleft:point oprname:<@ oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:contsel oprresult:bool oprright:circle], map[descr:contains oid:759 oprcanhash:f oprcanmerge:f oprcode:circle_contain_pt oprcom:<@(point,circle) oprjoin:contjoinsel oprkind:b oprleft:circle oprname:@> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:contsel oprresult:bool oprright:point], map[descr:center of oid:1420 oprcanhash:f oprcanmerge:f oprcode:circle_center oprcom:0 oprjoin:- oprkind:l oprleft:0 oprname:@@ oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:- oprresult:point oprright:circle], map[descr:equal by area oid:1500 oprcanhash:f oprcanmerge:f oprcode:circle_eq oprcom:=(circle,circle) oprjoin:eqjoinsel oprkind:b oprleft:circle oprname:= oprnamespace:pg_catalog oprnegate:<>(circle,circle) oprowner:POSTGRES oprrest:eqsel oprresult:bool oprright:circle], map[descr:not equal by area oid:1501 oprcanhash:f oprcanmerge:f oprcode:circle_ne oprcom:<>(circle,circle) oprjoin:neqjoinsel oprkind:b oprleft:circle oprname:<> oprnamespace:pg_catalog oprnegate:=(circle,circle) oprowner:POSTGRES oprrest:neqsel oprresult:bool oprright:circle], map[descr:less than by area oid:1502 oprcanhash:f oprcanmerge:f oprcode:circle_lt oprcom:>(circle,circle) oprjoin:areajoinsel oprkind:b oprleft:circle oprname:< oprnamespace:pg_catalog oprnegate:>=(circle,circle) oprowner:POSTGRES oprrest:areasel oprresult:bool oprright:circle], map[descr:greater than by area oid:1503 oprcanhash:f oprcanmerge:f oprcode:circle_gt oprcom:<(circle,circle) oprjoin:areajoinsel oprkind:b oprleft:circle oprname:> oprnamespace:pg_catalog oprnegate:<=(circle,circle) oprowner:POSTGRES oprrest:areasel oprresult:bool oprright:circle], map[descr:less than or equal by area oid:1504 oprcanhash:f oprcanmerge:f oprcode:circle_le oprcom:>=(circle,circle) oprjoin:areajoinsel oprkind:b oprleft:circle oprname:<= oprnamespace:pg_catalog oprnegate:>(circle,circle) oprowner:POSTGRES oprrest:areasel oprresult:bool oprright:circle], map[descr:greater than or equal by area oid:1505 oprcanhash:f oprcanmerge:f oprcode:circle_ge oprcom:<=(circle,circle) oprjoin:areajoinsel oprkind:b oprleft:circle oprname:>= oprnamespace:pg_catalog oprnegate:<(circle,circle) oprowner:POSTGRES oprrest:areasel oprresult:bool oprright:circle], map[descr:is left of oid:1506 oprcanhash:f oprcanmerge:f oprcode:circle_left oprcom:0 oprjoin:positionjoinsel oprkind:b oprleft:circle oprname:<< oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:positionsel oprresult:bool oprright:circle], map[descr:overlaps or is left of oid:1507 oprcanhash:f oprcanmerge:f oprcode:circle_overleft oprcom:0 oprjoin:positionjoinsel oprkind:b oprleft:circle oprname:&< oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:positionsel oprresult:bool oprright:circle], map[descr:overlaps or is right of oid:1508 oprcanhash:f oprcanmerge:f oprcode:circle_overright oprcom:0 oprjoin:positionjoinsel oprkind:b oprleft:circle oprname:&> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:positionsel oprresult:bool oprright:circle], map[descr:is right of oid:1509 oprcanhash:f oprcanmerge:f oprcode:circle_right oprcom:0 oprjoin:positionjoinsel oprkind:b oprleft:circle oprname:>> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:positionsel oprresult:bool oprright:circle], map[descr:is contained by oid:1510 oprcanhash:f oprcanmerge:f oprcode:circle_contained oprcom:@>(circle,circle) oprjoin:contjoinsel oprkind:b oprleft:circle oprname:<@ oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:contsel oprresult:bool oprright:circle], map[descr:contains oid:1511 oprcanhash:f oprcanmerge:f oprcode:circle_contain oprcom:<@(circle,circle) oprjoin:contjoinsel oprkind:b oprleft:circle oprname:@> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:contsel oprresult:bool oprright:circle], map[descr:same as oid:1512 oprcanhash:f oprcanmerge:f oprcode:circle_same oprcom:~=(circle,circle) oprjoin:eqjoinsel oprkind:b oprleft:circle oprname:~= oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:eqsel oprresult:bool oprright:circle], map[descr:overlaps oid:1513 oprcanhash:f oprcanmerge:f oprcode:circle_overlap oprcom:&&(circle,circle) oprjoin:areajoinsel oprkind:b oprleft:circle oprname:&& oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:areasel oprresult:bool oprright:circle], map[descr:is above oid:1514 oprcanhash:f oprcanmerge:f oprcode:circle_above oprcom:0 oprjoin:positionjoinsel oprkind:b oprleft:circle oprname:|>> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:positionsel oprresult:bool oprright:circle], map[descr:is below oid:1515 oprcanhash:f oprcanmerge:f oprcode:circle_below oprcom:0 oprjoin:positionjoinsel oprkind:b oprleft:circle oprname:<<| oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:positionsel oprresult:bool oprright:circle], map[descr:add oid:1516 oprcanhash:f oprcanmerge:f oprcode:circle_add_pt oprcom:0 oprjoin:- oprkind:b oprleft:circle oprname:+ oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:- oprresult:circle oprright:point], map[descr:subtract oid:1517 oprcanhash:f oprcanmerge:f oprcode:circle_sub_pt oprcom:0 oprjoin:- oprkind:b oprleft:circle oprname:- oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:- oprresult:circle oprright:point], map[descr:multiply oid:1518 oprcanhash:f oprcanmerge:f oprcode:circle_mul_pt oprcom:0 oprjoin:- oprkind:b oprleft:circle oprname:* oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:- oprresult:circle oprright:point], map[descr:divide oid:1519 oprcanhash:f oprcanmerge:f oprcode:circle_div_pt oprcom:0 oprjoin:- oprkind:b oprleft:circle oprname:/ oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:- oprresult:circle oprright:point], map[descr:distance between oid:1520 oprcanhash:f oprcanmerge:f oprcode:circle_distance oprcom:<->(circle,circle) oprjoin:- oprkind:b oprleft:circle oprname:<-> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:- oprresult:float8 oprright:circle], map[descr:distance between oid:1522 oprcanhash:f oprcanmerge:f oprcode:dist_pc oprcom:<->(circle,point) oprjoin:- oprkind:b oprleft:point oprname:<-> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:- oprresult:float8 oprright:circle], map[descr:distance between oid:3291 oprcanhash:f oprcanmerge:f oprcode:dist_cpoint oprcom:<->(point,circle) oprjoin:- oprkind:b oprleft:circle oprname:<-> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:- oprresult:float8 oprright:point], map[descr:distance between oid:1523 oprcanhash:f oprcanmerge:f oprcode:dist_cpoly oprcom:<->(polygon,circle) oprjoin:- oprkind:b oprleft:circle oprname:<-> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:- oprresult:float8 oprright:polygon], map[descr:distance between oid:1383 oprcanhash:f oprcanmerge:f oprcode:dist_polyc oprcom:<->(circle,polygon) oprjoin:- oprkind:b oprleft:polygon oprname:<-> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:- oprresult:float8 oprright:circle], map[descr:overlaps or is below oid:2589 oprcanhash:f oprcanmerge:f oprcode:circle_overbelow oprcom:0 oprjoin:positionjoinsel oprkind:b oprleft:circle oprname:&<| oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:positionsel oprresult:bool oprright:circle], map[descr:overlaps or is above oid:2590 oprcanhash:f oprcanmerge:f oprcode:circle_overabove oprcom:0 oprjoin:positionjoinsel oprkind:b oprleft:circle oprname:|&> oprnamespace:pg_catalog oprnegate:0 oprowner:POSTGRES oprrest:positionsel oprresult:bool oprright:circle]

来源引用

完整定义与证据 JSON

定义来源

center · PostgreSQL 18 · 555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f

正文语言: en · 555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f