WIDTH_BUCKET函数为何无法始终返回等大小分桶结果？

WIDTH_BUCKET的分桶逻辑是严格按照传入的下界、上界、分桶数生成固定宽度的等宽区间，你看到的第二个查询结果不符合预期，本质是两个认知偏差，和函数本身无关：

• 结果里缺失部分桶号，不代表分桶数量不对。你通过GROUP BY 分桶结果聚合时，只有存在对应数据的桶才会返回。第二个查询设定0-100000分10桶时，缺失的桶5、桶7-10，本质是这些桶对应的数值区间内没有表数据，所以不会出现在聚合结果中。
• 你计算的width字段是桶内实际存储数据的极差（最大值减最小值），不是分桶本身的固定宽度。第二个查询的理论桶宽固定为(100000-0)/10 = 10000，10个常规桶的区间依次为[0,10000)、[10000,20000)……[90000,100000)，小于0的值进入0号下溢出桶，大于等于100000的值进入11号上溢出桶。你看到的桶1宽度为9970，是因为该桶内你的数据最小为1、最大为9971，9972-9999区间无数据，属于数据本身分布的空缺，不是分桶宽度不等。

• 设定分桶参数时，确保传入的下界、上界覆盖你需要纳入常规分桶的全部数值范围，超出范围的数值会被统一归入溢出桶，类似第一个示例中1000以上数值全部进入11号桶的情况。
• 如果需要返回包含空桶的全量分桶结果，不要直接对原表分桶字段做GROUP BY，要先生成连续的标准桶号序列，再左关联原表的聚合结果，参考代码如下：

WITH bucket_series AS (
    -- 生成1-10号常规桶，匹配0-100000分10桶的规则
    SELECT LEVEL AS bucket_no,
           (LEVEL - 1) * 10000 AS bucket_lower_bound,
           LEVEL * 10000 AS bucket_upper_bound
    FROM DUAL
    CONNECT BY LEVEL <= 10
    -- 追加11号上溢出桶，需要下溢出桶可按相同逻辑追加0号桶
    UNION ALL
    SELECT 11 AS bucket_no,
           100000 AS bucket_lower_bound,
           NULL AS bucket_upper_bound
    FROM DUAL
)
SELECT b.bucket_no,
       b.bucket_lower_bound,
       b.bucket_upper_bound,
       (b.bucket_upper_bound - b.bucket_lower_bound) AS fixed_bucket_width,
       t.actual_min_val,
       t.actual_max_val
FROM bucket_series b
LEFT JOIN (
    SELECT WIDTH_BUCKET(col, 0, 100000, 10) AS bucket_no,
           MIN(col) AS actual_min_val,
           MAX(col) AS actual_max_val
    FROM your_table
    GROUP BY WIDTH_BUCKET(col, 0, 100000, 10)
) t ON b.bucket_no = t.bucket_no
ORDER BY b.bucket_no

• 验证分桶是否等宽时，直接通过(上界-下界)/分桶数计算理论桶宽即可，不要用桶内实际数据的极差判断桶宽——桶内数据的分布疏密、是否存在空缺，都不会改变分桶本身的固定宽度。

内容的提问来源于stack exchange，提问作者Rupam Bhattacharjee