ONLY_FULL_GROUP_BY 怎样处理函数依赖

ONLY_FULL_GROUP_BY 的关键不是“SELECT 里的列必须全部写进 GROUP BY”，而是：未聚合列必须已经出现在分组列中，或能被分组列唯一确定。这个“能唯一确定”的关系就是函数依赖。

官方文档：https://dev.mysql.com/doc/refman/8.4/en/group-by-functional-dependence.html

为什么有些列没写进 GROUP BY 仍然合法

假设按国家代码统计语言数量：

SELECT co.Code, co.Name, COUNT(*) AS language_count
FROM country AS co
JOIN countrylanguage AS cl ON cl.CountryCode = co.Code
GROUP BY co.Code;
-- 主键让 co.Code 唯一确定同一国家的其他字段。

co.Name 没有直接写进 GROUP BY，但查询仍可以成立，前提是 co.Code 是 country 的主键，或者是由非空列组成的唯一键。一个国家代码只能对应一行国家记录，所以在每个分组里，国家名称只有一个可能值。

反过来，如果按一个不唯一的普通列分组，组内可能出现多个名称，MySQL 就不能猜测应该返回哪一个。关闭 ONLY_FULL_GROUP_BY 只会让服务器从组内任意挑值，ORDER BY 也不能改变这个挑选过程。

先检查键，再判断函数依赖是否能传过连接

可以把函数依赖写成“左边的值确定右边的值”。对上面的查询，关系近似为：

{co.Code} -> {co.*}

如果查询同时使用明细表的复合主键和等值连接，关系还可以组合起来。例如明细表的 (CountryCode, Language) 唯一确定明细行，连接条件又把 cl.CountryCode 对应到 co.Code，于是分组列可以间接确定国家表字段。

SELECT co.Name, cl.Language,
       cl.Percentage * co.Population / 100.0 AS spoken_by
FROM countrylanguage AS cl
JOIN country AS co ON cl.CountryCode = co.Code
GROUP BY cl.CountryCode, cl.Language;
-- 复合主键与等值连接共同决定可选出的非聚合列。

这里要重点看三件事：键是否真的唯一、唯一键列是否允许 NULL、连接是否为等值的 INNER JOIN。可允许 NULL 的唯一索引不能简单当成主键使用，因为多个 NULL 会破坏“唯一确定”的直觉。

单值过滤能解决一部分没有 GROUP BY 的查询

有聚合函数但没有 GROUP BY 时，整张结果集被看成一个组。下面的写法可以成立，是因为 WHERE 把 a 限制成了一个确定值：

SELECT a, SUM(b) AS total_b
FROM mytable
WHERE a = 'abc'
  AND b > 0
GROUP BY a;
-- WHERE 把 a 限定为单值，GROUP BY 保留业务统计粒度。

如果去掉 GROUP BY a，是否能保留 a 要看过滤条件是否仍然把它限制为单值。若过滤条件允许多个 a，就不能把“当前数据恰好只有一个值”当成 SQL 语义保证。

实际排查时，可以按这个顺序检查：先看报错列是不是聚合列；再看它是否在 GROUP BY；然后检查分组列上的主键或非空唯一键；最后检查 WHERE 和 INNER JOIN 是否提供了明确的等值约束。

表达式和外连接是最容易误判的边界

MySQL 能识别部分直接相等的分组表达式，但不会把所有数学关系都当作函数依赖。例如按 age - 1 分组时，人可以推断 age 唯一确定分组值，服务器却不一定能反向推导。此时不要为了“让它通过”随意关闭模式，可以把分组结果先放进派生表：

SELECT id, bucket, id + bucket AS combined_value
FROM (
    SELECT id, FLOOR(value / 100) AS bucket
    FROM tbl_name
    GROUP BY id, FLOOR(value / 100)
) AS grouped_rows;
-- 先固定派生表的分组结果，再在外层组合表达式。

LEFT JOIN 还要看决定列属于哪一侧。左表的每一行可能找不到右表匹配项，右表字段会被补成 NULL；如果把决定列放到错误一侧，多个补空行可能落进同一组，右表字段就不再唯一。

当业务确实不关心组内具体取哪个非聚合值，可以明确写出：

SELECT name,
       ANY_VALUE(address) AS any_address,
       MAX(age) AS max_age
FROM people
GROUP BY name;
-- 只有业务允许地址任意取值时，才显式表达这种不确定性。

ANY_VALUE() 表达的是“这个列取哪个值都可以”，不是“这个列已经被证明唯一”。如果地址应该唯一，优先补充正确的键、调整分组列或先聚合再连接；只有任意值符合业务语义时，才使用它。

遇到 ONLY_FULL_GROUP_BY 报错的排查清单

• 确认报错列是未聚合列，还是包含未聚合列的表达式。
• 确认 GROUP BY 是否覆盖了真正的业务粒度，而不是只为消除报错添加字段。
• 检查主键或唯一键是否完整、是否包含可为 NULL 的列。
• 检查连接条件是 INNER JOIN 等值关系，还是改变了行数语义的外连接。
• 若使用 ANY_VALUE()，先确认业务真的允许任意值，并在字段别名或注释中留下意图。

常见问题

把所有 SELECT 列都加入 GROUP BY 是不是最安全？

不一定。这样可能改变分组粒度，让原本要统计的多行被拆成更小的组。先确定业务粒度，再判断未聚合列是否由键或连接条件唯一确定。

唯一索引允许 NULL 时为什么要谨慎？

因为可为空的唯一索引并不能保证多个 NULL 只对应一行。函数依赖需要稳定的唯一性，主键或非空唯一键更适合用作判断依据。

ANY_VALUE() 能不能修复所有 ONLY_FULL_GROUP_BY 报错？

它只能表达“任意值都可以”。如果实际需要最新地址、最大金额对应的名称等确定关系，应先用排序、窗口函数或派生表选出目标行，而不是把不确定性隐藏掉。