C语言入坑指南-整型的隐式转换与溢出

前言

我们知道整型有无符号数和有符号数之分。如果我们对无符号数和有符号数处理不当，就可能造成难以预测的结果，尤其是在作为循环条件的时候，可能导致死循环。整型之间的运算还可能导致出现另外一个问题－溢出。本文将分别介绍它们。

隐式类型转换

我们看一下下面的程序：

#include <stdio.h>
#include <string.h>
int main(void)
{
    char *p = "hello";
    int a = -1;
    /*比较字符串的长度和a的大小*/
    if(strlen(p) > a)
    {
        printf("len > a\n");
    }
    else
    {
        printf("len < a\n");
    }
    printf("%d\n",strlen(p));
    return 0;
}

程序中，将字符“hello”的长度与-1进行比较，按照我们平常的认识，长度5肯定大于-1，最后应该会打印len > a。但是事实是，最后的输出结果如下：

len < a
5

结果出乎我们的意料，为什么结果会是len < a？5明明大于-1啊！

原因在于有符号数与无符号数进行运算时，会发生隐式类型转换，有符号数会转换为无符号数。
我们查看strlen的手册可以知道，它的返回值为size_t类型，虽然我们不能确定它到底是long unsigned int（64位程序