修改一个触发PostgreSQL 17.2 bug的SQL

l1t2025-12-25 11:26

其中最后一个SQL在PostgreSQL 15上能正确执行，但在PostgreSQL 17.2上报错，84: ERROR: wrong varnullingrels (b 3) (expected (b)) for Var 1/1，这里84是sql最后一行，并不是出错的位置，我在网上搜索这个错误，有下面两个有用的信息。

https://www.postgresql.org/message-id/1948671.1686748004%40sss.pgh.pa.us 这个网页提到，2023年就有相关的错误。
https://github.com/citusdata/citus/issues/7899 提出这个问题的人说

The query executes successfully if:

Use INNER JOIN instead of LEFT OUTER JOIN
ranged_partition table is not distributed
Use PG15 & Citus12.1.6

这提供了修改的思路，我在代码中找到了LEFT，代码片段如下。

sql 复制代码

SELECT   
        board,  
        -- 初始化行掩码：确保 SUM 结果被强制转为 int  
        (SELECT array_agg(m) FROM (  
            SELECT COALESCE(SUM(1 << (val - 1)), 0)::int as m  
            FROM generate_series(0, 8) r  
            LEFT JOIN LATERAL (SELECT substring(board, r*9 + i, 1) as ch FROM generate_series(1, 9) i) s ON ch <> '.'
            CROSS JOIN LATERAL (SELECT (ch::text)::int as val) v  
            GROUP BY r ORDER BY r  
        ) s) as rows
    FROM sudoku_puzzles WHERE id = 4

将LEFT改为INNER，果真不报错了，也能算出结果，但有一个漏洞，如果某行全空，left join能保留右侧为NULL的结果，inner join则不能。

将ch为'.'替换为'0'，然后将COALESCE(SUM(1 << (val - 1)), 0)::int改为SUM(case when val>0 then 1 << (val - 1)else 0 end)就可以了。

经验算，结果正确，放到PostgreSQL 15上也能正确执行，效率相同。

后来试验其他版本，发现17.4已经修复了这个bug