c++ - 验证乘法溢出测试

Question

我已经实现了以下函数来检测乘法是否溢出:

bool IsSafeMul(uint32_t x, uint32_t y) {
    uint32_t z = x * y;
    return (z >= x && z >= y);
}

我已经根据经验验证了它，但我想确保:

1. 是否能 100% 保证正常工作(即没有误报和漏报)？
2. 它能 100% 保证对任何其他 unsigned 类型正常工作吗？

Answer 1

不，不能保证它能正常工作。例如，

0x000FFFFF * 0x000FFFFF = 0xFFFFE00001 

它在截断为 32 位后生成 0xFFE00001，这通过了您的测试。但是乘法会溢出。

要测试乘法溢出，您可以简单地检查 z/x == y，前提是 x 不为零。