如果任何参数为 NULL，则返回值为 NULL。

如果任何几何参数不是语法上格式良好的几何，则会发生 ER_GIS_INVALID_DATA 错误。

如果任何几何参数是未定义空间参考系统 (SRS) 中语法上格式良好的几何，则会发生 ER_SRS_NOT_FOUND 错误。

对于接受多个几何参数的函数，如果这些参数不在同一个 SRS 中，则会发生 ER_GIS_DIFFERENT_SRIDS 错误。

否则，返回值为非 NULL。

ST_Distance_Sphere(g1, g2 [, radius])

返回 Point 或 MultiPoint 参数在球体上的最小球面距离，以米为单位。（对于通用距离计算，请参见 ST_Distance() 函数。）可选的 radius 参数应以米为单位给出。

如果两个几何参数都是 SRID 为 0 的有效笛卡尔 Point 或 MultiPoint 值，则返回值是在具有提供半径的球体上这两个几何之间的最短距离。如果省略，默认半径为 6,370,986 米，点 X 和 Y 坐标分别解释为经度和纬度，单位为度。

如果两个几何参数都是地理空间参考系统 (SRS) 中的有效 Point 或 MultiPoint 值，则返回值是在具有提供半径的球体上这两个几何之间的最短距离。如果省略，默认半径等于平均半径，定义为 (2a+b)/3，其中 a 是 SRS 的长半轴，b 是短半轴。

ST_Distance_Sphere() 处理其参数的方式如本节引言中所述，但有以下例外：

mysql> SET @pt1 = ST_GeomFromText('POINT(0 0)');
mysql> SET @pt2 = ST_GeomFromText('POINT(180 0)');
mysql> SELECT ST_Distance_Sphere(@pt1, @pt2);
+--------------------------------+
| ST_Distance_Sphere(@pt1, @pt2) |
+--------------------------------+
|             20015042.813723423 |
+--------------------------------+

ST_IsValid(g)

如果参数在几何上有效，则返回 1；如果参数在几何上无效，则返回 0。几何有效性由 OGC 规范定义。

唯一有效的空几何以空几何集合值的格式表示。在这种情况下，ST_IsValid() 返回 1。MySQL 不支持 GIS EMPTY 值，例如 POINT EMPTY。

ST_IsValid() 处理其参数的方式如本节引言中所述，但有以下例外：

mysql> SET @ls1 = ST_GeomFromText('LINESTRING(0 0,-0.00 0,0.0 0)');
mysql> SET @ls2 = ST_GeomFromText('LINESTRING(0 0, 1 1)');
mysql> SELECT ST_IsValid(@ls1);
+------------------+
| ST_IsValid(@ls1) |
+------------------+
|                0 |
+------------------+
mysql> SELECT ST_IsValid(@ls2);
+------------------+
| ST_IsValid(@ls2) |
+------------------+
|                1 |
+------------------+

ST_MakeEnvelope(pt1, pt2)

返回围绕两个点形成的矩形，作为一个 Point、LineString 或 Polygon。

计算是在笛卡尔坐标系中进行的，而不是在球体、椭球体或地球上进行的。

给定两个点 pt1 和 pt2，ST_MakeEnvelope() 在抽象平面（如下所示）上创建结果几何。

结果几何图形的 SRID 为 0。

ST_MakeEnvelope() 处理其参数的方式如本节介绍中所述，但以下情况除外

mysql> SET @pt1 = ST_GeomFromText('POINT(0 0)');
mysql> SET @pt2 = ST_GeomFromText('POINT(1 1)');
mysql> SELECT ST_AsText(ST_MakeEnvelope(@pt1, @pt2));
+----------------------------------------+
| ST_AsText(ST_MakeEnvelope(@pt1, @pt2)) |
+----------------------------------------+
| POLYGON((0 0,1 0,1 1,0 1,0 0))         |
+----------------------------------------+

ST_Simplify(g, max_distance)

使用 Douglas-Peucker 算法简化几何图形，并返回相同类型的简化值。

几何图形可以是任何几何图形类型，尽管 Douglas-Peucker 算法可能不会实际处理每种类型。几何图形集合通过将各个组件依次提供给简化算法来进行处理，并返回的几何图形被放入几何图形集合中作为结果。

max_distance 参数是顶点到要删除的其他线段的距离（以输入坐标单位表示）。位于简化线段此距离内的顶点将被删除。

根据 Boost.Geometry，几何图形可能由于简化过程而变得无效，并且该过程可能会创建自相交。若要检查结果的有效性，请将其传递给 ST_IsValid()。

ST_Simplify() 处理其参数的方式如本节介绍中所述，但以下情况除外

mysql> SET @g = ST_GeomFromText('LINESTRING(0 0,0 1,1 1,1 2,2 2,2 3,3 3)');
mysql> SELECT ST_AsText(ST_Simplify(@g, 0.5));
+---------------------------------+
| ST_AsText(ST_Simplify(@g, 0.5)) |
+---------------------------------+
| LINESTRING(0 0,0 1,1 1,2 3,3 3) |
+---------------------------------+
mysql> SELECT ST_AsText(ST_Simplify(@g, 1.0));
+---------------------------------+
| ST_AsText(ST_Simplify(@g, 1.0)) |
+---------------------------------+
| LINESTRING(0 0,3 3)             |
+---------------------------------+

ST_Validate(g)

根据 OGC 规范验证几何图形。几何图形可以是语法上格式良好的（WKB 值加上 SRID），但在几何上无效。例如，以下多边形在几何上无效：POLYGON((0 0, 0 0, 0 0, 0 0, 0 0))

ST_Validate() 如果几何图形是语法上格式良好的并且在几何上有效，则返回几何图形；如果参数不是语法上格式良好的或在几何上无效或为 NULL，则返回 NULL。

ST_Validate() 可用于筛选无效的几何数据，尽管会带来成本。对于需要更精确结果且不受无效数据影响的应用程序，这种代价可能是值得的。

如果几何图形参数有效，则按原样返回，但如果输入的 Polygon 或 MultiPolygon 包含顺时针环，则在检查有效性之前会反转这些环。如果几何图形有效，则返回具有反转环的值。

唯一有效的空几何图形以空几何图形集合值的格式表示。在这种情况下，ST_Validate() 会直接返回它，而无需进一步检查。

ST_Validate() 处理其参数的方式如本节介绍中所述，但以下情况除外

mysql> SET @ls1 = ST_GeomFromText('LINESTRING(0 0)');
mysql> SET @ls2 = ST_GeomFromText('LINESTRING(0 0, 1 1)');
mysql> SELECT ST_AsText(ST_Validate(@ls1));
+------------------------------+
| ST_AsText(ST_Validate(@ls1)) |
+------------------------------+
| NULL                         |
+------------------------------+
mysql> SELECT ST_AsText(ST_Validate(@ls2));
+------------------------------+
| ST_AsText(ST_Validate(@ls2)) |
+------------------------------+
| LINESTRING(0 0,1 1)          |
+------------------------------+