C陷阱与缺陷--读书笔记3 语义“陷阱”

第三章

一、知识点

1、C语言中的数组值得注意的地方有以下两点：（P41）

（1）、C语言中只有一维数组，而且数组的大小必须在编译期就作为一个常数确定下来。然而，C语言中数组的元素可以是任何类型的对象，当然也可以是另外打的一个数组。

（2）、对于一个数组，我们只能够做两件事：确定该数组的大小，以及获得指向该数组下标为0的元素的指针。其他有关数组的操作，哪怕它们乍看上去十一数组下标进行运算的，实际上都是通过指针进行的。换句话说，任何一个数组下标运算都等同于一个对应的指针运算，因此我们完全可以依据指针行为定义数组下标的行为。

2、对于int calendar[12][31]; 这个语句生命了calendar是一个数组，该数组拥有12个数组类型的元素，其中每个元素都是一个拥有31个整型元素的数组。（P42）

3、如果两个指针指向的是同一个数组中的元素，我们可以把这两个指针相减。（P43）

4、*（a+i）即数组中下标为i的元素的引用。由于a+i与i+a的含义一样，因此a[i]与i[a]也具有同样的含义。（P44）

5、来看几个声明：（P45）

int calendar[12][31];

int *p;

int i;

calendar[4]是calendar数组的第5个元素，是calendar数组中12个有着31个整型元素的数组之一。可以有

p = calendar[4];

这个语句使得指针p指向了数组calendar[4]中下标为0的元素。但是

p = calendar;

这个语句是非法的。因为calendar是一个二维数组，在此处的上下文中使用calendar名称会将其转换为一个指向数组的指针；而p是一个指向整型变量的指针，这样的赋值是非法的。

6、下面的语句：（P47）

char *r;

strcpy(r, s);

strcat(r, t);

这个语句是不行的，因为不能确定r指向何处。我们不仅要让r指向一个地址，而且r所指向的地址处还应该有内存空间可供容纳字符串，这个内存空间应该是以某种方式已经被分配了的。下面的语句只要s和t不是太大，就可以正常工作：

char r[100];

strcpy(r, s);

strcat(r, t);

再看下面一个例子，动态分配内存大小：

char *r, *malloc();

r = malloc(strlen(s) + strlen(t));

strcpy(r, s);

strcat(r, t);

这个例子也是错的，原因有三：（1）、malloc函数有可能无法提供请求的内存，这种情况下malloc函数会通过返回一个空指针来作为“内存分配失败”事件的信号；（2）。给r分配的内粗你在使用完之后应该及时释放，这一点务必要记住。显式地给r分配了内存，就必须显式地释放内存。（3）、该例子并未分配足够的内存。库函数strlen返回字符串所包括的字符数目，而作为结束标识的空字符并未计算在内。所以需要如下修改：

char *r, * malloc();

r = malloc(strlen(s) + strlen(t) + 1);

if(!r){

complain();

exit(1);

}

strcpy(r, s);

strcat(r, t);

/*一段时间之后再使用*/

free(r);

7、C 语言中会自动地将作为参数的数组声明转换为相应的指针声明。（P49）

8、对于以下语句：（P51）

char *p, *q;

p = "xyz";

上面的语句貌似是使得p的值就是字符串“xyz”，然而实际情况并非如此，实际上，p的值是一个指向有'x'、'y'、'z'和‘\0’4个字符组成的数组的起始元素的指针。因此如果执行： q=p; ，p和q现在是两个指向内存中同一个地址的指针。复制指针并不同时复制指针所指向的数据。

9、除了一个重要的例外情况，在C语言中将一个整数转换成一个指针，最后得到的结果都取决于具体的C编译器实现。这个特殊情况就是常数0，编译器保证由0转换而来的指针不等于任何有效的指针。当0被转换成指针使用时，这个指针绝对不能被解除引用。换句话说，当我们将0赋值给一个指针变量时，绝对不能企图使用该指针所指向的内存中存储的内容。下面的写法是完全合法的：

