我需要将几个浮点数写入文本文件并与它们一起存储 CRC32 校验和。然后,当我从文本文件中读取浮点数时,我想重新计算校验和并将其与之前保存文件时计算的校验和进行比较。我的问题是校验和有时会失败。这是因为相等的浮点数可以用不同的位模式表示。为了完整起见,我将在接下来的段落中总结代码。
我在阅读这个问题后发现了这个 CRC32 算法。这是它的样子:
uint32_t updC32(uint32_t octet, uint32_t crc) {
return CRC32Tab[(crc ^ octet) & 0xFF] ^ (crc >> 8);
}
template <typename T>
uint32_t updateCRC32(T s, uint32_t crc) {
const char* buf = reinterpret_cast<const char*>(&s);
size_t len = sizeof(T);
for (; len; --len, ++buf)
crc = updC32(static_cast<uint32_t>(*buf), crc);
return crc;
}
CRC32Tab
包含与上面链接的文件中的大数组完全相同的值。
这是我如何将浮点数写入文件并计算校验和的简化版本:
float x, y, z;
// set them to some values
uint32_t crc = 0xFFFFFFFF;
crc = Utility::updateCRC32(x, crc);
crc = Utility::updateCRC32(y, crc);
crc = Utility::updateCRC32(z, crc);
const uint32_t actualCrc = ~crc;
// stream is a FILE pointer, and I don't mind the scientific representation
fprintf(stream, " ( %g %g %g )", x, y, z);
fprintf(stream, " CRC %u\n", actualCrc);
我从文件中读取值如下。由于文件具有更复杂的语法并且必须进行解析,因此实际上涉及的内容更多,但我们假设它getNextFloat()
返回之前编写的每个浮点数的文本表示。
float x = std::atof(getNextFloat());
float y = std::atof(getNextFloat());
float z = std::atof(getNextFloat());
uint32_t crc = 0xFFFFFFFF;
crc = Utility::updateCRC32(x, crc);
crc = Utility::updateCRC32(y, crc);
crc = Utility::updateCRC32(z, crc);
const uint32_t actualCrc = ~crc;
const uint32_t fileCrc = // read the CRC from the file
assert(fileCrc == actualCrc); // fails often, but not always
此问题的根源在于 std::atof 将返回从文件读取的字符串中编码的浮点数的位表示,而不是用于将该字符串写入文件的浮点数的位表示。
所以,我的问题是:除了对字符串本身进行校验和之外,还有其他方法可以实现我的校验和浮点数的目标吗?
谢谢阅读!