驗證乘法溢出測試

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 

它產生0xFFE00001後截斷到32位，它通過您的測試。但乘法溢出。

要測試乘法溢出，您可以簡單地檢查z/x == y，只要x不爲零。