if( p == (char *) 0)

但是如果要写成这样：

if(strcmp (p, (char *) 0) == 0)

就是非法的了，原因在于库函数strcmp的实现中会包括查看它的指针参数所指向内存中的内容的操作。（P52）

10、只要x和y的取值都限制在0或者1，那么x&y与x&&y总是得出相同的结果。（P68）

11、对于数组结尾后的下一个元素，取它的地址是合法的，但是试图去实际地读取这个元素的值结果是未定义的。（P69）

12、在无符号算术运算中，没有所谓的“溢出”一说，如果算术运算符的一个操作数是有符号整数，另一个是无符号整数，那么有符号整数会被转换为无符号整数。对于两个操作数都是有符号整数时，“溢出”就有可能发生，而且“溢出”的结果是未定义的。当一个运算的结果发生“溢出”时，作出任何假设都是不安全的。

判断是否溢出的方法：

if(a > INT_MAX - b)

complain();

（P69）

转载于:https://www.cnblogs.com/lydf-2012/archive/2012/05/01/2477623.html

C陷阱与缺陷--读书笔记3 语义“陷阱”相关推荐

C陷阱与缺陷第3章语义“陷阱” 3.4 避免“举偶法”
避免"举偶法" "举偶法"(synecdoche)是一种文学修辞上的手段,有点类似于以微笑表示喜悦.赞许之情,或以隐喻表示指代物与被指代物的相互关系.在 ...
【读书笔记】C陷阱和缺陷
词法陷阱赋值(=)和条件等(==)判定的混淆. 位运算符(&, |)和逻辑运算符(&&,||)的混淆整型变量开头为0的整型变量,默认为八进制字符('')与字符串(&qu ...
C陷阱与缺陷阅读笔记（上）
词法陷阱 1.贪心法 C编译器对C语言符号的识别,基于每一个符号应该包含尽可能多的字符原则. 如果输入流截止至某个字符之前都已经分解成为一个个符号,那么下一个符号将包括从该字符之后可能组成一个符号的最 ...
C陷阱与缺陷学习笔记
导读程序是由符号(token)序列所组成的,将程序分解成符号的过程,成为"词法分析". 符号构成更大的单元--语句和声明,语法细节最终决定了语义. 词法陷阱符号(token)指 ...
《C语言陷阱和缺陷》笔记
原著:Andrew Koenig - AT&T Bell Laboratories Murray Hill, New Jersey 07094 翻译:lover_P 修订:CQBOY 来自:h ...
C陷阱与缺陷阅读笔记（下）
关于printf函数 printf函数将数据写到标准输出,fprintf函数将数据写到任何文件,sprintf函数格式化字符串.这三个函数的返回值都是已经处理的字符数. sprintf函数作为输出数据 ...
读书笔记《能力陷阱》第四章：试着朝更多不同的方向发展自己
本章导读如何误解真实性转变新角色时,如何高估真实性的重要性当做不是自然而然的事时,认为自己是骗子,然以遵从真实的自己为借口待在舒适区域想要重新塑造真实的自己的方式是,在你的舒适空间范围之外做事 ...
《c陷阱与缺陷》笔记--注意边界值
如果要自己实现一个获取绝对值的函数,应该都没有问题,我这边也自己写了一个: void myabs(int i){if(i>=0){printf("%d\n",i);}else ...
读书笔记——《指标陷阱》
容易导致的后果: 1.测量最容易测量的元素 2.测量投入而非结果 3.通过标准化降低信息质量指标为什么大受欢迎: 1.对判断的不信任 2.对专业主义的选择和对选择的推崇 3.成本之病(成本升高) 4 ...

C陷阱与缺陷--读书笔记3 语义“陷阱”

C陷阱与缺陷--读书笔记3 语义“陷阱”相关推荐

最新文章

热门文章