MySQL ST_Validate 怎样检查并返回有效几何对象

在导入地图边界、轨迹或区域数据时，几何值可能“能被 MySQL 读出来”，却不符合几何有效性规则。ST_Validate(g) 用来处理这个边界：输入语法正确且几何有效时返回几何对象；输入为无效几何、语法不正确或 NULL 时返回 NULL。它不是自动修复器，也不会把所有异常都折叠成 NULL。

官方地址：https://dev.mysql.com/doc/refman/8.4/en/spatial-convenience-functions.html

先准备一组能区分结果的几何输入

这次实验只需要 MySQL 8.4 的空间函数。为了让结果容易对照，准备一条至少包含两个点的有效线串、一条只有一个点的退化线串，以及一个明确的 NULL 输入。ST_GeomFromText() 把 WKT 转成几何对象，ST_AsText() 则把返回对象转换回可读文本。

-- 创建三类输入：有效线串、退化线串和 NULL。
SET @valid_line = ST_GeomFromText('LINESTRING(0 0, 1 1)');
SET @invalid_line = ST_GeomFromText('LINESTRING(0 0)');
SET @missing_geometry = NULL;

-- 先确认输入变量本身的类型，便于后面比较返回值。
SELECT
  ST_GeometryType(@valid_line) AS valid_type,
  ST_GeometryType(@invalid_line) AS invalid_type,
  @missing_geometry IS NULL AS missing_is_null;

这里的“退化”不是 SQL 语法错误，而是几何对象的结构不满足有效性要求。把两类问题分开后，才能理解 ST_Validate() 为什么会返回 NULL。

ST_Validate 返回值要按几何对象或 NULL 读取

把三个输入交给 ST_Validate()，再用 ST_AsText() 展开返回值，能直接看到它的核心语义：有效线串保留为几何对象，退化线串变成 NULL，原本的 NULL 仍然是 NULL。

-- ST_Validate 返回有效几何本身；对 NULL 结果再转文本仍会得到 NULL。
SELECT
  ST_AsText(ST_Validate(@valid_line)) AS valid_result,
  ST_AsText(ST_Validate(@invalid_line)) AS invalid_result,
  ST_AsText(ST_Validate(@missing_geometry)) AS missing_result;

-- 用 IS NULL 区分“没有可继续处理的几何对象”。
SELECT
  ST_Validate(@valid_line) IS NULL AS valid_rejected,
  ST_Validate(@invalid_line) IS NULL AS invalid_rejected,
  ST_Validate(@missing_geometry) IS NULL AS missing_rejected;

第一个查询中，有效输入会得到类似 LINESTRING(0 0,1 1) 的文本；后两个表达式是 NULL。第二个查询则把这个结果变成便于筛选的 0/1。注意：NULL 同时可能代表“输入缺失”和“几何无效”，如果业务需要区分两者，就要在进入函数前单独判断原始列是否为 NULL。

用 ST_IsValid 做诊断，用 ST_Validate 做结果筛选

两者都与几何有效性有关，但返回契约不同。ST_IsValid(g) 返回 1 或 0，适合在报表或排障查询里说明输入是否有效；ST_Validate(g) 直接给出可继续传递的几何对象或 NULL，适合接在后续空间运算之前。

-- 同一批输入同时查看布尔诊断和可传递结果。
SELECT
  ST_IsValid(@valid_line) AS valid_flag,
  ST_IsValid(@invalid_line) AS invalid_flag,
  ST_Validate(@valid_line) IS NOT NULL AS valid_kept,
  ST_Validate(@invalid_line) IS NOT NULL AS invalid_kept;

-- 只让有效几何进入后续流程；原始列为 NULL 时也会被排除。
SELECT id, ST_AsText(ST_Validate(shape)) AS clean_shape
FROM source_shapes
WHERE shape IS NOT NULL
  AND ST_IsValid(shape) = 1;

