《c语言深度剖析》学习笔记2

第二章：符号

2.1 注释

>编译器会用空格代替原来的注释；

>嵌套注释：return /*/*/0*/**/1;

2.5 

>左移和右移的位数不能大于数据类型的宽度，不能小于0;
>有符号数的右移，如果原符号位是0，则左端补0；否则，补0/1.

2.7.2

>c语言里，每一个符号都应该包含尽可能多的字符。(贪心法)也就是说,编译器将程
序分解成符号的方法是,从左到右一个一个字符地读入,如果该字符可能组成一个符号,
那么再读入下一个字符,判断已经读入的两个字符组成的字符串是否可能是一个符号的组
成部分;如果可能,继续读入下一个字符,重复上述判断,直到读入的字符组成的字符串
已不再可能组成一个有意义的符号。

3.预处理:
>C语言中的预处理指令:

预处理名称                            意义
#define                               宏定义
#undef                                撤销已定义的宏名
#include                              使编译程序将另一源程序嵌入到带有#include 的源文件中
#if                                   如果#if后面的常量表达式为真，则编译它与#endif之间的代码，否则跳过这写代码;
#else                                  #else建立另一个选择
#elif                                  #elif命令类似与else if
#endif                                 #endif标识一个#if快的结束
#ifdef                                条件编译的一种方法
#ifndef                               条件编译的一种方法
#line                                 改变当前行数和文件名称  #line number["filename"]    (方括号内可省略)
#error                                编译程序时，只要遇到#error就会生成一个编译错误提示信息，并停止编译
#pragma                               实现时定义的命令，它允许向编译程序传送各种指令

第三章：预处理

3.1  宏定义
>const修饰的只读变量不能用来作为定义数组的维数，也不能放在case后。

>反斜杠作为接续符时，在其后面不能再有任何字符。

>用 define 宏定义注释符号：

#define BSC //
#define BMC /*
#define EMC */
BSC my single-line comment
BMC my multi-line comment EMC

书上的意思是说：
因为注释先于预处理指令被处理,当这两行被展开成//...或
/*...*/时,注释已处理完毕,此时再出现//...或/*...*/自然错误。
也就是：编译器之处理一次注释符号，一次处理完之后，如果再有注释符号，编译器就不认识了。
我认为：BSC是可以展开成 // 的；BMC也可以展开成 /* ；但 EMC 应该是被注释掉了(因为先处理注释，后处理宏定义)，EMC无法展开成 */  .
测试了一下：

#include <stdlib.h>

#define BMC /* 
#include "f2.h"
#define EMC */

int main()
{
  f2();
  BMC EMC
  return 0;
}

//f2.h
#include <stdio.h>

void f2()
{
  printf("Hello f2()\n");
}

编译结果：

#gcc 2_5.c
2_5.c: 在函数‘main’中:
2_5.c:10:7: 错误： ‘EMC’未声明(在此函数内第一次使用)
2_5.c:10:7: 附注： 每个未声明的标识符在其出现的函数内只报告一次
2_5.c:11:3: 错误： expected ‘;’ before ‘return’

说明编译器先将 "/*" 和 "*/"之间的内容替换为空格，然后将BMC替换为 "/*",EMC未声明... 但是为什么不报错 f2 呢？

>用宏定义表达式时，不要吝啬括号!
>宏函数被调用时，是以实参代换形参，而不是"值传值"。
>#define EMPTY  //这样的宏定义是可行的，但它的用途是什么呢？
>宏定义中空格的使用：

#define SUM (x) ((x) + (x))

编译器认为这是定义了一个宏：SUM， 其代表的是(x) ((x) + (x)).
所以，当程序中出现SUM(3)时，宏展开为(x) ((x) + (x))(3);//自然会出错:x未定义
在使用宏函数的时候，宏函数名与其后的括号之间可以有括号的。SUM(3) 和 SUM (3)的效果是一样的。

3.3 文件包含
>文件包含实际上是宏替换的延伸。

#include <filename>    //到系统规定的路径中去获得这个文件
#include "filename"    //预处理先在当前目录中查找此文件，若没有找到，再按照系统指定的路径信息，搜索该文件。
#include 是将已经存在的文件的内容嵌入到当前文件中

3.5 #line预处理

用在编译器的编写中。
3.6 #pragma
#pragma 的作用是设定编译器的状态或者指示编译器完成一些特定的动作。
#pragma message("消息文本")    当编译器遇到这条指令时，就在编译输出窗口将消息文本打印出来.
#pragma code_seg(["section-name"[,"section-class"]])    能够设置程序中函数代码存放的代码段
#pragma once    只要在头文件的最开始加入这条指令就能够保证头文件被编译一次.
#pragma hdrstop     表示与编译头文件到此为止，后面的头文件不进行预编译.
#pragma warning     设置警告信息

>#pragma pack 内存对齐问题

#include <stdio.h>

struct TestStruct1
{
  char c1;
  short s;  //sizeof(short) = 2
  char c2;
  int i;  
};

int main()
{
  struct TestStruct1 a;
  printf("c1:%p, s:%p, c2:%p, i:%p.\n",
  (unsigned int)(void *) &a.c1 - (unsigned int)(void *) &a,
  (unsigned int)(void *) &a.s - (unsigned int)(void *) &a,
  (unsigned int)(void *) &a.c2 - (unsigned int)(void *) &a,
  (unsigned int)(void *) &a.i - (unsigned int)(void *) &a
  );
  
  return 0;
}

//output:
c1:(nil), s:0x2, c2:0x4, i:0x8.

>为什么会有内存对齐？

(1字节 = 8位, 1字 = 2字节, 1双字 = 2字, 1四字 = 2双字)

字、双字和四字在自然边界(字:偶数地址; 双字:被4整除的地址; 四字:被8整除的地址)上不需要内存对齐。

为了提高陈徐的性能，数据结构尽可能在自然边界上对齐，因为：为了访问未对齐的内存，处理器需要做两次内存的访问;然而，对齐内存的访问仅需要一次访问.

>#pragma pack(n). 编译器将按照n个字节对齐.

(但是，对齐规则是：每个成员按其类型的对齐参数(通常是类型大小) 和 指定参数(n) 中较小的一个对齐; 结构的长度必须为所用过的所有对齐参数的整数倍(不够补零)).

>#pragma pack(),编译器将取消自定义字节对齐方式.

#pragma pack(8)

struct TestStruct4
{
  char a;
  long b; //sizeof(long) = 4
};

struct TestStruct5
{
  char c;
  struct TestStruct4 d;
  long long e; //sizeof(long long) = 8
};

#pragma pack()

TestStruct4中，a占1个字节，默认按照1字节对齐，而指定对齐参数是8，取最小值：1----a按照1字节对齐。

同理，b按照4字节对齐。sizeof(TestStruct4) = 8.

TestStruct5中，c按照1字节对齐；d是一个结构体，大小为8字节，对于结构体来说，默认对齐方式是它的所有成员使用的对齐参数中最大的一个，所以d按4字节对齐；

e按照8字节对齐。这样，TestStruct5一共占用24个字节.在GCC下，得出的结果是20(20并不是8的倍数)......(参考：http://blog.csdn.net/ticmy/article/details/4503831)

数组的对齐方式按照数组元素类型的默认对齐方式。

3.7 #运算符

#define SQR(x) printf("The square of x is %d.\n", ((x) * (x)));
#define SQR(x) printf("The square of "#x" is %d.\n", ((x) * (x)));

3.8 ##运算符

把两个语言符号组合成单个语言符号.

#define XNAME(n) x##n

XNAME(8)将会展开成 x8

。