精准锁定“只买过某类”的用户需用exists确认买过目标类别、not exists排除买过非目标类别的用户，且须显式处理null值和空订单等边界情况。
用 EXISTS + NOT EXISTS 精准锁定“只买过某类”的用户
直接用 WHERE category = 'X' 会漏掉那些既买过 X 又买过 Y 的人；用 GROUP BY user_id HAVING COUNT(DISTINCT category) = 1 又没法保证那个唯一类别就是 X。真正可靠的做法是组合两个半句：一个确认买过 X，另一个确认没买过非 X。
典型写法：
SELECT DISTINCT u.user_id
FROM users u
WHERE EXISTS (
SELECT 1 FROM orders o JOIN order_items oi ON o.order_id = oi.order_id
WHERE o.user_id = u.user_id AND oi.category = 'Electronics'
)
AND NOT EXISTS (
SELECT 1 FROM orders o JOIN order_items oi ON o.order_id = oi.order_id
WHERE o.user_id = u.user_id AND oi.category != 'Electronics'
);
-
EXISTS检查至少一次购买记录匹配目标类别，不依赖聚合，性能通常比COUNT更好 -
NOT EXISTS是关键——它排除所有在非目标类别下有订单的用户，哪怕只有一条也排除 - 注意
!= 'Electronics'会漏掉NULL类别值；如果数据中存在空值，得改成category IS NULL OR category != 'Electronics'
当类别字段在主订单表而非明细表时怎么改
有些系统把产品类别冗余到 orders 表（比如每个订单只卖一种品类），这时关联逻辑变简单，但语义风险上升：如果一个订单含多个品类却被错误归为单一值，结果就不可靠。
- 若确实在
orders.category，把上面子查询里的order_items换成orders，去掉JOIN - 务必先确认该字段是否真能代表“订单所含全部品类”——查几个样本订单，对比
order_items实际内容 - 如果发现冗余字段不准，必须回退到明细表关联，否则结果一定错
用窗口函数替代 EXISTS 的适用场景
PostgreSQL 或 SQL Server 2022+ 用户可考虑用 ARRAY_AGG(DISTINCT category) 配合 HAVING，但要注意内存和排序开销。
SELECT user_id
FROM (
SELECT o.user_id,
ARRAY_AGG(DISTINCT oi.category) AS categories
FROM orders o
JOIN order_items oi ON o.order_id = oi.order_id
GROUP BY o.user_id
) t
WHERE categories = ARRAY['Electronics'];
-
= ARRAY[...]要求顺序和内容完全一致，ARRAY['Electronics']和ARRAY['Electronics', 'Books']不匹配 - 大数据量时，
ARRAY_AGG可能触发临时磁盘排序，而EXISTS/NOT EXISTS通常能更早终止扫描 - MySQL 8.0 不支持数组类型，此写法直接报错，别硬套
容易被忽略的边界情况
真实业务里，用户可能有订单但没商品（比如取消订单、赠品单），或商品没填类别（category IS NULL）。这些都会让逻辑跑偏。
-
NOT EXISTS子句里必须显式处理NULL：写成category IS NULL OR category != 'Electronics'才算真正排除 - 检查是否存在无
order_items记录的订单——这类订单不会进入JOIN，自然也不会被EXISTS捕获，但它们不影响“只买过某类”的判定（因为没买任何东西） - 如果需求其实是“买过且仅买过 Electronics”，那空订单本来就不该算作“购买过”，当前逻辑已符合；但如果需求是“所有订单都属于 Electronics”，就得额外过滤掉无明细的订单
