超详细的预处理详解

预处理符号

这些时C语言给我们提供的，可以直接使用

//__FILE__  进行编译的源文件
//__LINE__  文件当前的行号
//__DATE__  文件被编译的日期
//__TIME__  文件被编译的时间
int main()
{  
	int i = 0;
	for (i = 0; i < 10; i++)
	{
		printf("file:%s line:%d date:%s time:%s  %d\n", __FILE__, __LINE__, __DATE__, __TIME__,i);
	}
	return 0;
}

define

语法：
#define name stuff

#define MAX 100
#define CASE break;case
#define PRINT printf("file:%s line:%d  \
					date:%s time:%s %d\n",\
				 __FILE__, __LINE__,\
				 __DATE__, __TIME__,10)
//	}
//如果stuff过长，可以分几行写，除了最后一行外，每行的后面都加个反斜杠（续航符）

提问：
在define定义标识符的时候，要不要在最后加上 ; ?
比如：
#define MAX 1000;
#define MAX 1000

建议不要加上 ; ,这样容易导致问题。
这里会出现语法错误。

define定义宏

宏的介绍

#define 机制包括了一个规定，允许把参数替换到文本中，这种实现通常称为宏（macro）或定义宏（define macro）。

#define name( parament-list ) stuff
其中的 parament-list 是一个由逗号隔开的符号表，它们可能出现在stuff中

参数列表的左括号必须与name紧邻。
如果两者之间有任何空白存在，参数列表就会被解释为stuff的一部分
#define SQUARE( x ) x * x

使用宏的注意事项

看下面两张图片对比


为什么不是36而是11呢？
其实是因为宏被替换是这样的

所以在用宏的时候千万不要吝啬（）

另一种情况

所以使用宏需要注意！！

#define 替换规则

在程序中扩展#define定义符号和宏时，需要涉及几个步骤。

1. 在调用宏时，首先对参数进行检查，看看是否包含任何由#define定义的符号。如果是，它们首先
   被替换。
2. 替换文本随后被插入到程序中原来文本的位置。对于宏，参数名被他们的值所替换。
3. 最后，再次对结果文件进行扫描，看看它是否包含任何由#define定义的符号。如果是，就重复上
   述处理过程
   注意：
4. 宏参数和#define 定义中可以出现其他#define定义的符号。但是对于宏，不能出现递归。
5. 当预处理器搜索#define定义的符号的时候，字符串常量的内容并不被搜索。

使用 # ，把一个宏参数变成对应的字符串

##可以把位于它两边的符号合成一个符号。
它允许宏定义从分离的文本片段创建标识符。

带副作用的宏

当宏参数在宏的定义中出现超过一次的时候，如果参数带有副作用，那么你在使用这个宏的时候就可能
出现危险，导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。
例如
a+1//无副作用
a++//有副作用

#define MAX(a, b) ( (a) > (b) ? (a) : (b) )
int main()
{
	int x = 5;
	int y = 8;
	int z = MAX(x++, y++);
	//z = ( (x++) > (y++) ? (x++) : (y++));
	printf("x=%d y=%d z=%d\n", x, y, z);//输出的结果是什么？
}

宏与函数的对比

undef

这条指令用来移除一个宏命令

条件编译

在编译一个程序的时候我们如果要将一条语句（一组语句）编译或者放弃是很方便的。因为我们有条件
编译指令。
比如说：
调试性的代码，删除可惜，保留又碍事，所以我们可以选择性的编译。

#define __DEBUG__
int main()
{
	int i = 0;
	int arr[10] = { 0 };
	for (i = 0; i < 10; i++)
	{
		arr[i] = i;

#ifdef __DEBUG__
		printf("%d\n", arr[i]);//为了观察数组是否赋值成功。 
#endif //__DEBUG__
	}
	return 0;
}

常见的条件编译指令

1. #if 常量表达式
…
#endif
表达式如果为真就执行中间语句，

2.多个分支的条件编译
#if 常量表达式
…
#elif 常量表达式
…
#else
…
#endif

3.判断是否被定义
#if defined(symbol)
…
#ifdef symbol
…
#if !defined(symbol)
…
#ifndef symbol
…

4 嵌套指令

#define OS_UNIX 1
int main()
{
#if defined(OS_UNIX)
	#ifdef OPTION1
		unix_version_option1();
	#endif

	#ifdef OPTION2
		unix_version_option2();
	#endif

#elif defined(OS_MSDOS)
	#ifdef OPTION2
		msdos_version_option2();
	#endif
#endif
	return 0;
}

头文件包含

我们已经知道， #include 指令可以使另外一个文件被编译。就像它实际出现于 #include 指令的地方
一样。

这种替换的方式很简单：
预处理器先删除这条指令，并用包含文件的内容替换。
这样一个源文件被包含10次，那就实际被编译10次。

头文件被包含的方式

本地文件包含

#include "filename"

查找策略：先在源文件所在目录下查找，如果该头文件未找到，编译器就像查找库函数头文件一样在标
准位置查找头文件。
如果找不到就提示编译错误。
库文件包含

#include<filename>

查找头文件直接去标准路径下去查找，如果找不到就提示编译错误。

这样是不是可以说，对于库文件也可以使用 “” 的形式包含？
答案是肯定的，可以。
但是这样做查找的效率就低些，当然这样也不容易区分是库文件还是本地文件了。

嵌套文件包含

在程序编译的时会有预编译的过程，具体看浅淡代码如何从源文件转变成可执行文件，预编译包含完成文件的包含如果头文件被多次引入，这样就造成了文件内容的重复
如果解决这个问题？
答案：条件编译

每个头文件的开头写

#ifndef __TEST_H__
#define __TEST_H__
//头文件的内容
#endif   //__TEST__H__

或者

#pragma once

这就可以避免头文件的重复引入