高阶C语言之六：程序环境和预处理
本文介绍程序的环境，在Linux下对编译链接理解，较为简短，着重在于编译的步骤。
C的环境
在ANSI C（标准C语言）的任何一种实现中，存在两个不同的环境。
- 翻译环境：在这个环境中，源代码被转换为可执行命令的机器命令。
- 执行环境：用于实际执行代码。
编译和连接
windows环境下：源文件经编译器处理变为目标文件（.obj）再由链接器和链接库生成可执行文件（.exe）。
Linux环境下：源文件经编译器处理变为目标文件（.o）
运行环境
程序的执行的过程:
1. 程序必须载入内存当中。再有操作系统的环境中，由操作系统完成。在独立的环境中，程序的载入必须手动安排，也可能是通过可执行代码置入只读内存来完成。
2. 程序执行的开始。调用main()函数。
3. 开始执行程序的代码。程序会使用一个运行堆栈，存储函数的局部变量和返回地址。程序同时也可以使用静态(static）内存，存储静态内存中变量在程序的整个执行过程中一直保留它们的值。
4. 终止程序。正常终止main函数，也有可能是异常抛出。
--------------------------------------------------C环境到此结束-----------------------------------------------------------
预定义符号
__FILE__ //进行编译的源文件
__LINE__ //文件当前行号
__DATE__ //文件被编译的日期
__TIME__ //文件被编译的时间
__STDC__ //如果编译器遵守ANSI C,其值为1,否则未定义#define定义符号
#define指令可以定义任何语句，但是不同换行，在换行是需要特殊的换行符
#define MAX 100
#define STR "hello bit"
#define CASE break;case
#define reg register
#define do_forever for(;;)
//define语句最好不要加 ;
//在预处理时,define会把 ; 替换到代码中
//define 定义的可以时任何语句
//甚至可以时一串代码
#define DEBUG_PRINT printf("file:%s\tline=%d\t time=%s\n",\
__FILE__,\
__LINE__,\
__TIME__)
\ 在define中,如果后面没有任何字符,代表续行符#define定义宏
宏是替换的，不是通过计算的。
定义宏
#define 宏名(参数列表) 宏体
/******************************/
#define SQUARE(X) ((X)*(X))
#define DOUBLE(X) ((X)+(X))
//宏在定义的时候,把括号都带上
//否则会出现难以预料的错误
//这些错误没有任何语法错误,代码也可以正常运行.
//但是,最终的结果和期待的值有这很大差异- 参数列表的左括号必须与宏名紧邻。若果两者之间有空格，那么参数列表会被认为是宏体的一部分。
- 带参的宏体最好把括号都带上,以防止宏的逻辑错误。
使用宏
- 缺少括号产生的逻辑错误：
#define SQUARE(X) X*X
int main()
{
int r = SQUARE(5+1);//11
//等价于int r = 5 + 1 * 5 + 1;
//宏是替换的,不是计算的
printf("%d\n", r);
return 0;
}
/**修正**/
#define SQUARE(X) ((X)*(X))#define的替换规则
在程序中扩展#define定义的符号和宏时，(三步骤)：
- 调用宏时，首先对参数进行检查，看看是否包含任何由#define定义的符号。如果有，它们首先被替换。
- 替换文本随后被插入到程序中原来的位置上。对于宏，参数名被它们的值所替换。
- 扫描其他文件，重复上述步骤，直到没有#define
#define补充
1、#：把参数插入到字符串当
#define PRINT(N) printf("the value of "#N" is %d\n",N)
#define PRINT2(X,FORMAT) printf("the value of "#X" is "#FORMAT"\n",X)
int main()
{
int a = 10;
PRINT(a);//等价于printf("the value of ""a"" is %d\n",N)
PRINT2(a, %d);//规定打印类型
//printf("the value of a is %d\n", a);
int b = 20;
PRINT(b);
//printf("the value of b is %d\n", b);
float c = 3.02;
PRINT2(c, %lf);
return 0;
}2、##：把两边的符号合并
##合并产生的表示符必须是合法且定义的，否则该标识符非法。
#define CAT(A,B) A##B
int main()
{
int a01 = 100;
printf("%d\n", CAT(a, 01));
//等价于printf("%d\n", a01);
return 0;
}3、带有副作用的宏参数
带有副作用的宏参数并不是说宏写的不好，而是参数传入带有一定的危险。
当宏的参数在宏的定义中出现超过一次的时候，如果参数带有副作用，那么在使用这个宏的时候就有可能出现危险，导致不可预测的后果。
副作用就是表达式求值时出现的永久性的效果。
#define MAX(a,b) ((a)>(b)?(a):(b))
int main()
{
//int m = MAX(2, 3);
int a = 5;
int b = 4;
int m = MAX(a++, b++);
//((a++)>(b++)?(a++):(b++))
//6>5?--->6++(后置++，先用，m=6) ---> a=7
printf("m=%d\n", m);//6?
printf("a=%d\n", a);//7
printf("b=%d\n", b);//5
return 0;
}
x++;//有副作用
x+1;//没有副作用4、宏和函数
以上述宏定义的MAX（轻量运算）和函数定义Max相比，宏的优势：
- 宏没有参数限制，任何类型都可作比较。因此，宏是类型无关的。
- 用于调用函数和函数返回所花费的时间更多，宏在程序的规模(更小)和速度(更快)方面更胜一筹。
宏的缺点：
- 除非宏比较短，否则会插入大量的代码。
- 宏是不能调试的。
- 宏是类型无关的，不够严谨（eg:浮点型和整型比较）。
- 宏会带来优先级问题，可能会导致错误。
函数是没办法以类型作为参数的。因此，宏可以做到函数做不到的事情。
#define MALLOC(num,type) (type*)malloc((num)*sizeof(type))
int main()
{
int* p = MALLOC(10, int);
int* ptr = (int*)malloc(10*sizeof(int));
return 0;
}宏和函数对比
4、命名约定
为了区分宏和函数：
- 宏名一般全大写。
- 函数名一般全小写。
#undef移除宏定义
#undef可以通过宏名或标识符来撤销#define的定义
#define M 100
int main()
{
printf("%d\n", M);
#undef M
printf("%d\n", M);//编译器会报错
return 0;
}命名行定义
用Linux或者Windows系统的命令行操作指令来定义宏等。（操作系统中学习）
条件编译
在编译一个程序的时候，我们可以通过编译指令来放弃某一条语句或一端代码的编译。
实例
#define __DEBUG__ 10
int main()
{
int i = 0;
int arr[10] = { 0 };
for (i = 0; i < 10; i++)
{
arr[i] = i;
#ifdef __DEBUG__ //如果__DEBUG__以定义则，编译下列语句，否则不编译
printf("%d\n", arr[i]);
#endif
}
return 0;
}常见条件编译指令
1、单分支条件编译
int main()
{
#if 1 //#if 常量表达式
printf("hehe\n");
#endif
return 0;
}2、多分支条件编译
#define M 3
int main()
{
#if M<5
printf("Hehe\n");
#elif M==5
printf("hah\n")
#else
printf("heihei\n");
#endif
}在预处理时，这些未被编译代码直接被删除了。
3、 判断是否被定义
#define MAX 100
int main()
{
#ifdef MAX
printf("max\n");
#endif
return 0;
}
//等价于
int main()
{
#if defined(MAX)
printf("max\n");
#endif
return 0;
}
//如果MAX未定义，但要编译代码
int main()
{
#ifndef MAX
printf("max\n");
#endif
return 0;
}
//等价于
int main()
{
#if !defined(MAX)
printf("max\n");
#endif
return 0;
}4、嵌套指令
#if......#endif多层嵌套实现。在库函数头文件常见。
文件包含
多重包含
头文件的多次包含会导致，代码冗余。
如何防止头文件的多次重复的包含？
1、方法一：预编译指令控制
2、方法二：#pragma once
#pragma once
int Add(int x, int y)
{
return x + y;
}查找策略
-----------------------------------------------------C预处理到此结束----------------------------------------------------- #offsetof宏的实现：（在结构体对齐中计算相对于起始地址的偏移量）
#define My_offsetof(Type,member) (size_t) &(((Type*)0)->member)
struct S
{
char c1;
int i;
char c2;
};
int main()
{
printf("%d\n", My_offsetof(struct S, c1));//0
printf("%d\n", My_offsetof(struct S, i));//4
printf("%d\n", My_offsetof(struct S, c2));//8
return 0;
}