strlen 的返回值为何是无符号值而不是有符号值？

std_linux

我的理解是，strlen的功能是得到字符数，也就是一个绝对值，无符号值得范围是 0-65535，总是个正值，
  有符号值是 -32767 至 + 32768 ；  65535 大于 32768 ，范围更大。

          而返回值用无符号值不好的地方就是 如果再 if 表达式中利用strlen 返回值进行逻辑判断会出现不可预料的结果。


                                       以上理解对吗？ 您还有更好的解释吗？   谢谢！！！

alexhappy

strlen返回的值肯定是>=0，而至于if中逻辑判断会出现不可预料的错误一说，我没明白。。。

std_linux

原帖由 alexhappy 于 2009-2-26 11:49 发表
strlen返回的值肯定是>=0，而至于if中逻辑判断会出现不可预料的错误一说，我没明白。。。

看C和指针书 P176 警告

shan_ghost

原帖由 alexhappy 于 2009-2-26 11:49 发表
strlen返回的值肯定是>=0，而至于if中逻辑判断会出现不可预料的错误一说，我没明白。。。

大概他的意思是说，一般人都习惯声明int valid_len了，所以当使用if(valid_len != strlen(...))时会出现有符号无符号数不匹配问题（这种问题有的编译器不会给出警告）。

net_robber

原帖由 std_linux 于 2009-2-26 11:39 发表
我的理解是，strlen的功能是得到字符数，也就是一个绝对值，无符号值得范围是 0-65535，总是个正值，
  有符号值是 -32767 至 + 32768 ；  65535 大于 32768 ，范围更大。

          而返回值用无符号值不好 ...

事实证明，楼主的猜测是错误的

下面是我实际测试的例子，有同样疑问者可以各自测试一下

1. [net@localhost tmp]$ cat k.c
   
2. 
   
3. #include <stdio.h>
   
4. int main ()
   
5. {
   
6.         int i=0;
   
7.         int j=-1;
   
8.         unsigned int m=0;
   
9.         unsigned int n=0;
   
10.         n=j;
    
11. 
    
12.         printf("%d,%u\n",j,n);
    
13.         if(n>0)
    
14.         {
    
15.                 printf("n > 0\n");
    
16.         }
    
17.         if(n>m)
    
18.         {
    
19.                 printf("n > m\n");
    
20.         }
    
21. }
    
22. [net@localhost tmp]$ gcc k.c ;./a.out
    
23. -1,4294967295
    
24. n > 0
    
25. n > m
    
26. [net@localhost tmp]$
    

复制代码

1. [net@localhost tmp]$ gcc --version
   
2. gcc (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
   
3. Copyright (C) 2008 Free Software Foundation, Inc.
   
4. This is free software; see the source for copying conditions.  There is NO
   
5. warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
   

复制代码

std_linux

原帖由 net_robber 于 2009-2-26 12:06 发表



事实证明，楼主的猜测是错误的

下面是我实际测试的例子，有同样疑问者可以各自测试一下

[net@localhost tmp]$ cat k.c

#include
int main ()
{
        int i=0;
        int j=-1;
        unsigned int m=0;
...

不好意思，每看明白，能否指点一下。谢谢！！！

shan_ghost

int main()
{
int i = -1;
unsigned j = 0;
if (i > j) printf("error.\n");
if (j > i) printf("ok.\n");
}

编译时警告: warning: comparison between signed and unsigned integer expressions

程序运行输出： error.

编译器是RHEL 5.3自带的gcc 4.1.2 20080704


————————————————-
即便一些混用有符号/无符号的比较能得到正确结果，也不说明这就是对的。因为这两个本来就属于不同的类型，有不同的取值范围；至于比较的细节，不同cpu、不同编译器都可能不同——所以gcc才会为这类表达式生成警告。

当然，一般情况下，字符串不超长时，即便不理睬这类警告，程序也是能得到正确结果的。但从根本上说，这种写法就是错误，换个场合就可能出问题。

net_robber

原帖由 shan_ghost 于 2009-2-26 14:40 发表
int main()
{
int i = -1;
unsigned j = 0;
if (i > j) printf("error.\n");
if (j > i) printf("ok.\n");
}

编译时警告: warning: comparison between signed and unsigned integer expressions

程 ...

针对你的代码，我的测试结果如下

1. [net@localhost tmp]$ cat x.c
   
2. #include <stdio.h>
   
3. int main()
   
4. {
   
5.         int i = -1;
   
6.         unsigned j = 0;
   
7.         if (i > j) printf("error.\n");
   
8.         if (j > i) printf("ok.\n");
   
9. }
   
10. [net@localhost tmp]$ gcc x.c ; ./a.out
    
11. error.
    
12. [net@localhost tmp]$ gcc --version
    
13. gcc (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
    
14. Copyright (C) 2008 Free Software Foundation, Inc.
    
15. This is free software; see the source for copying conditions.  There is NO
    
16. warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
    
17. 
    
18. [net@localhost tmp]$

复制代码

net_robber

这个问题无非就是自动类型转换的默认转换方向的问题

或者直接说就是 自动转换过程中，“是无符号自动转为有符号，还是有符号自动转为无符号”

shan_ghost

总而言之一句话： 包括typedef搞出来的别名，不同名字的类型就是不同的类型；而一旦涉及不同类型的混合运算，都必须慎之又慎，否则就很容易出麻烦。

比如，short和int都是signed类型，但对于for(short i =0; i < j; i++)，j如果是int就可能出现死循环;至于for(int i =0; i < j; i++)，当j为unsigned int时出现死循环，就更是司空见惯之事了。


再比如，现在不少库/平台已经将strlen之类的返回值定义为size_t，那么你最好也在代码里把任何可能与之运算/比较/赋值的变量都声明为size_t，否则同样的代码可能换个平台就出了bug。


这不是strlen返回值有无符号的问题，而是类型能否精确匹配的问题。