c - (-1 >= sizeof(buffer)) 怎么可能是真的？程序无法获得正确的比较结果

Question

程序遇到不可能执行的例程，其中 if( len >= sizeof(buff) ) 在现实中永远不应该为真，但它确实发生了。如printf输出len:-1__1024所示:len，其值为-1，大于sizeof(buff )，也就是 1024。太神奇了。

select return value -1 ,4
select: Interrupted system call
-1_0x66a1e0
len:-1__1024  
*** glibc detected *** /home/fang/Desktop/work/fw: free(): invalid pointer: 0x000000000066a1e0 ***

下面是执行代码。

while (1) {
        if( len >= sizeof(buff) ) {   //here len==-1, sizeof(buff)==1024
            printf("len:%d__%d  %s\n", len, sizeof(buff), tmp1); //oops
            free(tmp1);
            tmp1 = buff;
        }
        len = get_next_event(&tmp1, sizeof(buff));
        printf("%d_%p\n",len, tmp1);
        if( len > 0 ){
            tmp = strtok_r(tmp1, "\n\r", &saveptr);
            // ignore following codes ......

我认为这个错误是由于堆栈污染造成的，但很难找出其中的 secret 。顺便提一下，我列出了get_next_event函数的代码。希望得到您的帮助^_^

int get_next_event(char **buf, int len)
{
    struct timeval tv;
    int tmp;
    socklen_t sin_size;
    struct sockaddr_in client_addr; 

    sin_size = sizeof(client_addr);
    FD_ZERO(&fdsr);
    FD_SET(sock_fd, &fdsr);
    tv.tv_sec = 1;
    tv.tv_usec = 0;
    if (new_fd != 0) {
       FD_SET(new_fd, &fdsr);
    }

    tmp = select(maxsock + 1, &fdsr, NULL, NULL, &tv);
    if (tmp < 0) {
       printf("select return value %d ,%d\n", tmp, errno);
       perror("select");
       return -1;
    } else if (tmp == 0) {
       return 0;
    }

Answer 1

-1, is larger than sizeof(buff). It's amazing.

是的。

len >= sizeof(buff) 等同于 -1 >= sizeof(buff) 等同于 (size_t)-1 >= sizeof( buff) --> SIZE_MAX >= sizeof(buff) --> 这当然是真的。

当 int 像 len 与 unsigned 类型 size_t 比较时， 的结果sizeof，根据其中一种类型转换为另一种类型，范围更广。

在这种情况下，通常是将 int 转换为 unsigned size_t。 (size_t)-1是size_t的最大值，肯定大于sizeof(buff)。

---

在没有看到更多代码的情况下，不清楚为什么 len == -1。

但在这种情况下，我建议使用 size_t len = 0 来修补代码。

---

打印时，使用匹配的打印说明符，如 "%zu"

printf("size:%zu\n", sizeof buff);

OP 的代码，缺少警告，printf("%d\n", sizeof(buff)); 表示警告未完全启用。省时间。启用所有警告。