64 位整数到双精度冲突

64-bit integer to double collision

本文关键字：双精度 冲突 整数      更新时间：2023-10-16

我正在 GitHub 上查看一个 JSON 验证库，该库使用double进行所有数字比较(即它在与模式进行比较之前将数字从 json 中提取double，架构也被拉出为double)。

double有有限数量的状态，就像uint64_t一样，这意味着"碰撞"必须存在 - 即映射到完全相同的双精度的两个不同的uint64_t。

我的问题是：我怎样才能找到映射到同一个双精度值的两个离散整数，以便我可以向 GitHub 贡献者证明将 64 位整数转换为双精度是不安全的？

还是我错了，使用双倍是完全安全的？

正如@user202729指出的，只要两个整数共享相同的小数位，就会导致双重冲突：

碰撞示例：

#include <iostream>
using namespace std;
int main() {
uint64_t x = 99999999999999997;
uint64_t y = 99999999999999999;
double a = x;
double b = y;
cout << to_string(x == y) << " " << to_string(a == b) << endl;
}

输出：0 1

相关文章：