描述

如果几何 A 在几何 B 内，则返回 TRUE。当且仅当 A 的所有点都位于 B 的内部（即 B 的内部或边界）时，A 才位于 B 内（或者等效地，A 的所有点都不位于 B 的外部），并且 A 和 B 的内部至少有一个公共点。

为了使此函数有意义，源几何必须具有相同的坐标投影，并且具有相同的 SRID。

用数学术语来说：ST_Within(A, B) ⇔ (A ⋂ B = A) ∧ (Int(A) ⋂ Int(B) ≠ ∅)

包含关系是自反的：每个几何都包含在自身内。该关系是反对称的：如果 ST_Within(A,B) = true 且 ST_Within(B,A) = true，则这两个几何必须在拓扑上相等（ST_Equals(A,B) = true）。

ST_Within 是 ST_Contains 的逆运算。因此，ST_Within(A,B) = ST_Contains(B,A)。

	由于内部必须有一个公共点，因此该定义的一个微妙之处在于，完全位于多边形或线边界上的线和点不在几何内部。有关更多详细信息，请参见 OGC 覆盖、包含、内部的细微差别。ST_CoveredBy 谓词提供了一个更具包容性的关系。

	此函数自动包括一个边界框比较，该比较使用几何上可用的任何空间索引。 要避免使用索引，请使用函数 _ST_Within。

由 GEOS 模块执行

增强：2.3.0 增强了 PIP 短路，以支持具有少量点的多点几何。以前版本仅支持多边形中的点。

	增强：3.0.0 启用对 GEOMETRYCOLLECTION 的支持

	请勿对无效几何使用此函数。您将得到意外的结果。

注意：这是返回布尔值而非整数的“允许”版本。

此方法实施 OGC 简单要素实施规范 SQL 1.1。

s2.1.1.2 // s2.1.13.3 - a.Relate(b, 'T*F**F***')

此方法实施 SQL/MM 规范。

SQL-MM 3: 5.1.30

示例

--a circle within a circle
SELECT ST_Within(smallc,smallc) As smallinsmall,
  ST_Within(smallc, bigc) As smallinbig,
  ST_Within(bigc,smallc) As biginsmall,
  ST_Within(ST_Union(smallc, bigc), bigc) as unioninbig,
  ST_Within(bigc, ST_Union(smallc, bigc)) as biginunion,
  ST_Equals(bigc, ST_Union(smallc, bigc)) as bigisunion
FROM
(
SELECT ST_Buffer(ST_GeomFromText('POINT(50 50)'), 20) As smallc,
  ST_Buffer(ST_GeomFromText('POINT(50 50)'), 40) As bigc) As foo;
--Result
 smallinsmall | smallinbig | biginsmall | unioninbig | biginunion | bigisunion
--------------+------------+------------+------------+------------+------------
 t            | t          | f          | t          | t          | t
(1 row)
    

另请参阅

ST_Contains、ST_CoveredBy、ST_Equals、ST_IsValid