程序环境和预处理

程序的翻译和执行环境

在ANSI C的任何一种实现中都存在两种不同的环境

第一种是翻译环境，在这个环境中源代码被转换为可执行的机械指令

组成一个程序的每个源文件通过编译过程分别转换成目标代码

每个目标文件由链接器捆绑在一起，形成单一完整的可执行程序

链接器同时也会引入标准c函数库中任何被该程序所用到的函数，它也可以搜索引入个人程序库

第二种是执行环境，用于实际执行代码

程序先载入内存中，在操作系统中由操作系统完成，在独立的环境中，则必须由手工安排，也肯是通过可执行代码置入只读内存来完成

程序的执行随后开始，接着就调用main函数

开始执行程序代码，程序将会使用一个运行时堆栈，存储函数的局部变量和返回地址。程序同时也可以使用静态内存，存储于静态内存中的变量在程序的整个执行过程中一直保留它们的值

终止程序，正常终止main函数，也可能提前意外终止

编译和链接

 

 预处理

预定义符号

预处理指令

#define MAX 1000
#define reg register          //为 register这个关键字，创建一个简短的名字
#define do_forever for(;;)     //用更形象的符号来替换一种实现
#define CASE break;case        //在写case语句的时候自动把 break写上。
// 如果定义的 stuff过长，可以分成几行写，除了最后一行外，每行的后面都加一个反斜杠(续行符)。
#define DEBUG_PRINT printf("file:%s\tline:%d\t \
                          date:%s\ttime:%s\n" ,\
							__FILE__,__LINE__ ,\
							__DATE__,__TIME__ ) 
int main()
{
	printf("%d", MAX);
	return 0;
}
#undef MAX    //取消MAX的定义

#define定义宏

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

#define name( parament-list ) stuff
//其中的 parament - list 是一个由逗号隔开的符号表，它们可能出现在stuff中。
//注意：
//参数列表的左括号必须与name紧邻。
//如果两者之间有任何空白存在，参数列表就会被解释为stuff的一部分。

 注意易错点

#define SQUARE( x ) x * x
int main()
{
	printf("%d", SQUARE(1+3));
	return 0;
}

上面代码我们预期目标是4*4=16，但是实际结果时1+3*1+3=7。

所以将代码稍加修改

#define SQUARE( x ) (x) * (x)
int main()
{
	printf("%d", SQUARE(1+3));
	return 0;
}

换个代码再看

#define DOUBLE(x) (x) + (x)
int main()
{
	printf("%d", 10*DOUBLE(1+3));
	return 0;
}

预期是想要10*8=80，但实际是10*(1+3)+(1+3)=44

所以完整应该改为

#define SQUARE(x) ((x) * (x))
#define DOUBLE(x) ((x) + (x))

所以用于对数值表达式进行求值的宏定义都应该用这种方式，避免在使用宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用

#define替换规则

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

预处理操作符#

int main()
{
	int a = 10;
	printf("the value of a is %d\n", a);
	int b = 20;
	printf("the value of b is %d\n", b);
	return 0;
}

对于上面的代码，内容比较冗余，我们可以封装一个宏

#include<stdio.h>
#define PRINT(n)  printf("the value of "#n" is %d\n", n)
int main()
{
	int a = 10;
	PRINT(a);
	int b = 20;
	PRINT(b);
	return 0;
}

注意

在上面替换规则中提到当预处理器搜索#define定义的符号的时候，字符串常量的内容并不被搜索，其次字符串打印具有自动连接的特点，所以我们不能把n直接放在一串字符串中，而宏就可以利用#将参数插入到字符串中

预处理操作符##

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

#include<stdio.h>
#define ADD_TO_SUM(sum,num)  sum##num
int main()
{
	int sum5 = 10;
	printf("%d", ADD_TO_SUM(sum, 5));
	return 0;
}

注意：这样的连接必须产生一个合法的标识符，否则结果是未定义的

带副作用的宏参数

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

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#define MAX(a, b) ( (a) > (b) ? (a) : (b) )
int main()
{
	int x = 5;
	int y = 8;
	int z = MAX(x++, y++);
	printf("x=%d y=%d z=%d\n", x, y, z);
	return 0;
}

宏和函数对比

属性	#define定义宏	函数
代码长度	每次使用时，宏代码都会被插入到程序中。除了非常小的宏之外，程序的长度会大幅度增长	函数代码只出现于一个地方；每次使用这个函数时，都调用那个地方的同一份代码
执行速度	更快	存在函数的调用和返回的额外开销，所以相对慢一些
操作符优先级	宏参数的求值是在所有周围表达式的上下文环境里， 除非加上括号，否则邻近操作符的优先级可能会产生不可预料的后果，所以建议宏在书写的时候多些括号	函数参数只在函数调用的时候求值一次，它的结果值传递给函 数。表达式的求值结果更容易预测
带有副作用的参数	参数可能被替换到宏体中的多个位置，所以带有副作用的参数求值可能会产生不可预料的结果	函数参数只在传参的时候求值一 次，结果更容易控制
参数类型	宏的参数与类型无关，只要对参数的操作是合法的， 它就可以使用于任何参数类型	函数的参数是与类型有关的，如果参数的类型不同，就需要不同的函数，即使他们执行的任务是不同的
调试	宏是不方便调试的	可以逐语句调式
递归	不能递归	可递归

命名约定

函数和宏的使用语法极其相似，所以语言无法帮助我们区分二者，所以我们平时习惯应该是

宏名全部大写

函数名开头字母大写，其余小写

命令行定义

许多C 的编译器提供了一种能力，允许在命令行中定义符号。用于启动编译过程。
例如：当我们根据同一个源文件要编译出不同的一个程序的不同版本的时候，这个特性有点用处。（假定某个程序中声明了一个某个长度的数组，如果机器内存有限，我们需要一个很小的数组，但是另外一个机器内存大写，我们需要一个数组能够大写）（就是在命令行中设置变量的值）。

条件编译

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

#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#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
	}
	return 0;
}

 常见的条件编译指令

1.#if 常量表达式
//...
#endif
//常量表达式由预处理器求值。
如：
#define __DEBUG__ 1
#if __DEBUG__
//..
#endif

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

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

4.嵌套指令
#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

文件包含

我们已经知道， #include 指令可以使另外一个文件被编译。就像它实际出现于 #include 指令的地方一样。
这种替换的方式很简单：预处理器先删除这条指令，并用包含文件的内容替换。这样一个源文件被包含10次，那就实际被编译10次。

头文件被包含的方式

本地文件包含：#include "  "

先在源文件所在目录下查找，如果未找到，就会再去标准位置就像查找库函数头文件一样查找，再找不到就会报编译错误。

对于标准库头文件一样可以用""的形式包含，但会降低效率，也会难以区分库文件和本地文件

库文件包含：#include <  >

直接去标准路径下查找，如果未找到就报错。

嵌套文件包含

当一个文件包含了多个头文件，而这些头文件可能同时包含了一样的内容，头文件的重复引入会对同一个头文件重复解释，造成资源浪费，延长编译时间。

我们可以在每个头文件开头加上一个条件编译

#ifndef __TEST_H__
#define __TEST_H__
//头文件的内容
#endif   //__TEST_H__
或者
#pragma once