如果要“保留经过验证的几何”，可以直接选择 ST_Validate(shape)；如果要“解释为什么被拒绝”，则同时保留原始是否为 NULL 的标志，并记录 ST_IsValid(shape) 的结果。不要把布尔值当作几何对象继续传给 ST_Distance() 或其他空间函数。

空几何、环方向和地理坐标越界是三个不同边界

官方文档对几个容易混淆的场景有单独说明。MySQL 支持的有效空几何是空几何集合，ST_Validate() 会直接返回它；它不支持 POINT EMPTY 这种写法。对于有效的 Polygon 或 MultiPolygon，如果环方向需要调整，函数会在有效性检查前处理方向，并返回处理后的值。相反，地理 SRS 中经纬度越界会报错，而不是安静地返回 NULL。

-- 空几何集合是 MySQL 认可的有效空几何形式。
SET @empty_collection = ST_GeomFromText('GEOMETRYCOLLECTION EMPTY');
SELECT ST_AsText(ST_Validate(@empty_collection)) AS empty_result;

-- 地理 SRS 的坐标必须落在官方规定范围内；越界条件应单独捕获。
SET @bad_geographic_point = ST_GeomFromText('POINT(181 0)', 4326);
SELECT ST_Validate(@bad_geographic_point) AS geographic_result;

这段示例的第二个查询用于说明边界，不应把它和无效线串放在同一条“无效即 NULL”的业务规则里。一个可靠的导入流程通常先检查原始值是否缺失，再构造几何对象，最后用 ST_Validate() 筛掉几何无效值；坐标范围错误则作为异常记录或单独的拒绝原因。

把验证结果接入写回或查询流程

如果目标是把清洗后的几何写入新表，可以让 ST_Validate() 作为结果表达式，并用 WHERE 排除原始缺失和无效对象。这样做不会把输入自动修复成另一个几何；它只是把符合规则的值继续向下游传递。

-- 只写入原始存在且几何有效的记录，保留原主键便于追踪。
INSERT INTO clean_shapes (source_id, shape)
SELECT id, ST_Validate(shape)
FROM source_shapes
WHERE shape IS NOT NULL
  AND ST_IsValid(shape) = 1;

-- 单独记录被筛掉的原始记录，区分缺失和几何无效。
INSERT INTO rejected_shapes (source_id, reason)
SELECT
  id,
  CASE
    WHEN shape IS NULL THEN 'missing geometry'
    WHEN ST_IsValid(shape) = 0 THEN 'invalid geometry'
    ELSE 'accepted'
  END
FROM source_shapes
WHERE shape IS NULL OR ST_IsValid(shape) = 0;

这里把“可继续使用的几何”和“拒绝原因”分成两条路径。生产表名和字段名需要替换成自己的结构；如果表中允许多种 SRID，还应在进入空间运算前确认它们符合业务使用的坐标参考系。

实验结束后的判断清单

• 输入是 NULL 还是非空几何，是否需要在结果中区分？
• 需要一个 1/0 诊断，还是需要一个可以继续参与空间运算的几何对象？前者看 ST_IsValid，后者看 ST_Validate。
• WKT 语法正确后，几何结构是否仍然满足 OGC 有效性规则？
• 输入是否使用地理 SRS，坐标是否可能越界？异常处理不能只依赖 IS NULL。
• 有效值写回前是否保留了原始主键和拒绝记录，便于追踪数据来源？

常见问题

ST_Validate 会自动修复自相交多边形吗？

不能把它当作通用修复器。它按有效性规则检查并返回有效几何；无效时返回 NULL。需要修复时应另行设计清洗步骤，再重新验证。

为什么 ST_Validate 无效时返回 NULL，而不是 0？

因为它的返回契约是“几何对象或 NULL”，适合直接作为后续空间函数的输入筛选。需要 0/1 时使用 ST_IsValid 或对 ST_Validate(g) IS NULL 做布尔判断。

空几何是不是都有效？

不是。MySQL 文档明确支持的有效空几何是空几何集合；不要把不支持的 POINT EMPTY 形式当作同一类输入。