MySQL JSON_OVERLAPS 判断两个数组相交时有哪些边界

给文章标签、商品属性或权限集合做“是否有交集”判断时，JSON_OVERLAPS() 的核心规则很简单：两个 JSON 数组只要共享一个完整元素就返回 1，否则返回 0。真正容易出错的是嵌套数组、数字和字符串的类型差异，以及把它误当成“一个数组包含另一个数组”。

普通数组：一个完整元素就算相交

下面的 SQL 适合先建立直觉。第一个比较共享了 5 和 7，第二个只共享 7，第三个没有共同元素。数组位置不同并不会影响结果。

-- 中文注释：验证“至少一个完整元素相同”的数组交集规则
SELECT
  JSON_OVERLAPS('[1,3,5,7]', '[2,5,7]') AS two_matches,
  JSON_OVERLAPS('[1,3,5,7]', '[2,6,7]') AS one_match,
  JSON_OVERLAPS('[1,3,5,7]', '[2,6,8]') AS no_match;

这里不能用字符串的 LIKE 思路理解。数组元素是 JSON 值，函数比较的是元素本身；因此它不会因为一个元素“看起来包含”另一个元素就返回真。

标量、对象和嵌套数组有不同含义

两个标量作为参数时，函数退化为简单相等判断；一个标量和一个数组比较时，标量可看作待比较的单个数组元素。例如 JSON_OVERLAPS('[4,5,6]', '6') 返回 1。对象则比较完整的键值对：键相同但值不同，不算重叠。

-- 中文注释：标量对数组按一个元素处理，对象要求键和值同时相同
SELECT
  JSON_OVERLAPS('[4,5,6]', '6') AS scalar_in_array,
  JSON_OVERLAPS('{"role":"admin"}', '{"role":"user"}') AS different_value,
  JSON_OVERLAPS('{"role":"admin"}', '{"role":"admin","active":true}') AS same_pair;

嵌套数组是一个整体元素，不会进行“部分相交”。例如 [[1,2]] 与 [1] 不会因为内部出现数字 1 就命中。若业务要比较嵌套标签，应该先约定数据层级，或者用 JSON_TABLE() 展开到关系表再比较。

类型、NULL 和空数组是最常见的边界

MySQL 不会自动把数字 6 转成字符串 "6"。所以数组中的 6 与参数 '"6"' 不匹配。JSON 文档里的 null 是一个 JSON 值，而 SQL 表达式中的 NULL 表示缺失或未知，两者不要混用。

-- 中文注释：显式覆盖数字、字符串、JSON null 和 SQL NULL
SELECT
  JSON_OVERLAPS('[4,5,6]', '["6"]') AS number_vs_text,
  JSON_OVERLAPS('[null]', '[null]') AS json_null_value,
  JSON_OVERLAPS(NULL, '[1]') AS sql_null_input,
  JSON_OVERLAPS('[]', '[1]') AS empty_array;

把结果放进 WHERE 时，NULL 不等于 0：它不会通过普通的真值过滤。若输入来自可选请求参数，先在应用层决定“缺失参数代表不过滤”还是“缺失参数代表无匹配”，不要让 SQL 的三值逻辑替你做业务决策。

用于 JSON 列查询时先固定语义

假设 article 表的 tags 列保存 JSON 数组，需求是筛选“至少命中一个筛选标签”的记录：

-- 中文注释：只表达任意标签相交，参数必须是合法 JSON 数组
SELECT id, title
FROM article
WHERE JSON_OVERLAPS(tags, CAST(:filter_tags AS JSON));

如果数据量很大，可进一步查看 InnoDB 多值索引是否适合当前查询形态；不要因为函数名里有“overlap”就假设一定能走普通 B-tree 索引。先用实际执行计划和数据分布评估。

常见问题

JSON_OVERLAPS 会忽略数组重复值吗？

判断结果只关心是否存在共同元素，不把重复次数当作匹配条件。需要计数或多重集合语义时，应先展开元素再聚合。

为什么 JSON_OVERLAPS('[1]', '["1"]') 返回 0？

因为 JSON 数字和 JSON 字符串是不同类型，函数不会替你做类型转换。写入标签前应统一编码规范。

JSON_OVERLAPS 能替代 JSON_CONTAINS 吗？

不能。前者回答“有没有一个共同项”，后者回答“候选文档是否被目标文档包含”，两者的 AND/OR 语义相反。

这组边界可以作为回归清单：普通数组、空数组、嵌套数组、对象键值对、数字与字符串、JSON null、SQL NULL 各保留一个样例，后续修改标签格式时先跑清单再改查询。