程序的编译和链接

一.程序的翻译环境和执行环境

在ANSIC的任何一种实现中，存在两个不同的环境

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

2.第二种是执行环境，它用于实际的执行代码

二.编译和链接的详细过程

组成一个程序的每个源文件通过编译过程分别转换成目标代码（object code）。
每个目标文件由链接器（linker）捆绑在一起，形成一个单一而完整的可执行程序。
链接器同时也会引入标准C函数库中任何被该程序所用到的函数，而且它可以搜索程序员个人的程序库，将其需要的函数也链接到程序中。

编译也分为三个阶段，如下代码

sum.c

int g_val = 2016;
void print(const char* str)
{
    printf("%d\n", str);
}

text.c

#include<stdio.h>
int main()
{
    extern void print(char* str);
    extern int g_val;
    printf("%d\n",g_val);
    printf("hello word.\n");
    return 0;
}

text.c经过以上五个步骤转换为text.exe

具体为

运行环境

程序执行的过程

1.程序必须载入内存中。在有操作系统的环境中：一般这个由操作系统完成。在独立的环境中，程序的载入必须由手工安排，也可能是通过可执行代码置入只读内存来完成。
2.程序的执行便开始。接着便调用main函数。
3.开始执行程序代码。这个时候程序将使用一个运行时堆栈（stack），存储函数的局部变量和返回地址。程序同时也可以使用静态（static）内存，存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
4.终止程序。正常终止main函数；也有可能是意外终止。

三.预处理

1.预定义符号

__FILE __ //进行编译的源文件地址 %s

__LINE __ //文件输入该指令的行号 %d

__DATE __ //文件被编译的日期 %s

__TIME __ //文件被编译的时间 %s

__STDC __ //如果编译器遵循ANSI C，其值为1，否则未定义

2.#define

（1）.#define 定义标识符

语法

#define name stuff

举个例子

#define MAX 1000

#define reg register //为 register这个关键字，创建一个简短的名字

#define do_forever for(;; ) //用更形象的符号来替换一种实现\n#define CASE break;case //在写case语句的时候自动把 break写上。

// 如果定义的 stuff过长，可以分成几行写，除了最后一行外，每行的后面都加一个反斜杠(续行符)。

#define DEBUG_PRINT

printf(“file:%s\tline:%d\t\ndate:%s\ttime:%s\n” ,_ FILE_,_ LINE_ ,\n_ DATE_,_ TIME_ )

注：在define后面不要加；号，否则很容易出错。

(2).#define定义宏

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

下面是宏的申明方式：#define name( parament-list ) stuff

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

注意：

        参数列表的左括号必须与name紧邻。

        如果两者之间有任何空白存在，参数列表就会被解释为stuff的一部分。

如

#define SQUARE( x ) x * x

当我们传入参数为5时，SQUARE( 5 )将会替换成为5 * 5，而当我们传入的参数为5+1，很多人会认为结果为36，但是程序运行结果为11。这是什么原因造成的呢？因为运算符有优先级，因此5+1*5+1会先运算1 * 5，在加上5和1，最终结果为11。

解决方法：在宏定义上加上两个括号

#define SQUARE(x) (x) * (x)

(3).typedef与#define重命名的区别

typedef的作用是重命名类型，重命名后的名字就是一个类型。而#define重命名只是名字。

(4).#define替换规则

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

        在调用宏时，首先对参数进行检查，看看是否包含任何由#define定义的符号。如果是，它们首先被替换。

        替换文本随后被插入到程序中原来文本的位置。对于宏，参数名被他们的值替换。

        最后，再次对结果文件进行扫描，看看它是否包含任何由#define定义的符号。如果是，就重复上述处理过程。

注意：

        宏参数和#define 定义中可以出现其他#define定义的变量。但是对于宏，不能出现递归。（宏的宏体内再写了一个宏是不行的）但是在使用宏的时候嵌套使用是可以的。

        当预处理器搜索#define定义的符号的时候，字符串常量的内容并不被搜索。（如果定义#define MAX 10即如果在打印中printf(“MAX = %d”,MAX); 中双引号内的MAX是不能够用宏来替换的，最终打印的结果为MAX = 10)

(5).宏和函数的对比

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

命名约定：

        一般来讲函数的宏的使用语法很相似。所以语言本身没法帮我们区分二者。

        那我们平时的一个习惯是：

        把宏名全部大写

        函数名不要全部大写

3.#undef

这条指令用于移除一个宏定义。

形式：#undef NAME //如果现存的一个名字需要被重新定义，那么它的旧名字首先要被移除。

5.条件编译

常见条件编译

#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