有符号/无符号比较和 -Wall

Question

我最近开始使用 -Wall 编译器开关来尝试提高代码质量。它（正确地）给出了关于这个小片段的警告...

    int i;

    for (i = start - 1; i >= 0; i--)
    {
        if (i >= number1.array.size())
        {
            one_value = 0;
        }

因为 number1.array.size 是无符号的（它是 std::vector 上的 size 方法）。由于循环中的测试是 i >= 0，所以 i 必须被签名，否则不起作用。看来我有三个选择；避免使用 -Wall、忽略警告或引入辅助元素......

    int          i;
    unsigned int j;

    for (i = start - 1; i >= 0; i--)
    {
        j = i;

        if (j >= number1.array.size())
        {
            one_value = 0;
        }

这些似乎都不是特别理想的。您能提出任何替代方案，或者就这种情况下我应该做什么提出建议吗？

Answer 1

这应该与您的代码相同 -
i 从 start 运行到 1（而不是 start-1 到 0） ，并且对数组大小的测试也做了相应的改变。

unsigned int i;

for (i = start; i > 0; i--)
{
    if (i > number1.array.size())
    {
        one_value = 0;
    }

Answer 2

你可以尝试：

unsigned int i;

for (i = start; i > 0; )
{

    if (--i >= number1.array.size())
    {
        one_value = 0;
    }

}

Answer 3

首先，将有符号数分配给无符号类型可能会产生相当严重的后果（有符号 32 位类型中的 -1 是无符号中的 4 294 967 295），这是该警告存在的原因之一。您可以在两种解决方案中的一个位置或另一个位置进行转换，无论您使用哪一个，只需将 size() 转换为有符号整数即可获得相同的效果。

沿着这些思路的东西可以消除该漏洞（未检查正确性） ：）

for(unsigned int i=0;i<start;i++)
{
if(start-i>number1.array.size()) one_value=0;
}

我认为，

Answer 4

使用“size_t”进行与大小相关的比较。

size_t i = 0;

Answer 5

“由于循环中的测试是 i >= 0，所以 i 必须被签名，否则不起作用。”只需像这样更改您的测试：

for(unsigned i = start; i--;) {
    // ...
}

在循环体中为您提供相同的 i 值。