为什么 pg_size_pretty 返回负值？

Question

我正在使用 pg_size_pretty() ，我发现当我传递一个很大的值时，它开始返回负值。 这是我的测试：

select pg_size_pretty(9223370000000000000); -- "8388606 TB"
select pg_size_pretty(9223371000000000000); -- "8388607 TB"
select pg_size_pretty(9223372000000000000); -- "-8388607 TB"

你能解释一下为什么吗？ 谢谢。

Answer 1

最高的有符号 64 位 int 是 922337203685477587。这仅比所讨论的数字多一点点。肯定是 pg_size_pretty 中的某个地方存在溢出。

根据评论中提到的代码，pg_size_pretty 正在尝试对数字进行舍入，并使用大于最大有符号 64 位 int 的中间值来实现此目的。 9223372000000000000 + 1024*1024*1024*1024/2 = 9223372549755813888，大于 922337203685477587。

更新：添加了第二段并澄清溢出不在调用方中。

Answer 2

你没有溢出，pg_size_pretty正在溢出。 pg_size_pretty 函数应该采用 bigint：

pg_size_pretty(bigint)
文本
将字节大小转换为具有大小单位的人类可读格式

并且 9223372000000000000 9223372000000000000 9223372036854775808 所以 9223372000000000000 是一个完全有效的 bigint 并且 pg_size_pretty 应该用它做正确的事情。您应该向 PostgreSQL 人员报告错误并赢得荣誉。

更新：检查 PostgreSQL 源代码（感谢 Jeremiah Peschka 提供链接）向我们展示了错误所在：

491                 else
492                 {
493                     mult *= 1024;
494                     snprintf(buf, sizeof(buf), INT64_FORMAT " TB",
495                              (size + mult / 2) / mult); /* OVERFLOW! */
496                 }

如果 size 接近 int64 的限制，然后向其添加 mult/2 将会溢出，然后再除以 mult 使其回到范围内。