COUNT()空表返回0，因其语义是统计行数且SQL标准规定必返回非NULL整数；COUNT(column)在空结果集或列全NULL时均返回0，但逻辑依赖列值非NULL性；IFNULL(COUNT(),0)冗余，因COUNT(*)永不为NULL。
COUNT(*) 为什么空表也返回 0
因为 COUNT(*) 的语义是“统计行数”，不是“对某列做聚合运算”。SQL 标准明确定义：它必须返回一个非 NULL 的整数，哪怕表为空、WHERE 条件无匹配、GROUP BY 分组后无数据——结果都是 0。
这和 SUM()、AVG() 有本质区别：SUM 需要至少一个非 NULL 值才能得出有意义的和；COUNT(*) 不依赖任何列值，只依赖“是否存在行”这个事实，而“零行”本身就是明确可计的数量。
COUNT(column) 和 COUNT(*) 在空结果时行为一致吗
不一致。虽然空表下两者都返回 0，但触发条件不同：
-
COUNT(*)：只要查询结果集为空（无论是否因 WHERE 过滤、JOIN 失败或表本身为空），就返回0 -
COUNT(column)：返回0是因为结果集中该列所有值都为 NULL（或结果集为空）；但如果结果集非空，只是column全为 NULL，它仍返回0
换句话说：COUNT(*) 看“行是否存在”，COUNT(column) 看“该列是否有非 NULL 值存在”。前者绝不会返回 NULL；后者在非空结果集+全 NULL 列时也返回 0，而非 NULL。
为什么 IFNULL(COUNT(*), 0) 是冗余操作
因为 COUNT(*) 永远不会返回 NULL，所以 IFNULL(COUNT(*), 0) 或 COALESCE(COUNT(*), 0) 完全没必要，纯属画蛇添足。
真正需要兜底的是这些场景：
-
SUM(amount)→ 可能为 NULL，需COALESCE(SUM(amount), 0) -
AVG(score)→ 可能为 NULL，需COALESCE(AVG(score), 0.0) -
COUNT(DISTINCT user_id)→ 虽然返回0而非 NULL，但若业务上想把“全 NULL 列”和“有数据但去重后为 0”区分开，就得额外判断COUNT(user_id)是否为 0
最容易被忽略的兼容性细节
有些旧版 SQLite 或极简嵌入式数据库可能对空集下 COUNT(*) 行为处理不严格，但主流数据库（MySQL 5.7+、PostgreSQL 9.6+、SQL Server 2012+、Oracle 11g+）全部严格遵循 SQL 标准：空结果集 → COUNT(*) = 0，且类型为 INTEGER，非 NULL。
如果你在代码里看到 row['cnt'] or 0 这类 Python 层兜底，大概率是开发者误以为 COUNT(*) 会返回 NULL —— 实际上，那行代码真正要防御的，往往是整个查询没返回结果（比如 fetchone() 得到 None），而不是 COUNT(*) 本身。
