c++ - 循环计数器上缺少警告

Question

我很难理解为什么下面的代码没有发出警告:

unsigned test = 0xffffffff;

for (unsigned char i = 0; i < test; i++)
{
    // Some code
}

这是在 Visual Studio 2010 上，但 GCC 显然也没有发出警告。有人知道为什么吗？

Answer 1

从语言的角度来看，没有什么可警告的。 i被提升为unsigned int在 < 之前被评估。递增 unsigned char 的定义非常明确使其回绕到零。

不幸的是，这段代码做了一些令人恼火的事情。但尚不清楚编译器需要应用什么规则才能检测到此类事件。

感谢下面评论中的@unwind:您可以让 GCC 警告这个比较必须始终使用 -Wtype-limits 评估为真这一事实旗帜。

更新 2: 显然上述选项在这种情况下不起作用(我现在手头没有“现代”版本的 GCC...)