将普通算术与指针算术进行比较

Question

我在64位机器上的C程序出错。错误如下。为了完全理解错误，我尝试了程序的一些变体，以查看何时没有出现错误/警告。随着变化，我希望更好地理解它。

这些程序是用

gcc -Wall -Werror -Wextra

错误：有符号和无符号整数表达式之间的比较

这个程序给了我错误。这就是我看到的模式。

• sizeof返回size_t，它是一个无符号长整数。
• len被提升为unsigned long int，作为常规算术的一部分，因此它可以从size_t
中减去
• 使用ptr和ptr2的普通算术
• len是10，所以len-sizeof（unint32_t）将产生6，这是一个正数

#include <cstdio>
#include "stdint.h"

int main()
{
uint16_t len =10; 
uint8_t number  =5; 
uint8_t number2  =10; 
uint8_t * ptr =&number;
uint8_t * ptr2 =&number2;

        if(len - sizeof(uint32_t) < ptr -ptr2)
        {   
                 printf("done\n");
        }   
return 0;
}

这段代码编译的文件没有上面的错误。我从中看到的模式是

• 它们是同一类型的
• 没有整数提升，因为都是整数。
• 指针减法必须返回无符号int类型，以便与左侧匹配。

#include <cstdio>
#include "stdint.h"

int main()
{
uint32_t len =1; 
uint32_t len2 =3; 
uint32_t number  =5; 
uint32_t number2  =10; 
uint32_t * ptr =&number;
uint32_t * ptr2 =&number2;

    if(len - len2 < ptr -ptr2)
    {
        printf("Worked\n");
    }
}

这个程序编译良好，没有上述错误。我在这里看到的模式

• len和len2的整数提升为32位整数，因此
  可以减去它们。
• ptr-ptr2的普通指针算法。

#include <cstdio>
#include "stdint.h"

int main()
{
uint16_t len =2;
uint16_t len2 =5;
uint8_t number  =5; 
uint8_t number2  =10; 
uint8_t * ptr =&number;
uint8_t * ptr2 =&number2;

    if(len - len2 < ptr -ptr2)
    {
         printf("done\n");
    }
}

问题

• ptr-ptr2的减法是否返回ptrdiff_t类型，即有符号整数类型？如果是这样，则正常工作的2个程序将左侧类型提升为有符号整数，因为它们是uint16和uint8，并且它们的值可以放在有符号整数中。所以正在工作的2个程序被比较为有符号整数

感谢您的任何帮助

Answer 1

我想是时候有人把我们在评论中学到的东西变成答案了，所以开始了。

在此实现下，＜code＞size_t＜/code＞是一个无符号64位整数，＜code＞ptrdiff_t＜-code＞则是一个有符号的64位整数。

在第一次比较中，< code>if(len - sizeof(uint32_t)

在其他情况下（如果（len - len2