程序环境和预处理（1）

文章目录

1.程序翻译环境和运行环境

2.预定义符号

3.#define详解

4.#和##详解

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

在ANSI C的任何一种实现中，存在两个不同的环境
第1种是翻译环境，在这个环境中源代码被转换为可执行的机器指令。
第2种是执行环境，它用于实际执行代码

 1.2详解编译+链接

1.2.1翻译环境

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

1.2.2编译本身也分为几个阶段

sum.c：

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

test.c：

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

 如何查看编译期间的每一步发生什么呢？

 

#include <stdio.h>
int main()
{
    int i = 0;
    for(i=0; i<10; i++)
    {
        printf("%d ", i);
    }
    return 0;
}

1. 预处理 选项 gcc -E test.c -o test.i
预处理完成之后就停下来，预处理之后产生的结果都放在test.i文件中。
2. 编译 选项 gcc -S test.c
编译完成之后就停下来，结果保存在test.s中，编译过程把c语言代码翻译成汇编代码。
3. 汇编 gcc -c test.c
汇编完成之后就停下来，结果保存在test.o中，而汇编过程形成的符号表在链接过程发挥了重要作用。

1.3运行环境

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

2.预定义符号

__FILE__ __LINE__ __DATE__ __TIME__ __STDC__

//进行编译的源文件 //文件当前的行号 //文件被编译的日期 //文件被编译的时间 //如果编译器遵循ANSI C，其值为1，否则未定义

 这些预定义符号都是语言内置的

例：

printf("file:%s line:%d\n", __FILE__, __LINE__);

3.#define详解

3.1#define定义标志符

#define name stuff

例：

#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__ )

 此外，建议在#define定义标志符的时候，不要在后面加上；

例：(简化代码）

#define MAX 1000;

int main()
{
    if(condition)
        max=MAX;
    else
        max=0;
}

这样的话，在替代过程会出现“max=1000；；”语法错误。

3.2 #define定义宏

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

下面是宏的申明方式：

 #define name( parament-list ) stuff

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

注意：

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

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

如：

#define SQUARE( x ) x * x

 在上述声明下，你把SQUARE（5）置于程序中，预处理器就会用“5*5”将其替换。

但仍有一种情况：

int a = 5;
printf("%d\n" ,SQUARE( a + 1) );

乍一看，你可能觉得会打印36这个值。

但事实上，它将打印11。

因为，替换文本时，参数x被替换成a + 1,所以这条语句实际上变成了：
printf ("%d\n",a + 1 * a + 1 );

这样一看，由替换产生的表达式并没有按照预想的次序进行求值。 为解决这一问题，我们可以在宏定义上加两个括号：

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

这样替换后就产生了预期的效果：

printf ("%d\n",(a + 1) * (a + 1) );

 小结

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

3.3#define的替换规则

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

4.#和##详解

 如何实现把参数插入到字符串中的操作呢？看下面这串代码：

char* p = "hello ""world\n";
printf("hello"" world\n");
printf("%s", p);

这里便输出：hello world。由此我们发现字符串是有自动链接的特点的。因此我们便可以用宏实现同样的效果：

#define PRINT(FORMAT, VALUE)\
printf("the value is "FORMAT"\n", VALUE);
...
PRINT("%d", 10);

这里只有当字符串作为宏参数的时候才可以把字符串放在字符串中。

但仍有一个方法：

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

例：

int i = 10;
#define PRINT(FORMAT, VALUE)\
    printf("the value of " #VALUE "is "FORMAT "\n", VALUE);
...
PRINT("%d", i+3);//产生了什么效果？

代码中的#VALUE会被预处理器处理为：“VALUE”。

最终输出结果应该是：

the value of i+3 is 13.

##的作用

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

#define ADD_TO_SUM(num, value) \
    sum##num += value;
...
ADD_TO_SUM(5, 10);//作用是：给sum5增加10.

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