关于strlen函数的一个问题

最近有个同学给了我一个这样的程序：

#include <stdio.h>
#include <string.h>

int main(int argc, const char *argv[])
{
char a[10] = "abcde";
char b[] = "abcdef";

if(strlen(a) - strlen(b) >= 0)
   printf("a > b ");
else 
printf("a < b ");
return 0;
}

输出是: a > b

这让大家很不解。先加了一些printf语句

#include <stdio.h>
#include <string.h>


int main(int argc, const char *argv[])
{
char a[10] = "abcde";
char b[] = "abcdef";
printf("%d ",strlen(a) - strlen(b));
printf("%d ",strlen(a));
printf("%d ",strlen(b));
if((int)(strlen(a) - strlen(b)) >= 0)
   printf("a > b ");
else 
printf("a < b ");
return 0;
}

输出是：-1

5

6

a > b

还是没有发现问题

接着，我就开始怀疑strlen函数的问题了。

man了一下strlen函数，发现它的返回值是size_t   是unsigned int 的一个别名

所以一切豁然开朗。在strlen(a) -strlen(b) > 0的计算过程中，都转换成无符号整型值了，故strlen(a) -strlen(b) = -1 变成了最大的整数值ffffffff > 0 为真

然后做出了下列解决方案：

#include <stdio.h>
#include <string.h>


int main(int argc, const char *argv[])
{
char a[10] = "abcde";
char b[] = "abcdef";
printf("%d ",(int)(strlen(a) - strlen(b)) >= 0);
printf("%d ",strlen(a));
printf("%d ",strlen(b));
if((int)(strlen(a) - strlen(b)) >= 0)
   printf("a > b ");
else 
printf("a < b ");
return 0;
}

输出为：

0

5

6

a < b

如有问题，请大家指正。