C语言陷阱一

梦里梦外; 2022-04-14 06:56 599阅读 0赞

1、

  1. while ( c= ' ' || c== '\t' || c== '\n')
  2. c=getc(f);

程序员有时候会将=写成==,因为赋值运算符=的优先级要低于逻辑运算符||,因此实际上上述表达式是把 **’ ’ || c== ‘\t’ || c== ‘\n’**的值赋值给c,因为’ ‘不等于0(ASCII码值为32),所以无论变量c为何值,上述表达式的结果都是1,因此循环将一直下去知道文件结束。

2、

  1. if((filedesc == open (argv[i], 0))<0)
  2. error();

这类错误是把赋值运算符误写成比较运算符的类型,open函数若执行成功,则返回0或正数,若open函数执行失败,将返回-1。因为比较运算符==的结果只能是0或1,所以函数error()将没有机会被调用。若代码执行,似乎一切正常,除了变量filedsec的值不再是open函数的返回值,在某些编译器在遇到这种情况下,会警告与0比较无效。

3、整型常量
如果一个整型常量的第一个数字是0,那么该常量将被视为八进制数。因此10与010的含义截然不同。
有时候在上下文中为了格式对齐的需要,可能无意中将十进制数写成了八进制,例如:

  1. struct
  2. {
  3. int part_number;
  4. char *description;
  5. }parttab[]=
  6. {
  7. 046,"left-handed widget",
  8. 047,"right-handed widget",
  9. 125,"frammis"
  10. };

4、理解函数声明

  1. (*(void(*)())0)();

如上所示的语句,一般很难看懂,可以利用下面方法来解析:构造这类表达式其实只有一条简单的规则:按照使用的方式来声明。
任何C语言变量的声明都是由两部分组成:类型以及一组类似表达式的声明符。声明符从表面上看与表达式有些类似,对它求值应该返回一个声明中给定类型的结果。简单的声明符为单个变量:

  1. float fg

因为声明符与表达式相似,可以在声明符中任意使用括号:

  1. float ((f));

同样的逻辑也适用于函数和指针类型的声明:

  1. float ff();

这个声明的含义,表达式ff()求值的结果是一个浮点数,ff是一个返回值为浮点类型的函数。

  1. float *pf;

类似的,这个声明的含义表示*pf是一个浮点数,也就是说,pf是一个指向浮点数的指针。
以上这些形式在声明中可以组合起来。

  1. float *g(),(*h)();

上式表明*g()与(*h)()是浮点表达式。*g()中g是一个,该函数的返回值类型为指向浮点数的指针。(*h)()中h是一个函数指针,h所指向的函数的返回值为浮点类型。

在了解如何声明一个给定类型的变量,那么该类型的类型转换符就很容易得到:只需要把声明中的变量名和声明末尾的分好去掉,再将剩余的部分用一个括号整个“封装”起来即可:例如

  1. float (*h)();

表示h是一个指针函数,h是一个指向返回值为float类型的函数的指针,h所指向的函数的返回值是float类型。

  1. (float (*)());

表示一个“指向返回值为浮点类型的函数的指针”的类型转换符。

现在,开始利用两步分析 (*(void(*)())0)();
step1:假定变量fp是一个函数指针,则调用fp所指向的函数方法如下:

  1. (*fp)();

因为fp是一个函数指针,故*fp就是该指针所指向的函数,所以(*fp)()就是调用该函数的方式。ANSIC标准允许程序员将上式简写为fp(),但是要记住这种写法只是一个简写形式。

step2:找到一个恰当的表达式来替换fp,最简单的转换如下:

  1. (*0)();

但是,上式并不能生效,因为运算符*必须要一个指针来做操作数,这个指针应该是一个函数指针,这样经运算符作用后的结果才能够作为函数被调用。因此,必须对上式中的0作类型转换,转换后的类型可以大致描述为:指向返回值为void类型的函数的指针。

若fp是指向返回值为void类型的函数的指针,那么(*fp)()的值为void,fp的声明如下:

  1. void (*fp)();

因此,可以用下式来完成调用存储位置为0的子例程:

  1. void (*fp)();
  2. (*fp)();

下面对一个常数进行类型转换,将其转换为该变量的类型:只需要在变量声明中将变量名去掉即可。因此,将常数0转换为“指向返回值为void的函数的指针”类型:

  1. (void (*)())0;

因此,可以用(void (*)())0;来替换fp:

  1. (*(void (*)())0)();

注:利用typedef能够使表示更加清晰:

  1. typedef void (*funcptr)();
  2. (*(funcptr)0)();

5、运算符优先级

  1. while (c=getc(in) != EOF)
  2. putc(c,out);

因为关系运算符的优先级要高于赋值运算符,所以上式c的实际值是函数getc(in)的返回值与EOF比较的结果。因此,最后得到的文件中只是包括了一组二进制值为1的字节流。
正确写法:

  1. while ((c=getc(in)) != EOF)
  2. putc(c,out);

6、函数调用
如果函数f是一个函数:

  1. f();

是一个函数调用语句;

  1. f;

是一个什么都不做的语句,更准确的说,这个语句是计算f的地址,却并没有调用f函数。

7、指针与数组
c语言中的数组注意的地方有一下两点:
(1)c语言中数组只有一维数组,而且数组大小必须在编译期间就作为一个常数确定下来。然而数组中的元素可以是任何类型的对象,当然可以是另外一个数组。这样就可以很容的形成一个多维数组。
(2)对于一个数组,只有两个操作:确定该数组的大小,以及获得指向该数组下标为0的元素指针。其他有关数组的操作,即使看上去是以数组下标进行运算的,实际上都是通过指针进行的。

  1. int array[12][31];

这个语句声明了array是一个数组,该数组拥有12个数组类型的元素,每个元素是一个拥有31个整型元素的数组。

  1. sizeof(array)=31*12=372;

如果array不是用于sizeof的操作数,而是用于其他场合。那么array总是被转换成一个指向array数组的起始元素的指针。

array[4]表示一个有着31个整形元素的数组。

  1. sizeof(array[4])=31*sizeof(int)=31*4=124;

指针p指向了数组array[4]中下标为0的元素:

  1. int *p;
  2. p=array[4];

整型i得到数组array某个位置的值:

  1. int i;
  2. i=array[4][7];
  3. i=*(array[4]+7);
  4. i=*(*(array+4)+7);

下式是错误的:因为array是一个二维数组,即数组的数组,在此处array会将其转换成一个指向数组的指针;而p是一个指向整型变量的指针,将一种类型的指针赋值到另一种类型的指针是非法的。

  1. p=array;

若要声明一种指向数组的指针的方法,如下:

  1. int (*ap)[31];

上述语句声明了*ap是一个拥有31个整型元素的数组,ap就是一个指向这样数组的指针。因此:

  1. int array[12][31];
  2. int (*parray)[31];
  3. parray=array;

这样,parray将指向array的第一个元素。

8、指针大小

  1. char *pc;
  2. sizeof(pc);

在32位机器中是4字节;
在64位机器中是8字节;

在这里插入图片描述
9、if(3 == i){...}
如此写法可以避免 将关系运算符写成赋值运算符,避免bug;

10、malloc动态申请的内容,释放后,将变量指向地址为空的地方会更加安全

  1. int *pmal=(int *)malloc(100*sizeof(int));
  2. ...
  3. ...
  4. ...
  5. if(pmal)
  6. {
  7. free(pmal);
  8. pmal=NULL;
  9. }

发表评论

表情:
评论列表 (有 0 条评论,599人围观)

还没有评论,来说两句吧...

相关阅读