C陷阱与缺陷——学习笔记

最新推荐文章于 2022-10-19 21:18:14 发布

Tri0mphe

最新推荐文章于 2022-10-19 21:18:14 发布

阅读量319

点赞数

CC 4.0 BY-SA版权

分类专栏： C语言

本文链接：https://blog.youkuaiyun.com/John_lain/article/details/98222054

C语言专栏收录该内容

3 篇文章

订阅专栏

词法 “陷阱”

= 不同于 ==

符号=是赋值运算符,符号==是比较运算符

因为赋值运算出现频繁,所以使用较少的符号=来表示赋值操作.
而我们经常因为少打一个=号,在比较运算中使用赋值运算.

如

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

因为||的优先级高于赋值运算符=,所以上面表达式可以表示为

c = (' ' || c == '\t' || c == '\n')

因为' '的ASCII的值是32,所以c的值总是为1,while循环为死循环.

& 和 | 不同于 && 和 ||

& 和 | 是按位运算符
&& 和 || 是逻辑运算符

整形常量

如果一个整形常量的第一个字符是数字0,该常量被认为是八进制数.
所以010和10含义完全不同.

字符与字符串

C语言中的单引号的字符表示一个整数,双引号表示字符串,执行字符的指针.
如

'a' 的长度为1
"a" 的长度为2   在内存空间中为  a \0

词法分析

在用双引号括起的字符串中,注释符/* 属于字符串的一部分,而在注释中出现的双引号""又属于注释的一部分
词法分析时: 每一个符号应该包含尽可能多的字符.(编译器将程序分解成符号的方法是,从左到右一个字符一个字符地读入,如果该字符可能组成一个符号,继续读入,知道读入的字符无法组成有意义的符号.)

语法 “陷阱”

理解函数声明

把声明中的变量名和声明末尾的分号去掉,再将剩余部分用括号括起来就得到了该类型的类型转换符
如
float (*h) ();
表示h是一个指向返回值为浮点类型的函数的指针
`(float (*)() )
表示一个指向返回值为浮点类型的函数的指针的类型转换符.

分析 (*(void(*)())0)()

假定变量fp是一个函数指针,调用fp所指向的函数方法是 (*fp)();
假设fp2是一个指向返回值为void类型的函数的指针,fp的声明为void (*fp2)();
根据声明对常熟0转型为指向返回值为void的函数的指针类型为(void(*)())0
最后我们可以用(void(*)())0来替换最初的fp得到
(*(void(*)())0)();
我们可以使用typedef声明来简化问题为

typedef void (*funcptr)();
(* (funcptr)0)();

运算符的优先级问题

r = hi <<4 + low
因为加法运算的优先级高于移位运算,所以相当于
r = hi << (4 + low)

任何一个逻辑运算符的优先级低于任何一个关系运算符
移位运算符的优先级比算数运算符要低,但是比关系运算符要高.

[外链图片转存失败(img-hLYuRIN1-1564741494948)(…/images/C语言.md/2018-12-25-21-44-23.png)]

注意作为语句结束标志的分号

分号会结束if或while语句
如

if (x[i] > big);
    big = x[i];

因为if后面的分号,if语句会正常结束.所以等价于

if (x[i] > big){
}
    big = x[i];

函数调用

在C语言中,函数调用时即使函数不带参数,也应该包括参数列表.
如果f是一个函数.

f(); 是一个函数调用语句.
f; 什么也不做,这个语句计算了函数f的地址,并不调用该函数.

语义 “陷阱”

指针与数组

指针都是指向某种类型的变量.

如果a是一个数组,则*(a+1)是数组a中下标为1的元素的引用.*(a+i)是数组a中下标为i的元素的引用.所以a+i与i+a的含义相同,a[i]与i[a]也具有相同的含义.

对于下面的声明
int calendar[12][31];
int *p;
int i;

我们可以通过
i = calendar[4][7];访问其中一个元素
我们也可以根据上面的用指针访问,如下
i =*(calendar[4]+7);
还可以进一步写成
i=*(*(calendar+4)+7);

我们再看 p =calendar;
这个语句是非法的,因为calendar是一个二维数组,就是"数组的数组",所以calendar是一个指向数组的指针,而p是一个指向整形变量的指针.这个语句试图将一种类型的指针赋值给另一种类型指针,所以是非法的

声明一个指向数组的指针.
int (*ap)[31];

作为参数的数组声明

在C语言中,如果我们使用数组名作为参数,数组名会被立刻转换为指向数组第一个元素的指针.

main (int argc,char* argv[]){
}
main(int argc,char **argv){
}

上面两种写法是完全相同的,第一种强调argv是一个指针数组,该数组的元素为字符指针类型.

边界计算与不对称边界

书中有一段这样的代码,非常经典

int i, a[10];
for (i=1; i<=10; i++)
    a[i] = 0;

因为数组越界a[10]其实修改的是i的值,所以当i=10的时候,a[10]会将i的值又修改为0,所以造成死循环.

求值顺序

因为求值顺序的原因,下面的代码无法正常工作

i = 0;
while (i < n)
    y[i++] = x[i];

因为我们无法确定y的值是自增后的还是自增前的值.
所以应该写为

for (i = 0; i < n; i++)
    y[i] = x[i];

main函数返回值

函数main与其他任何函数一样,如果并未显式声明返回类型,那么函数返回类型就默认为是整形.

连接

C语言的一个重要思想就是分别编译(Separate Compilation),即若干个源程序可以在不同的时候单独进行编译,然后在恰当的时候整合到一起.

声明与定义

extern int a 这个语句说明a是一个外部整型变量,但是因为它包括了extern关键字,显示地说明了a的存储空间是在程序的其他地方分配的.(对外部变量a的引用,而不是对a的定义.)

每个外部对象必须在程序某个地方进行定义
如果一个程序包含语句 extern int a;name这个程序就必须在某个地方包括int a对变量a的声明.

形参,实参与返回值

#include <stdio.h>
int main(int argc , char *argv[])
{
	int i;
	char c;
	for (i = 0; i < 5; i++)
	{
		scanf("%d", &c);
		printf("%d ", i);
	}
	printf("\n");
}

这段代码很有意思,我们声明c为char类型,而不是int类型.因为scanf函数被要求读入一个整数,应该传递一个指向整数的指针.而我们传入了一个指向字符的指针,scanf无法分辨这种情况.它只是将这个指向字符的指针当做指向整数的指针使用,并且在指针所指向的地方存储一个整数,因为整数占用4字节,而字符一个字节,所以会覆盖指针附近的内存空间.